In dieser Lehrveranstaltung behandeln wir (als Fortsetzung der LVA "Programmierung") objektorientierte Programmierung in C++.

This course deals with the formal modeling of concurrent systems such as parallel or multi-threaded programs, distributed hardware and software systems, mobile systems, and the like.

This course presents the major methods for defining the meaning of
languages (operational semantics, denotational semantics, axiomatic
semantics) and programs and discusses their relationship.

This course explores algorithms and data structures using the object oriented language Java, with an accent on a frame of software tools used in real-world applications.



In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...).