Search Results for "machine translation java source 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. The LTL specification captures...

This utility provides a GUI to create unit files for the game "Battle for Wesnoth". The user sets the unit properties from the GUI of the utility. Once all the properties have been set, it is possible to export them into a .cfg which will be read by the game. Further details can be found in the project wiki: http://sourceforge.net/p/wesworkshop/wiki/. Version 1.1* released. Please go to the wiki page to see the changes. Note you will not be able to load your works developed with the...

Hermes provides a powerful yet usable automation solution, making it the most popular Selenium framework in the world, with over 8,000 downloads. Create human readable, machine executable Selenese style tests in Excel. The world's first automation framework fully integrated with Selenium IDE, RC and GRID; yet built for humans. Be up and running using a feature rich Selenium RC framework in minutes. Hermes comes with advanced reporting, analysis, debugging and enterprise level Java...