The Specification of Software Systems
CS 580 (3)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.
Prerequisite: 460.
Prerequisites / Corequisites
Software Engineering - CS **460
Course Search:
Keyword Search:
Office of the Registrar
MSC 11 6325
1 University of New Mexico
Albuquerque, NM 87131
Phone: (505) 277-8900
Fax: (505) 277-6809