2023-2024 Undergraduate/Graduate Catalog
2023-2024 Undergraduate/Graduate Catalog » All Courses » CS - Computer Science » 500 » CS 530
Study of the software lifecycle including requirements analysis, specification, design, coding, testing, and maintenance. Includes proofs of correctness and techniques of formal specification.
Search for Open Course Sections