Catalog description:

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

Prerequisite:

CSE 201 or equivalent 

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)