A Survey of Formal Software Development Methods

D. Sannella

Abstract: This paper is a survey of the current state of the art of research on methods for formal software development. It presents a general picture of the process by which a software system may be developed by formal methods from a specification of the requirements the system must fulfil, and shows how various development methods fit into this picture. The topics considered include specification and programming languages, refinement of specifications, program transformation and program synthesis.

LFCS report ECS-LFCS-88-56

Previous | Index | Next