On the lattice of specifications: Applications to a specification methodology

1 November 1992

journal article
research article
Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing

Vol. 4 (6) , 544-571
https://doi.org/10.1007/bf01211474

Abstract

In this paper we investigate the lattice properties of the natural ordering between specifications, which expresses that a specification expresses a stronger requirement than another specification. The lattice-like structure that we uncover is used as a basis for a specification methodology.

Keywords

This publication has 8 references indexed in Scilit:

The specification statement
ACM Transactions on Programming Languages and Systems, 1988
A study of 12 specifications of the library problem
IEEE Software, 1988
A theoretical basis for stepwise refinement and the programming calculus
Science of Computer Programming, 1987
Relational heuristics for the design of deterministic programs
Acta Informatica, 1987
Specification methodology: An integrated relational approach
Software: Practice and Experience, 1986
On Formalism in Specifications
IEEE Software, 1985
Problem-Solving Through Problems
Published by Springer Nature ,1983
A technique for software module specification with examples
Communications of the ACM, 1972