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.

Credits

3

Slash Listed Courses

Also offered as CS 655 and may be taken only once for credit.