Course Description:The use of design and specification languages in producing software systems. Emphasis is placed on proving correctness of designs and implementations.
- C or higher in CS 3358: Data Structures
- C or higher in CS 5391: Survey of Software Engineering
Lecture/Lab Hours: 3 hours lecture, 0 hours lab
Offered: Frequently (typically in the Spring)