After studying this chapter you will be able to: 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. |