Portland-State-University 2023-2024 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.

Credits

3
  • Up one level
  • 500