Select the desired Level or 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 Restrictions: Must be enrolled in one of the following Levels: Graduate Prerequisites: Graduate level CS 505 Minimum Grade of B |
Return to Previous | New Search |