Applying formal specification in industry
1996
Industrial software developers confront a bewildering array of software engineering techniques, each with its own promised benefits. The authors introduced formal methods into the specification and modeling activities of a security-critical system's development. They gauged the methods' effectiveness by comparing the results of the group that used them with those of the group that did not. They present their results in this paper.
Keywords:
- Software engineering
- Computer science
- Systems engineering
- Social software engineering
- Software requirements specification
- Software peer review
- Package development process
- Software Engineering Process Group
- Backporting
- Formal specification
- Formal methods
- Software construction
- Software development process
- Software development
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
13
References
91
Citations
NaN
KQI