Towards a Formal Semantics of Parnas Tables

Abstract

In [8, 11, 12] Parnas at al. advocate the use of relational model for documenting the intended behaviour of programs.In this method, tabular expressions (or tables) are used to improve readability so that formal documentation can replace conventional documentation.Parnas [9] describes several classes of tables and provides their formal syntax and semantics.In this paper, an alternative, more general and more homogeneous semantics is proposed.1

BibTeX

@inproceedings{Janicki:ICSE95,
  author    = {Ryszard Janicki},
  title     = {Towards a Formal Semantics of Parnas Tables},
  booktitle = {ICSE},
  pages     = {231--240},
  publisher = {{ACM}},
  year      = {1995},
}

Towards a Formal Semantics of Parnas Tables

Abstract

Related papers