NASA NTRS · 20030071162
Transitioning from Software Requirements Models to Design Models
Abstract
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.
Keep this discovery
Explore connections, maps & timelines
Lowry, Michael, Whittle, Jon. 2003-01-01. Transitioning from Software Requirements Models to Design Models. https://ntrs.nasa.gov/citations/20030071162
Cite the original work for its findings. Save a collection to share your selection of sources.