Portland-State-University 2021-2022 Bulletin

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.


  • Up one level
  • 500