Search Results for "module"

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

Cyclone is java-based rich GUI web tool for automating tasks with ease. Cyclone is a project that was borne out of necessity. Agreed, there are many native tools that allow task to be scheduled or automated on most operating systems, however, Cyclone is more than just an automation tool. In many programming languages, there are batch module/libraries available to schedule jobs, but need quite a bit of enhancements to provide similar feature set as Cyclone. Cyclone comes with a number...

Web-based relational database designer. With version control, autosave and real-time database manipulation. TODO: admin module, search, undo/redo buttons, multi-database real-time support (only PostgreSQL actually), etc. Based on WWWSQLDesigner

ODic stands for "Options Dictionary" and aims at creating standards for easier command line tool creation. At the moment it is focused on the 'odic' python module including new design patterns for python main functions.