Browsing School of Computer Science and Informatics by Subject "object-based"

Now showing items 1-2 of 2

ATOM: an object-based formal method for real-time systems

Zedan, Hussein; Cau, A. (Antonio); Chen, Zhiqiang; Yang, Hongji (Article)

An object based formal method for the development of real-time systems, called ATOM, is presented. The method is an integration of the real-time formal technique TAM (Temporal Agent Model) with an industry-strength structured ...
A wide-spectrum language for object-based development of real-time systems.

Chen, Zhiqiang; Zedan, Hussein; Cau, A. (Antonio); Yang, Hongji (Article)

A formal design notation is present whose underlying computational model is object-based. The object structure of the model is based on the practical, industry-strength Object Oriented structure development technique ...