RIT

SWEN-749: Software Evolution and Re-engineering, [Spring 2014]

SWEN-220: Mathematical Models of Software, [Fall 2013]

4011-720: Software Evolution and Re-engineering, [Spring 2013]

4010-420: Formal Methods of Specification and Design, [Winter 2012]

4010-420: Formal Methods of Specification and Design, [Fall 2012]


Queen's University

CISC 322: Software Architecture, [Fall 2011]