Experiences in applying formal methods to the analysis of software and system requirements
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
In an effort to improve the quality of software and system requirements, formal methods (FM) is being investigated by NASA because evidence existed that FM is useful in creating consistent and verifiable specifications. This investigation of FM consists of trial projects that are used to gather data on FM's cost-effectiveness and to demonstrate this effectiveness to prospective users. These trial projects were specifically constructed to maximize the likelihood that requirements analysts will recognize the benefits of FM and integrate it into their existing approaches. A key aspect of these trial-projects is the make-up of the teams which influenced the planning, execution, and evaluation of results. Through these projects, much has been learned about the use of FM and its potential for being accepted as a viable way to improve requirements analysis.Keywords
This publication has 5 references indexed in Scilit:
- Analyzing software requirements errors in safety-critical, embedded systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An analysis of defect densities found during software inspectionsJournal of Systems and Software, 1992
- Design for validationIEEE Aerospace and Electronic Systems Magazine, 1992
- Software errors and complexity: an empirical investigation0Communications of the ACM, 1984
- Software Engineering EconomicsIEEE Transactions on Software Engineering, 1984