Search Results for "java runtime 1.7.0" - Page 6

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)

skysail osgimonitor is a set of bundles which will show you the installed bundles with their status using freemarker. Main purpose of this project right now is to serve as code for a tutorial.

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

A Java framework for the creation of REST services. Krest is built upon Spring MVC and offers an enterprise scale solution for REST services. Please visit http://javakrest.sourceforge.net/ to find the demo app, or download the core library.

Collection of several multi-purpose Java libraries. --- knowceans-tools = collection of Java utility classes. --- Highlights: --- org.knowceans.util: IndexQuickSort, TableList: apply order of one array/list to others +++ Vectors, ArrayUtils: array convenience +++ RandomSamplers, CokusRandom, ArmSampler, Densities: random sampling and distributions +++ Arguments: command line parser +++ StopWatch, Which, ExternalProcess: runtime stuff +++ ParallelFor: OpenMP workalike +++ PatternString, NamedGroupRegex: regex convenience --- org.knowceans.corpus: CorpusSearcher: full-text search engine +++ LabelNumCorpus: svmlight corpus storage and filtering +++ NIPS corpus with text, authors, labels and citations --- org.knowceans.map: InvertibleHashMultiMap, BijectiveHashMap: implement n:m and 1:1 relations. --- Other libs: knowceans-arms = port of the Adaptive Rejection Metropolis Sampler (ARMS) for arbitrary distributions +++ lda-j = port of lda-c, implementing Latent Dirichlet Allocation (LDA)

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.

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

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

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.

ClassMock is a tool for creating tests for components based on reflection and metadata in Java. It generate classes in runtime with the desired structure to be used in tests.

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 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

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

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.

Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.

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.

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/

This framework provides the runtime for developing modularized web applications. With an extensible API, Java-like class loading and a DSN-driven database layer, this framework explores some interesting approaches to web application development.

A translator from Java to C language especially for embedded and fast realtime applications, including a javalike runtime System in C.

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

This project hosts methods for creating own business datetypes and runtime enumerations. Furthermore it encapsulates calculation and type conversion for numeric types. It also provides a mechanism for datetype versioning and validation.

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.

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