DocumentCode
3460706
Title
Systematic documentation of requirements
Author
Parnas, Dave
Author_Institution
Dept. of Comput. & Software, McMaster Univ., Canada
fYear
2001
fDate
2001
Firstpage
248
Abstract
A summary form only given. When writing a requirements document, it is almost impossible to know when you are done. If one works with a list of assertions (whether formal or informal) checking for completeness and consistency is almost impossible. This tutorial explains how an application of the Four Variable Model and Tabular Notation allows one to produce documents that are demonstrably complete and consistent
Keywords
formal specification; system documentation; systems analysis; Four Variable Model; Tabular Notation; documents; formal specification; requirements completeness checking; requirements documentation; Aircraft; Application software; Computer industry; Costs; Documentation; Laboratories; Software engineering; Software safety; Weapons; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on
Conference_Location
Toronto, Ont.
Print_ISBN
0-7695-1125-2
Type
conf
DOI
10.1109/ISRE.2001.948565
Filename
948565
Link To Document