2017-2018 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 501, CS 502.

General Education

Offered

  • Spring
  • On Demand