2018-2019 Undergraduate/Graduate Catalog
2018-2019 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