CS 846   Model-Based Software Engineering
Winter 2012

Readling List

This page lists the papers that will be covered in lectures and paper presentations this term.  Most links are to ACM, IEEE, Springer-Verlag, and other publisher digital libraries, which means that you may need to retrieve the papers from U. Waterloo addresses (because the university has subscriptions to these services).

Send questions or comments to jmatlee@cs.uwaterloo.ca