IMPLEMENTING SPECIFICATION FREEDOMS*

Philip E. LONDON** and Martin S. FEATHER***,     Information Sciences Institute, University of Southern California, Marina del Rey, CA 90291, U.S.A.

Communicated by L. Lamport; Received June 1981; Revised October 1982

Abstract

The process of converting formal specifications into valid implementations is central in the development of reliable software. As formal specification languages are enriched with constructs to enhance their expressive capabilities and as they increasingly afford specificational freedoms by requiring only a description of intended behavior rather than a prescription of particular algorithms, the gap between specification and implementation widens so that converting specifications ...

Get Readings in Artificial Intelligence and Software Engineering now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.