Search Results for "chess engine java"

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. The LTL specification captures...

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.

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

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