NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Transitioning from Software Requirements Models to Design ModelsSummary: 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.
Document ID
20030071162
Acquisition Source
Headquarters
Document Type
Preprint (Draft being sent to journal)
Authors
Lowry, Michael (NASA Ames Research Center Moffett Field, CA, United States)
Whittle, Jon (QSS Group, Inc. Moffett Field, CA, United States)
Date Acquired
August 21, 2013
Publication Date
January 1, 2003
Subject Category
Computer Programming And Software
Meeting Information
Meeting: NASA Software Assurance Symposium
Location: WV
Country: United States
Start Date: July 30, 2003
Funding Number(s)
CONTRACT_GRANT: NAS2-00065
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available