2021-2022 Undergraduate/Graduate Catalog
2021-2022 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