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 the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
