An Approach to Specification

This chapter is an account of the development process of a formal specification. Its purpose is to give the reader some guidance as to how a formal specification may be developed, in particular, to illustrate how to analyse a problem, how to put abstraction and modularisation into practice and how to construct a mathematical model of a system.