CS 655 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. Also offered as CS 555 and may be taken only once for credit.