Active-Passive Deterministic Parallel System Specification Using Z. Conference Paper. January 1999. ·. 11 Reads. Tsai Chi Huang. ·. Roy W. Melton. ·. Philip R ...
Wills, Cecil O. Alford: Active-Passive Deterministic Parallel System Specification Using Z. PDPTA 1999: 2027-2033. [c4]. no documents available. no references ...
This paper investigates the process of building a formal specification of a small-scale embed-ded hard real-time systems using Z. It is expected that the formal ...
[PDF] Reactive Systems: Modelling, Specification and Verification
cs.ioc.ee › win2007 › sv-book-part1
This book is based on courses that have been held at Aalborg University and Reyk- javık University over the last five-six years.
Active-Passive Deterministic Parallel System Specification Using Z. PDPTA ... GT-FITES: A Heterogeneous, Parallel Image Processing System. PDPTA 1995 ...
Formal methods require a soundly based specification language. Until now the emphasis in the Z literature has been on the use of Z as a specification ...
Missing: Passive | Show results with:Passive
Active-Passive Deterministic Parallel System Specification Using ZTsai Chi Huang, Roy W. Melton, Philip R. Bingham, Linda M. Wills, Cecil O. Alford. 2027 ...
The Parallel Object-Oriented Specification Language (POOSL) is a very expressive language to model concurrent hardware/software systems.
Z and Object-Z provide a method of specifying the set of states that a system can legally be in, i.e. the allowable range of values of all variables, and the ...
Missing: Active- | Show results with:Active-
Object-Z allows the specification of both active and passive objects. The notion of be- havioural compatibility must, therefore, be strong enough to allow ...