SE 549: Model-Driven Software Development

Advanced methods and techniques in software specification, modeling, and model-driven development. Topics include approaches to software specification and modeling, formal specification languages, techniques for structural and behavioral modeling of software systems, and tools for analysis and transformation of software systems.