Search Results for "virtual windows machine"

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

XPlanner+ is a web-based project planning and tracking tool.

GiriGiriPHP is a FREE PHP5 OOP codebase using singletons, that provides very easy code for Web developers to modify and build applications on, concentrating on keeping ease of modification even when big and continuous modifications are added to it.

Express is an Agile project management tool. The web application is written using Flex while server-side component is a Spring based Java EE application.