Select the Course Number to get further detail on the course. Select the desired Schedule Type to find available classes for the course. |
CS 624 - Formal Specification S/W Sys |
Formal methods for software requirements specification, including VDM, Z, and object-oriented extensions; the relationship among formal requirements, design, and implementation.
3.000 Credit hours Levels: Graduate Schedule Types: Lecture Computer and Information Sci Department Course Attributes: NOT ACTIVATED - USE TUAS |