CS 555 Software Specification and Verification
Theoretical and practical aspects of the software development process or software lifecycle. Covers the first part of the cycle: formulating the external requirements, specifying what the software is to do, and the abstract design. Emphasis will be on the formal aspects of specification and verification.
Slash Listed Courses
Also offered as
CS 655 and may be taken only once for credit.