CHAPTER 8 Software Fault Avoidance in Specification
Learning objectives of this chapter are to understand:
• The role and importance of software specification.
• The principles of formal specification in a declarative language.
• The mathematics of formal specification.
• How to read and understand formal specifications.
• How to write simple formal specifications.
• Why formal specifications are useful and when.
• How a formal specification is built.
8.1 The Role of Specification
The specification is the first statement of what a software system has to do. In essence, the specification is a statement about how the software will solve the problem posed by the requirements, and the specification is written in terms of the effect ...
Get Fundamentals of Dependable Computing for Software Engineers 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.
