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