Synopsis: This course introduces students to problems that occur in large scale software production. The course examines technical aspects of software development life cycle and stresses a model driven approach to software engineering. Formal (mathematical and logic based) approaches to software modeling are covered and emphasized. A number of advanced software engineering topics will be studied:

* Formal design techniques, Z and Alloy
* UML/OCL (OMG)
* Agent oriented software engineering
* Web-based software engineering (XML and Semantic Web)