Implementing real-time reactive systems from object-oriented design specifications

Real-time reactive systems are among the most difficult systems to design and implement because of their size and complex functional and timing requirements. TROMLAB is a framework for a rigorous development of consistent design that satisfy an authoritative specification of requirements, validate t...

Full description

Bibliographic Details
Main Author: Zhang, Lizhong
Format: Others
Published: 2000
Online Access:http://spectrum.library.concordia.ca/1209/1/MQ54340.pdf
Zhang, Lizhong <http://spectrum.library.concordia.ca/view/creators/Zhang=3ALizhong=3A=3A.html> (2000) Implementing real-time reactive systems from object-oriented design specifications. Masters thesis, Concordia University.