Tabular Expressions and Their Relational Semantics

Authors:
Ryszard Janicki;Alan Wassyng
Affiliations:
Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada L8S 4K1. E-mail: janicki,wassyng@mcmaster.ca;Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada L8S 4K1. E-mail: janicki,wassyng@mcmaster.ca
Venue:
Fundamenta Informaticae
Year:
2005

Citing 16
Cited 3

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
Interpretation of tabular expressions using arrays of relations

Relational methods for computer science applications
Decision Tables in Software Engineering

Decision Tables in Software Engineering
On a Mereological System for Relational Software Specifications

MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
On tabular expressions

CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Specifying Software Requirements for Complex Systems: New Techniques and Their Application

IEEE Transactions on Software Engineering

Specifying module interfaces with finitely defined automata

ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Towards a Pragmatic Mereology

Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Tabular Expressions Operators

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

Tabular Expressions (Parnas et al. [20, 28, 32, 33]) 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 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 also discussed.