Search Results for "search engine code"

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

...This library reduces precious development time & developers can actually focus on writing business code & other project specific stuff. See implementation details: http://sourceforge.net/projects/ws-creator/files/ Demo Application: http://sourceforge.net/p/wscreatordemo Central Repository link: http://search.maven.org/#search%7Cga%7C1%7Cwscreator

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

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