Search Results for "requirement capturing tools"
Sort By:
Showing 3 open source projects for "requirement capturing tools"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
autoCode4
Synthesizing embedded control software from formal specifications
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... -
2
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.
-
3
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.
- Previous
- You're on page 1
- Next
