Seminars
- Eclipse IDE and plug-ins (Summer 2003)
- Software Composition (Fall 2003)
- Program Transformation (Spring 2004)
- SSCLI Rotor Projects (Summer 2004)
- Software Factories (Fall 2004)
- Microsoft Phoenix (Summer 2005)
- Formal Methods for Embedded Distributed Systems (Fall 2005)
- Software Performance Modeling and Analysis (Fall 2005 and Spring 2006)
- Grammar-Based Software Technology (Spring 2006)
- Model-Driven Software Development (Fall 2006)
- Design Rules (Spring 2007)