On tabular expressions

Authors:
Ryszard Janicki;Alan Wassyng
Affiliations:
Department of Computing and Software, McMaster University, Hamilton, Ontario L8S 4K1;Department of Computing and Software, McMaster University, Hamilton, Ontario L8S 4K1
Venue:
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Year:
2003

Citing 11
Cited 4

Foundations of computer science

Foundations of computer science
Relations and graphs: discrete mathematics for computer scientists

Relations and graphs: discrete mathematics for computer scientists
Requirements Specification for Process-Control Systems

IEEE Transactions on Software Engineering
Precise Documentation of Well-Structured Programs

IEEE Transactions on Software Engineering
Functional documents for computer systems

Science of Computer Programming
Completeness and consistency analysis of state-based requirements

Proceedings of the 17th international conference on Software engineering
Towards a formal semantics of Parnas tables

Proceedings of the 17th international conference on Software engineering
Tabular representations in relational documents

Relational methods in computer science
A generalized control structure and its formal definition

Communications of the ACM
On a formal semantics of tabular expressions

Science of Computer Programming
Decision Tables in Software Engineering

Decision Tables in Software Engineering

Tabular Expressions and Their Relational Semantics

Fundamenta Informaticae
Tabular Expressions and Total Functional Programming

Implementation and Application of Functional Languages
Tabular Expressions and Their Relational Semantics

Fundamenta Informaticae
Tabular Expressions Operators

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

Tabular expressions (Parnas et al. [18, 26, 28, 29]) are a 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 most known types of tables used in Software Engineering, and admits precise classification and definition of new types of tables. The practical importance of the semantics of tabular expressions is discussed briefly.