[an error occurred while processing this directive]
|
|||||||||
CSE4020Specifying non-sequential and real-time systems(IT) Not offered in 2001 6 points + 4 hours per week + Second semester + Caulfield + Prohibition: SFT4020 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% |
Australian Government Requirements for International Students - CRICOS Provider Number: 00008C
Copyright © 1994-2001 Monash University - Last Date Modified: 20 June 2003 - Caution - Privacy Monash University ABN 12 377 614 012 |