CIS 4615 meeting -*- Outline -*- lecture 1 * spec-overview