In dieser Lehrveranstaltung behandeln wir (als Fortsetzung der LVA "Programmierung") objektorientierte Programmierung in C++.
- Lektor: Wolfgang Schreiner
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
In this seminar, we explore current research and systems for specifying
and verifying computer programs (specification languages, program
verifiers, model checkers, ...).
- Lecturer: Wolfgang Schreiner