Tabular Expressions and Their Relational Semantics

Dr. Ryszard Janicki


Abstract

Tabular expressions (Parnas et al. [17, 23, 25, 26]) are means to represent the complex relations that are used to specify or document software systems. A formal model and a semantics for tabular expressions are presented. The model covers all known types of tables used in Software Engineering.