Journal article
The Tabular Method for Relational Documentation
Abstract
The basic mathematical laws of relations can be presented and verified using compact abstract notation. However, descriptions of specific relations, such as those that arise in describing software, must be done in terms of a a state representation. When conventional notation is used, the expressions can be complex and hard to use. This tutorial presented and explained tabular notation that has been found useful in practical software …
Authors
Parnas DL
Journal
Electronic Notes in Theoretical Computer Science, Vol. 44, No. 3, pp. 1–26
Publisher
Elsevier
Publication Date
May 2003
DOI
10.1016/s1571-0661(04)80930-7
ISSN
1571-0661