4 research outputs found
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