|
Teaching duties for the
academic year 2004-2005:
Autumn Term
CC271 Software Analysis and
Design
Spring Term
CC371 Formal Methods
Teaching duties for the
academic year 2003-2004:
Autumn Term
CC372 Software Architecture
CC271 Software Analysis and
Design
Spring Term
CC371 Formal Methods
CC272 Software Evolution and
Validation
CC201 Group Project
Teaching duties for the
academic year 2002-2003:
Autumn Term
CC371 Formal Methods
Spring Term
CC272 Testing and Maintenance |
