In dieser Lehrveranstaltung behandeln wir (als Fortsetzung der LVA "Programmierung") objektorientierte Programmierung in C++.
- Lektor/in: 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.
languages (operational semantics, denotational semantics, axiomatic
semantics) and programs and discusses their relationship.
- Lecturer: Wolfgang Schreiner
Language of the Course: English
Topics of the Course:
Topics of the Course:
- Object Oriented (OO) Programming
- A Modern OO Language: Java
- Implementation of some algorithms in Java
- A Software Development Environment : Eclipse
- A Version Control System: Subversion
- The Modeling Language UML
- Design Patterns
- The Java Test Framework JUnit
- Introduction into Web Service
- Lecturer: Karoly Bosa
In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...).
- Lecturer: Franz Lichtenberger
- Lecturer: Wolfgang Schreiner