COP 4020 Lecture -*- Outline -*- lecture 1 * model * techniques * soft-real-time * haskell * discussion