Reverse engineering requirements for process-control software
- 1 January 1994
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 316-325
- https://doi.org/10.1109/icsm.1994.336763
Abstract
A method of reverse engineering requirements for process-control system software is presented, along with a domain-specific functional structure. Techniques are demonstrated on the executable pseudocode of a commercial avionics control system. Resulting requirements are expressed as a state-based model of externally visible behavior specified completely in the language of process control.Keywords
This publication has 8 references indexed in Scilit:
- Requirements specification for process-control systemsIEEE Transactions on Software Engineering, 1994
- Using program slicing in software maintenanceIEEE Transactions on Software Engineering, 1991
- The challenge of building process-control softwareIEEE Software, 1990
- Using function abstraction to understand program behaviorIEEE Software, 1990
- Reverse engineering and design recovery: a taxonomyIEEE Software, 1990
- Recognizing design decisions in programsIEEE Software, 1990
- Program SlicingIEEE Transactions on Software Engineering, 1984
- Specifying Software Requirements for Complex Systems: New Techniques and Their ApplicationIEEE Transactions on Software Engineering, 1980