NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Structuring Formal Requirements Specifications for Reuse and Product FamiliesIn this project we have investigated how formal specifications should be structured to allow for requirements reuse, product family engineering, and ease of requirements change, The contributions of this work include (1) a requirements specification methodology specifically targeted for critical avionics applications, (2) guidelines for how to structure state-based specifications to facilitate ease of change and reuse, and (3) examples from the avionics domain demonstrating the proposed approach.
Document ID
20020081014
Acquisition Source
Langley Research Center
Document Type
Thesis/Dissertation
Authors
Heimdahl, Mats P. E.
(Minnesota Univ. Minneapolis, MN United States)
Date Acquired
September 7, 2013
Publication Date
September 9, 2001
Subject Category
Computer Programming And Software
Funding Number(s)
CONTRACT_GRANT: NAG1-2242
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
No Preview Available