MATHEMATICS FOR SPECIFICATION AND DESIGN: THE PROBLEM WITH LIFTS . . .
I.H. Woodcock J.C.P. Sorensen
Abstract
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.
Address
Monterey‚ CA‚ USA
ISBN
0818607696
Language
English
Pages
265−268
Publisher
IEEE‚ New York‚ NY‚ USA
Year
1987