| Monash home | About Monash | Faculties | Campuses | Contact Monash |
| Staff directory | A-Z index | Site map |
| Monash home | About Monash | Faculties | Campuses | Contact Monash |
| Staff directory | A-Z index | Site map |
| Postgraduate |
(IT)
|
Leader: TBA
Offered:
Not offered in 2005.
Synopsis: Basic issues and characteristics of non-traditional systems: concurrent, distributed, parallel, reactive, real-time and trusted systems. Some approaches to specifying these systems: statecharts, Petri nets, process calculi and temporal logic. Use of model-based specification. Relations between the various approaches. Proving properties of non-sequential and real-time systems. Case studies in specifying non-sequential systems.
Assessment: Assignments: 100%
Contact Hours: 4 hours per week
Prohibitions: SFT4020