Authors
Ryszard Janicki, David Lorge Parnas, Jeffery Zucker
Publication date
1997/8/1
Book
Relational methods in computer science
Pages
184-196
Publisher
Springer Vienna
Description
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.
Total citations
Scholar articles
R Janicki, DL Parnas, J Zucker - Relational methods in computer science, 1997