Institutional Repository

Browsing School of Computing by Author "Du Plessis, A.L"

Browsing School of Computing by Author "Du Plessis, A.L"

Sort by: Order: Results:

  • An ADA compatible specification language 
    Bosua, R; Du Plessis, A.L (South African Institute of Computer Scientists and Information Technologists, 1991)
    Specification languages to be used in conjunction with Ada as the implementation language have been proposed in the literature. Simultaneously, methods for the development of real-time software systems have been introduced, ...
  • The ELSIM language: an FSM-based language for the ELSIM SEE 
    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 ...

Search UnisaIR


Browse

My Account