Summary: 1. Proof-of-concept of state machine synthesis from scenarios - CTAS case study. 2. CTAS team wants to use the syntheses algorithm to validate trajectory generation. 3. Extending synthesis algorithm towards requirements validation: (a) scenario relationships' (b) methodology for generalizing/refining scenarios, and (c) interaction patterns to control synthesis. 4. Initial ideas tested on conflict detection scenarios.
Transitioning from Software Requirements Models to Design Models
NASA Software Assurance Symposium ; 2003 ; WV, United States
01.01.2003
Preprint
Keine Angabe
Englisch
Transitioning Military Software to Commercial Use - A Case Study
British Library Conference Proceedings | 1997
|Transitioning to computer based requirements management tools for railway projects and standards
British Library Conference Proceedings | 2002
|Use of Models to Verify and Validate Requirements for Critical Software
British Library Conference Proceedings | 2009
|