Search Results for "hts-engine"

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code.

XEO (eXtensible Enterprise Objects) is a Java-based agile development framework to create enterprise web applications that builds upon Object Oriented concepts and Model Driven Development.

[Warning] Because the lastest release of the lib is quite old, the lib may not work with lastest versions of LibNDS. A recompilation of the lib may fix it. A small lib to help you to code games & applications for your Nintendo DS console. You can find functions to manage backgrounds, sprites, colision maps, text, sound effects, etc. Requires lastest Libnds to work (part of devkitPro).

A very Flexible and Plugin-able Test Automation Engine. It fully supports the Standardized Test Tool Interfaces as described in http://www.testtoolinterfaces.com/

Code Conjurer is a tool which seamlessly integrates into the Eclipse Java development environment and uses the merobase code search engine to recommend software components for reuse. Update site: http://codeconjurer.sourceforge.net/eclipse-update

XUL4Java is a XML UI Framework built upon Java, that lets you build feature rich, cross platform applications across Hetrogenous Architecture, building rich client, desktop , web and mobile application. 'Created For Once And For Ever '

A powerful but lightweight configuration-, dependency-injection-, and scripting framework for the JVM, leveraging a combination of annotations and the standard Java script engine framework to provide self-validating scriptable configuration files

MyTPL is template engine for PHP coders. Working PHP is easy with this project. This is developable project.

This project is the home of the Maximo Maven plugin. This plugin is for the Maven 1.1 engine and works with Maximo versions from 6.x. All the documentation is found as Maven generated docs. The current version of the plugin's is on the project's site.

jECMAUnit is an ECMA (Javascript) unit testing framework that uses the underlying javascript engine and JUnit to perform the tests in java, allowing browser-less unit testing of javascript code