Chapter10
Formal Specification
(Software Engineering by Sommerville)
Objectives:
To explain why formal specification techniques help discover problems in system requirements
To describe the use of algebraic techniques for interface specification
To describe the use of model-based techniques for behavioural specification
Topics covered:
Formal specification in the software process
Sub-system interface specification
Behavioural specification