CS 530 Advanced Software Engineering (Spring 2026)

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

Jan 1, 2026 Class

Instructor:

Chad Williams

Term: Spring 2026


Credits: 3

Extended description:

Course learning outcomes
Program objectives and program learning outcomes are supported by the following course learning outcomes achieved by students upon a successful completion of this course students will have the ability to:

  • CLO-1: Analyze a complex software problem and to apply modern software engineering techniques to identify solutions;
  • CLO-2: Design, implement, and evaluate a software solution to meet a given set of functional, non-functional, and domain requirements;
  • CLO-3: Communicate technical information orally and in writing;
  • CLO-4: Understand and follow professional, ethical, and social responsibilities of a software engineering professional;
  • CLO-5: Function effectively as a member or leader of a software development team;
  • CLO-6: Apply fundamental and advanced software engineering principles to produce software.

Software Engineering