R. Janicki, D.L. Parnas, J. Zucker (1997):
Tabular representations in relational documents,
in Relational Methods in Computer Science,
ed. C. Brink, W. Kahl and G. Schmidt
(Springer-Verlag), 184-196.
[text.ps]
Abstract.
In this chapter the use of relations, represented as tables,
for documenting the requirements and behaviour of software
is motivated and explained. A formal model of tabular
expressions, defining the meaning of a large class of
tabular forms, is presented. Finally, we discuss the
transformation of tabular expressions from one form to
another, and illustrate some useful transformations.