Modelling with UML, with Semantics

The second written exam (for those who have not taken place or not succeeded in the first exam) takes place on Feb 9, 2016 at 9-11h, room G29-307. Registration is via LSF.

Wed 19-21h, G29-307 (new time and place)
Thu 13-15h, G22a-020 (new place)

Lehrbeauftragter: Prof. Dr. Till Mossakowski
Semester: Sommersemester 2015
Sprache: Englisch
Wochenstunden: 4
Zuhörerkreis: Master CV, DigEng, DKE, INF, IngINF, WIF


The Unified Modeling Language (UML) is an international standard graphical notation for software engineering. UML diagrams range from class diagrams that can be used both for conceptual modeling as well as planning the structure of an implementation, over state machines modeling the behaviour, (composite) structure diagrams describing the interaction of components, to interaction diagrams modeling typical interactions of the user with the software system. The lecture will present these different diagrams and their interplay. Moreover, it will present a formal semantics of the diagram. This is needed both for their precise understanding as well as for their use as correctness for safety-critical software.


Books and websites about UML: Semantics of UML: More specialised topics:


The written exam will take place on Friday, July 17th, 2015, from 09.30h to 11.30 Uhr, room HS-1.



Zur Lehreseite der Forschungsgruppe Theoretische Informatik