Dave Parnas together with a number of colleagues established the systematic use of certain kinds of tables as a useful tool in software documentation and inspection with an accessible, multi-dimensional syntax and intuitive semantics.
Previous approaches to formalisation of table semantics based their definitions on the multi-dimensional array structure of tables and thus achieved close correspondence with the intuitive understanding of tables.
In the SQRL Report Compositional Syntax and Semantics of Tables, I provided a new, compositional way to define syntax and semantics of tables.
The following are available separately: