The course reviews most of the Java language. It is aimed at people that already have notions in OO programming and want to learn Java. The subjects seen in the course include Java syntax and programming, Graphical User Interfaces, Eclipse development platform, Threads and Synchronization, Dynamic Class Loading, Reflection, Java Virtual Machine, Byte-code, Middleware, and Components.

Introduction to the techniques of software engineering, object-oriented software construction, and high-level design. See Web page for details.

An introduction to research in software engineering, based on reading and presenting state-of-the-art papers in the field.

An introduction to research in software engineering, based on reading and presenting state-of-the-art papers in the field.

Trusted Components are reusable software elements accompanied by a guarantee of quality. They should be equipped with contractsdescribing their abstract properties. The course explores the various facets of this notion. Topics include software quality, designpatterns, designing for reuse, componentization, correctness and proofs, testing, program analysis, proof-carrying code.

This course is an opportunity to take part in leading-edge software construction and gain academic credit for it. The EiffelStudio environment provides a rich basis of extensions and new developments.The course will be held in laboratory-style: students choose a project and meet regularly with assistants. The best developments are candidate for inclusion in actual software releases.

Seminar that focuses on the understanding and discussion of recent scientific publicationsInterface specifications, program verification, model checking, testing, advanced type systems, alias and pointer analysis

Seminar that focuses on the understanding and discussion of recent scientific publicationsInterface specifications, program verification, model checking, testing, advanced type systems, alias and pointer analysis