Calendar Description: General principles and techniques for disciplined low-level software design. BNF and basic theory of grammars and parsing. Use of parser generators. Basics of language and protocol design. Formal languages. State-transition and table-based software design. Formal methods for software construction. Techniques for handling concurrency and inter-process communication. Tools for model-driven construction. Introduction to Middleware. Hot-spot analysis and performance tuning.

Professor: Gregor v. Bochmann , telephone:: 562-5800 ext.: 6205, e-mail : bochmann@site.uottawa.ca , office: SITE (room 5082), office hours: Wednesdays from 15:00 to 16:00

Teaching assistant: Sultan Eid Almaghthawi, e-mail : salma019@uottawa.ca (Mondays) and Vishawdeep Dhaliwal, e-mail : vdhal076@uottawa.ca‎ (Tuesdays)

Time table: Lectures : Tuesday 14:30 - 16:00 and Friday 16:00 - 17:30; TUT/LAB : (Group 1) Monday 19:00 - 22:00, (Group 2) Tuesday 19:00 - 22:00 (see also Course Timetable at UofO)

Web site:  This home page of the course is at the address http://www.site.uottawa.ca/~bochmann/SEG-2106-2506/index.html.  Here you find information about the course, course notes and references to reading material, descriptions of the lab exercises, assignments and other items.

Syllabus - - schedule

Detailed course description  

Labs

Assignments: Assign-1 ; Assign-2 ; Assign-3  ; Assign-4; (there will be four assignments on the following topics)

Mid-term exam: Solutions

• solutions from previous years: solutions-2010 - solutions-2012

Final exam from 2012 (without the solutions)

Example problems and solutions

• Collection of some assignments and exams from previous years
• Examples of good assignments and lab reports from 2008 (collected by Robin Tropper)

Overview

Messages:

• The lab session on Mondays is from 19:00 to 22:00 in room STE 0130