The Role of Formal Specifications
This introductory chapter aims at stating the context and the motivations of the rest of the book. The first section is a brief general reminder of the role of specifications in the software development process. Important concepts such as abstraction, refinement, validation, and verification are introduced informally. The second section gives a characterization of formal specifications, sketches a classification, and discusses the possibilities that they bring for software development. Section 3 is devoted to the use of formal specifications for requirement engineering and validation. Section 4 addresses the notions of refinement and verification. Section 5 discusses what kind of tools can be developed on the basis of formal specifications.
Unable to display preview. Download preview PDF.