CSC2125:
Modeling Methods, Tools and Techniques
Winter 2018
Instructor: Marsha Chechik,
BA3248, x3820, chechik@cs.toronto.edu
Lectures: Mondays 1:00-4:00, BA4010
Office Hours: Mondays after
class and 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), in defining software product lines and in system safety assurance
(albeit often in an ad-hoc fashion).
This course will look at the state of the art of MBSE and its future research
directions.
More Information