ELG 7187C  -  Topics in Computers: Model-Based Design and Verification of Distributed Real-Time Systems

( Previous title: Formal Methods for the Development of Distributed Real-Time Applications )

School of Information Technology and Engineering, University of Ottawa, Winter 2013

For the OCICS program, this course has the code E/T (Software Engineering / Theory of Computing)


Professor: Gregor v. Bochmann , phone: 562-5800 ext.: 6205, e-mail: bochmann@site.uottawa.ca , office: SITE building (room 5082), office hours:   by appointment, please send me an e-mail stating when you would like to meet

Lectures: Mondays from 14:30 to 17:30 in SITE F 0126.

Course description

Course notes and reading material

Assignments: Assign-1 (some solutions) ; Assign-2 (some solution) ; Assign-3; (some solution) (NEW) - from previous years

Student projects: Description - see Presentations this year - Projects from previous years

Exams from previous years: Mid-term exam with solutions from 2009 - Final exam from 2007.


Last update:January 9, 2013