Systematic derivation of complementary specifications

Authors:
Paulo A. S. Veloso;José Mauro Volkmer de Castilho;Antonio L. Furtado
Affiliations:
-;-;-
Venue:
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Year:
1981

Citing 7
Cited 0

The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
A Formal System for Reasoning about Programs Accessing a Relational Database

ACM Transactions on Programming Languages and Systems (TOPLAS)
R for Semantics

ACM Transactions on Programming Languages and Systems (TOPLAS)
Data Type Specification: Parameterization and the Power of Specification Techniques

ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract data types and the development of data structures

Communications of the ACM
Abstract data types and software validation

Communications of the ACM
Specifying programming language semantics: a tutorial and critique of a paper by Hoare and Lauer

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

A methodology is proposed for the systematic derivation of a series of complementary specifications of a data base application. The starting point for this series is chosen so as to be obtainable without undue difficulty from an informal specification. Thereafter each formal specification is systematically derived from the preceding one. This multiplicity of specifications is further justified by their complementary nature. Having distinct aims, they jointly provide a multi-purpose, comprehensive characterization of the data base application. The formalisms employed can be categorized according to several criteria, including the usual definitional, denotational, operational characterizations of semantics. A simplified example is used throughout to illustrate the development.