Selected Topics in Software Engineering

This course is designed to enable students to study different special topics of interest, which are carefully selected from software engineering topics. The contents of such a course are to be determined by the department council each time the course is offered. Topics of interest could be one or several from the followings: Formal specifications using formal languages (Z, B, etc.), design patterns, component-based development, Agile and eXtreme programming, Aspect-oriented architecture, Service-oriented computing and architecture, etc. Other topics can be added as needed. Students participate in group projects related to the special topic(s) selected.