Search Results for "traceability"

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 the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. ...

Requirements management tool designed to achieve full SDLC traceability for features, requirements, design, implementation and testing. UI for requirements derivation, version control, attributes etc. Designed to be v2.0 to OSRMT's v1.5. The architecture will change (Grails) and move to being entirely web-based, but the driving force behind it is to retain and satisfy OSRMT users. For installation instructions, login at: https://sourceforge.net/p/nimble/wiki/Installation/ Support for aNimble Platform Users https://groups.google.com/forum/#!...

Wikidsmart provides smart integration and instant solutions for ALM (application lifecycle management) as well as CRM, Help Desk, and other business applications. Achieve solutions for Requirements Management, Test Case Management, Customer Cases, Customer On-Boarding, and more. Wikidsmart delivers interoperability, traceability, faceted search, and reporting amongst all connected tools and applications. It contextually integrate content of Confluence, JIRA, Selenium, FishEye (for Git, Subversion, etc.), Jenkins, Zendesk, and Salesforce. Requirements and Tests are managed within Confluence and integrated with JIRA. CRM solutions contextually integrate content between Confluence, JIRA, Salesforce, and Zendesk.

MyReq provides easy requirement traceability in Eclipse.