Search Results for "requirement capturing tools"

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

Template2Code (T2C) is a collection of tools dealing with template-based file generation. Currently it includes MiST - Minimal String Template engine and T2C itself that uses template based techniques to generate the sources of unit tests.

AntAcid is a GUI front-end to Jakarta's ant build tool. Eliminates requirement to code directly in XML. Context-menus direct the user to allowable selections of Tasks, nested Tasks and their respective attributes. Generates xml buildfiles.