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