2018-2019 Undergraduate/Graduate Catalog

CS 530 Advanced Software Engineering

Study of the software lifecycle including requirements analysis, specification, design, coding, testing, and maintenance. Includes proofs of correctness and techniques of formal specification.

Credits

3

Prerequisite

CS 510

General Education

Offered

  • Spring
  • On Demand