CS 846   Model-Based Software Engineering
Winter 2012

Course Overview

Jo Atlee, DC 2337, x34871, jmatlee@uwaterloo.ca

        Lectures: Mondays: 2:00-5:00, M3-3103 

        Office Hours: Wednesdays: 1:00-3:00, or by appointment

Model-based software engineering (MBSE) is an approach to software development in which software models play a primary and indispensible role.  MBSE allows developers to work and reason about software requirements, design, and correctness at higher levels of abstraction, and to generate automatically implementations, deployments, and other artifacts.  MBSE has been successfully applied in several industries (automotive, aeronautic, information systems), though typically in an ad hoc basis.  This course will look at the state of the art of MBSE and its future research directions.

More Information