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


Publisher:
IEEE
Publication date:
1987-01-01
URN:
uuid:758e09fa-970f-48c7-911b-22067ee053de
Local pid:
cs:5370
ISBN:
0818607696

Terms of use


Metrics


Views and Downloads






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

TO TOP