Systematic documentation of requirements

摘要

A summary form only given. When writing a requirements document,it is almost impossible to know when you are done. If one works with alist of assertions (whether formal or informal) checking forcompleteness and consistency is almost impossible. This tutorialexplains how an application of the Four Variable Model and TabularNotation allows one to produce documents that are demonstrably completeand consistent