CSE 621 Foundations of Software Engineering (3 credits)

Catalog description:

Foundational theories for software engineering; Topics include project management, modeling notations, refinements processes, verification and validation, and evolution. 

Prerequisite:

An introductory course in Software Engineering (such as CSE 201)

Required topics (approximate weeks allocated):

  • Process model design (1)
  • Modeling with UML (1)
  • Modeling with MDA (1)
  • Formal specifications (2)
  • Theorem proving (1)
  • Quality attribute specification (1)
  • Analysis of attributes (1)
  • Software architecture design (1)
  • Software architecture analysis (1)
  • Design rationale (1)
  • Model checking (2)
  • Reverse engineering (2)