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