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 this course we discuss (as a continuation of the course "Programming 1") object-oriented programming in C++.
- Lecturer: Wolfgang Schreiner
This seminar discusses techniques and tools for formal methods and/or automated reasoning such as formal specification languages, program verification systems, model checkers, interactive proof assistants, automated theorem provers, satisfiability solvers, decision procedures, etc.
- Lecturer: Temur Kutsia
- Lecturer: Wolfgang Schreiner
- Lecturer: Wolfgang Windsteiger