COMP 204 : Software Design
Course Homepage
Assignments
Assignment 1 :
A CTL Model checker in SML
Assignment 2 : Denotational Semantics
Assignment Description
My Solution
Assignment 3 :
Design Patterns - Assorted Questions
Projects (with Shawn Liu)
Online Voting System :
System Specification
Use Cases
(
additions
)
CRC Cards
(original - we changed some parts while doing the system design)
Presentation on Voting System Design :
Design Overview
Presentation on Voting System :
Flow Overview
XP Programming Exercise :
Flight Reservation System
Our Submission