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