Title :
Calculating with requirements
Author_Institution :
Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
Abstract :
The author considers how many issues in requirements engineering can be explored and analyzed using automated formal methods. At present, the tools supporting these analyses are not ideal: considerable knowledge and experience are required to select the most appropriate tool for a given task, to formulate the problem in a suitable manner, and to coax the tool into divulging a useful result. Application of specialized but pragmatically effective theorem proving techniques, and of model checking and related methods, has made it possible to subject formal requirements specifications to several kinds of automated analysis
Keywords :
formal specification; software tools; systems analysis; theorem proving; automated analysis; automated formal methods; formal requirements specifications; model checking; requirements engineering; software tools; theorem proving techniques; Computer science; Contracts; Design automation; Design engineering; Humans; Laboratories; Maintenance engineering; Mathematical model; NASA; Turning;
Conference_Titel :
Requirements Engineering, 1997., Proceedings of the Third IEEE International Symposium on
Conference_Location :
Annapolis, MD
Print_ISBN :
0-8186-7740-6
DOI :
10.1109/ISRE.1997.566861
