- UNM
- >Catalogs
- >Catalog 2020-2021
- >Courses
- >Computer Science
- >The Specification of Software Systems
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.
Software Engineering - CS **460
MSC11 6325
1 University of New Mexico
Albuquerque, NM 87131
(505) 277-8900
Phone: (505) 277-6809
Fax: