Browsing South African Computer Journal (SACJ) by Subject "Reactive systems"

Now showing items 1-3 of 3

Statenets - an alternative modelling mechanism for performance analysis

Lewis, L (South African Computer Society (SAICSIT), 1992)

Statecharts were developed by Harel to specify complex reactive systems. Statecharts proved to be rich in modelling power and convenience [9] and well suited to mechanical implementation. However, the semantic definition ...
Test automation of safety-critical reactive systems

Peleska, J; Siegel, M (South African Computer Society (SAICSIT), 1997)

This article focuses on test automation for safety-critical reactive systems. In the first part of the paper we introduce a methodology for specification, design and verification of fault-tolerant systems allowing to ...
Using statecharts to design and specify a direct-manipulation user interface

Van Zijl, L; Mitton, D (South African Institute of Computer Scientists and Information Technologists, 1992)

Statecharts were developed by Harel et al [10] to specify complex reactive systems. In this paper we report on our application of statecharts as a design and specification tool for an X-Windows based Graphical User Interface ...

Search UnisaIR