Search Results for "java runtime 1.7.0" - Page 4

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

DJBeans is an application configuration tool to help developers and administrators to manage application configuration at runtime.

Maveryx is an innovative Test Automation Framework for Java GUI-based applications. It eliminates the GUI Maps dependency by providing a new dynamic GUI objects handling and an expert system detecting and managing AUT changes and defects at runtime.

miMas is an intuitive GUI tool for SQL query development and data browsing. It provides a common set of features across all databases and can be installed on any Operating System which has a Java Runtime available. The tool uses JDBC drivers for connecting to a database. For most popular databases (Oracle, DB2, MySQL, MS SQL Server, Sybase, Cloudscape, PostgreSQL and Firebird), the JDBC driver is already included. For connecting to databases other than these, please refer to the tool's user...

This is the first step of a board game engine development plan "Architect". The first version will be playing the classical Gomoku game, and this version is called "Architect I". This project also shows the rich features of the next generation Java graphical user interface. The GUI of this application was built using JavaFX 2.0 which was entirely written in Java. Although as been announced, JavaFX 3.0 will be integrated into JRE in next year, at this point, you still need a separate runtime...

Dynamic tree of Java objects encapsulates hard-drive and Jar/Zip files (and their inner files) and Java objects all the same way. Create new ways of communication as executable Jar files, like a paint program that creates/uses paint programs as tools

BinaryNotes is the Open Source ASN.1 (Abstract Syntax Notation One) framework for Java and .NET based on annotations/attributes. The framework has the flexible ASN.1 compiler, the runtime library that supports BER, DER and PER, and the Message Queues

Pamvotis is a Wireless LAN Simulator for all the current physical layer extentions of the IEEE 802.11 (IEEE 802.11 a/b/g) standard and for the IEEE 802.11e Draft for Quality of Service in WLANs.

Compiler optimization for code that AI generates, reuses similar substrings of code to exponentially reduce the Big-O of compile. At runtime, CodeTree objects breed, rename vars, mutate code and run it instantly. For any realtime compilable language.

Tahini loads Swing layout from an XML file at runtime and links it with a controller object. The widgets are described in simple, concise XML, and only your application code is in your source file. Tahini takes care of connecting members and listener

A framework and runtime environment for exploring agent-based models designed to support the definition of models using an expressive, high-level and extensible Java API and to support the exploration of these models in both interactive and batch mod

A spring utility that makes developing with spring a little easier by enabling, with minimal code, runtime wiring, static ApplicationContext access, easy spring application creation and FitNesse-Spring integration

Runtime concurrency analysis for Java. Instruments your Java app at run time, and monitors field access, synchronization and locking, to verify concurrent access is safe.

MobJeX is a container based framework that transparently adds adaptation capability to Java SE and ME (Personal Profile) applications, by providing runtime migration and dynamic swapping of application objects.

A Java desktop application framework developed for the USDOT Federal Highway Administration (FHWA) and put in the Public Domain by the FHWA. This framework is used in the IHSDM (www.ihsdm.org) and SafetyAnalyst (www.safetyanalyst.org) software.

A generic, runtime configurable system for the creation of dynamic data-streams out of prime forms of data

metaDSL provides a framework which eases creation of BNF grammars, parser generators and code generators. Executes as a Maven plugin or from the command line via a lightweight launcher powered by Maven runtime. See also: http://www.metadsl.com/

JAsciiDoc is tool for convert ascii documets into HTML, DocBook, which supports by AsciiDoc. Implemented as Ant task and Maven plugin. Used AsciiDoc 8.3.6, Java 1.4 or above, Ant 1.7.0 or Maven 3.0.2.

Simple Java api for Internationalization (i18n) support. Features: pluggable localization loading, remapping resources at deploy time, different locales for logging and application messages, dynamic locale switching, multiple locales in one runtime.

Javaruntype is a library which offers a runtime objectual representation of the Java type system

The Secure Mobile Agents (SeMoA) platform constitutes a secure runtime environment for Java-based mobile software agents.

GWTApp provides several features like: HTML templating and messaging at runtime without application recompiling, MetaField to auto bind and simulate annotation of RPC data fields, Strong typing in MVC, Modular structure in Maven.

Chaplin is a Java class transformer which brings some modern language concepts into Java(TM): For example: contexts, composites, traits (mixins), runtime type conversion, dynamic method signatures, method and field aggregators etc.

Objectreferenceanalyser (ORA) helps finding memory leaks, design weaknesses and bugs. The ORA-Framework visualizes objects, their content and relations during runtime of any Java application and is able to persist these findings for subsequent analyze.

It is java application used to control Line6 digital guitar effects such as PocketPOD on every operating system that has java runtime environment (Linux, Windows and others).