CS 580
The Specification of Software Systems
University of New Mexico-Main Campus · UGRD · Fall 2026
1 section
Catalog description
A comparative study of the techniques used to specify software systems. The course will emphasize formal techniques and will cover the specification of sequential and concurrent systems. Although no programming will be required, students will be required to write specifications for several small software systems.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #new_mexico_main_campus-CS580Fall 2026UGRD3 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?