Du Plessis, A.L.; Bornman, C.H.
(Computer Society of South Africa (on behalf of SAICSIT), 1987)
A fonnal requirements specification language, the ELSIM language, is presented. The language uses
conceptual models for modelling data processing, and control characteristics and behavior of real-time systems, and
is ...