Tabular Representations in Relational Documents

Dr. Ryszard Janicki

Dr. David Lorge Parnas

Dr. Jeffrey Zucker

Software Engineering Research Group
CRL, McMaster University,
Hamilton, Ontario, Canada L8S 4K1


The use of relations, represented as tables, for documenting the requirements and behavior 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.