MATHEMATICS FOR SPECIFICATION AND DESIGN: THE PROBLEM WITH LIFTS . . .
- The use of mathematics in the specification and design of practical software systems is discussed. As an example, the formal specification and design of a multiple lift (elevator) system is described, using the notations of Communicating Sequential Processes.
- Publication date:
- Local pid:
- Copyright date: