Techniques for developing large software systems are presented. Formal and semiformal languages for specification and design of software, verification, and configuration management techniques are discussed.
Prerequisite: CSC 241or COG 241 Offered: Fall, Spring Credit: 3