Search Results for "software runtime" - Page 7

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

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.

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

This is a project to help link users to install the antennas away. Attention: Need to Java Runtime SE. Warning: This version still has some known bugs, but I'm posting because this software is part of my thesis.

Framework for making Windows applications that are one .exe file in AutoHotKey_L,C++,C#, VB.NET,Java,Groovy,Common Lisp,Nemerle,Ruby,Python,PHP,Lua,Tcl,Perl,Jint,S#,WSH VBScript,HTML/JavaScript/CSS,COM, PowerShell without compiling . For .NET 4.

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.

This is a Java Script editor, But not for Web Development. This JS Editor, Will soon come with a Re-Distributable Runtime, So people can run your Applications. It also features a simple API (Still in the Works)

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.

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.

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/

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.

La classe Runtime.exec() n'est pas des plus simples... L'API Shell (cf. http://blog.developpez.com/adiguba/p3035/java/5-0-tiger/runtime-exec-n-est-pas-des-plus-simple/) propose de simplifier son utilisation pour appeler des commandes systèmes.

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