Implementation of a model lift control system from a formal specification
J.P. Mocek, John A. McDermid · Software Engineering Journal · 1987
This paper describes the implementation of a model lift control system, based on a formal specification of lift behaviour. The purpose of the paper is to demonstrate the benefit of using formal specifications as the basis of an implementation, and to show how a control system can be produced using an integrated project support environment.