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)
Department of Computer Science and Software Engineering
