Title :
Systematic documentation of requirements
Author_Institution :
Dept. of Comput. & Software, McMaster Univ., Canada
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;
Conference_Titel :
Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on
Conference_Location :
Toronto, Ont.
Print_ISBN :
0-7695-1125-2
DOI :
10.1109/ISRE.2001.948565
