Loading...
Please wait, while we are loading the content...
Similar Documents
Structuring Formal Requirements Specifications for Reuse and Product Families
| Content Provider | Semantic Scholar |
|---|---|
| Author | Heimdahl, Mats Per Erik |
| Copyright Year | 2001 |
| Abstract | In 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20020081014.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
