The formulation and analysis of a design specification is almost always of more utility than
the verification of the consistency of a program with its specification. Good specification tools …

Current research in specifications is beginning to emphasize the practical use of formal
specifications in program design. This thesis presents a specification approach, a …

These notes are personal reflections, stemming from attempts to understand the sources of
problems and successes in the application of work on formal specifications. Our intent is to …

Building software often seems harder than it ought to be. It takes longer than expected, the
software's functionality and performance are not as wonderful as hoped, and the software is …

Current research in specifications is emphasizing the practical use of formal specifications in
program design. One way to encourage their use in practice is to provide specification …

We discuss the development of executable programs from state-based specifications written
in the language of first-order predicate calculus. Notable examples of such specifications are …

Partial specification is a method of specifying complex systems in which the system is
described by a collection of specifications, each approaching the system from a different …

Structured Analysis and System Specification Page 1 Original Historic Documents 529
Structured Analysis and System Specification Yourdon, New York, 7978 pp.7-7and37-44 M …

Specification morphisms underlie the refinement of algebraic specifications and provide the
logical foundations for algorithm and data structure design. We present four techniques for …

" I prefer to view formal methods as tools. the use of which might be helpful." EW Dijkstra
Algebraic specifications are about to be accepted by industry. Many projects in which …