Portland-State-University 2022-2023 Bulletin

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.

Credits

3
  • Up one level
  • 600