In dieser Lehrveranstaltung behandeln wir (als Fortsetzung der LVA "Programmierung") objektorientierte Programmierung in C++.
- Lektor: Wolfgang Schreiner
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.
- Lecturer: Wolfgang Schreiner
This course presents the major methods for defining the meaning of
languages (operational semantics, denotational semantics, axiomatic
semantics) and programs and discusses their relationship.
- Lecturer: Wolfgang Schreiner
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.
- Lecturer: David Cerna
- Lecturer: Cleopatra Pau
In this seminar, we explore current research and systems for specifying
and verifying computer programs (specification languages, program
verifiers, model checkers, ...).
- Lecturer: Wolfgang Schreiner