Conference
Systematic documentation of requirements
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.
Authors
Parnas D
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 1, 2000
DOI
10.1109/isre.2001.948565
Name of conference
Proceedings Fifth IEEE International Symposium on Requirements Engineering