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.
['David Lorge Parnas']
Systematic documentation of requirements