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.
Details
| Address |
Monterey‚ CA‚ USA |
| ISBN |
0818607696 |
| Language |
English |
| Pages |
265−268 |
| Publisher |
IEEE‚ New York‚ NY‚ USA |
| Year |
1987 |
Links
Related pages
|
People |