This course presents the axiomatic (also called algebraic) specification
of abstract datatypes using tools such as the specification language
CafeOBJ.
- Lecturer: Wolfgang Schreiner
This course gives an introduction to the development of software on
parallel and distributed computing systems (multiprocessors and computer
networks).
- Lecturer: Wolfgang Schreiner
This course explores advanced object oriented techniques using the Java language. The accent is on encapsulation, exemplified with algorithms and data structures, and on a frame of software tools used in real-world applications.
- Lecturer: Cleopatra Pau
In dieser Lehrveranstaltung behandeln wir (als Fortsetzung der LVA "Programmierung 1") objektorientierte Programmierung in C++.
- Lektor: Wolfgang Schreiner
In this seminar, we explore current research and systems for specifying
and verifying computer programs (specification languages, program
verifiers, model checkers, ...).
- Lecturer: Wolfgang Schreiner