|
CS 846 Model-Based Software
Engineering
Winter 2012 |
Course Overview
Instructor: 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