Conference item icon

Conference item

MATHEMATICS FOR SPECIFICATION AND DESIGN: THE PROBLEM WITH LIFTS . . .

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.

Actions


Authors


I.H.Woodcock J.C.P. Sorensen More by this author
Publisher:
IEEE
Publication date:
1987
URN:
uuid:758e09fa-970f-48c7-911b-22067ee053de
Local pid:
cs:5370
ISBN:
0818607696

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP