In [24, 35, 38, 39] Parnas et 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 [36] 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. The model covers all known types of tables used in Software Engineering. 1
|
198
|
Requirements Specification for Process-Control Systems
– Leveson, Heimdahl, et al.
- 1994
|
|
171
|
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
– Heninger
- 1980
|
|
98
|
Functional documents for computer systems
– Parnas, Madey
- 1995
|
|
88
|
Naive Set Theory
– Halmos
- 1960
|
|
75
|
SCR*: A toolset for specifying and analyzing requirements
– Heitmeyer, Bull, et al.
- 1995
|
|
63
|
Completeness and consistency analysis of state-based requirements
– Heimdahl, Leveson
- 1995
|
|
53
|
Distributive and modular laws in the arithmetic of relation algebras
– Chin, Tarski
- 1951
|
|
49
|
Tabular Representation of Relations
– Parnas
- 1992
|
|
49
|
Precise Documentation of Well-Structured Programs
– Parnas, Madey, et al.
- 1994
|
|
45
|
The A-7 requirements model: Re-examination for real-time systems and an application to monitoring systems
– Schouwen
- 1990
|
|
35
|
How to write a long formula
– Lamport
- 1993
|
|
34
|
Tabular representations in relational documents
– Janicki, Parnas, et al.
- 1997
|
|
29
|
Relational algebraic semantics of deterministic and nondeterministic programs
– Berghammer, Zierer
- 1986
|
|
25
|
Set theory
– Kuratowski, Mostowski
- 1976
|
|
21
|
Evaluating Generalized Tabular Expressions in Software Documentation
– Abraham
- 1997
|
|
21
|
Tablewise, A Decision Table Tool
– Hoover, Chen
- 1995
|
|
19
|
Towards a formal semantics of parnas tables
– Janicki
- 1995
|
|
18
|
A Generalized Control Structure and its Formal Definition
– Parnas
- 1983
|
|
15
|
Relation algebras : Concept of points and representability, Discrete Mathematics 54
– Schmidt, Strohlein
- 1985
|
|
13
|
Transformations of Normal and Inverted Function Tables
– Zucker
- 1996
|
|
6
|
Requirements speci for process-control systems
– Leveson, Heimdahl, et al.
- 1994
|
|
5
|
Decision Tables
– Hurlay
- 1983
|
|
5
|
Towards a Uniform Relational Semantics for Tabular Expressions
– Desharnais, Khedri, et al.
- 1998
|
|
4
|
Function Specification for the A-7E Function Driver Module, NRL
– Clements
- 1981
|
|
4
|
Reviewable Development of Safety
– Parnas, Asmis, et al.
- 1990
|
|
4
|
Software Engineering Group, Table Tool System Developer's Guide, CRL REport 339
– SERG
- 1997
|
|
4
|
Veri cation
– Archino, Hohendorf, et al.
- 1990
|
|
4
|
An Introduction to Decision Logic Tables
– McDaniel
- 1968
|
|
3
|
Procedure for the Specification of Software Requirements for Safety Critical Systems
– McDougall, Jankowski
- 1995
|
|
3
|
Care and Feeding of Living Software Documentation, Lecture at Workshop on Tools for Tabular Notation
– Plenderleith
- 1996
|
|
3
|
Cylindric set algebras and related structures
– Henkin, Monk, et al.
- 1981
|
|
3
|
Procedure for the Speci of Software Requirements for Safety Critical Systems
– McDougall, Jankowski
- 1995
|
|
3
|
A Generalized Control Structure and Its Formal De
– Parnas
- 1983
|
|
2
|
On cylindric-relativized set algebras
– Andreka, Nemeti
- 1981
|
|
2
|
Function Speci for the A-7E Function Driver Module, NRL
– Clements
- 1981
|
|
2
|
Concurrence, bisimulation et equation d'interface : une approche relationnelle. PhD thesis, Faculte des etudes superieures de l'Universite
– Khedri
- 1998
|
|
2
|
On the representation of program structures by decision tables: a critical assessment
– Maes
- 1978
|
|
1
|
Logic structure tables
– Cantrell, King, et al.
- 1961
|
|
1
|
An introduction to decision tables
– Chapin
- 1967
|
|
1
|
Tabular form in decision logic. Datamation
– Grad
- 1961
|
|
1
|
Hipo-a design aid and documentation technique. (White Plains
– Corp
- 1974
|
|
1
|
Decision Tables
– Montalbano
- 1974
|
|
1
|
An engineering application of logic-structure tables
– Nickerson
- 1961
|
|
