Com S 541 Lecture -*- Outline -*- lecture 1 * quiz * model * techniques * soft-real-time * haskell * discussion