ELG 7187C - Topics in Computers: Formal Methods for the Development of Distributed Real-Time Applications

Revised title: Requirements-Driven Development of Distributed Applications

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

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: Wednesday from 14:30 to 17:30 in LMX 390.

Course description

Course notes and reading material

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

Student projects - Presentations: to be determined - Projects from previous years

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

Comments:

To get a computer account at SITE for Carleton students: Carleton students registered in our graduate courses are now able to activate their accounts for the SITE computing infrastructure; details on how to proceed are available in our online documentation (http://www.site.uottawa.ca/local/labinfo), specifically at item 'Carleton Students Account Information' of the Account Information section. Note that they need to use their Carleton student ID, as they may not have uOttawa student IDs...

Last update:November 28, 2011