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
- Lecturer: Fritz Schwarz
- Lecturer: Ralf Wahner
Language of the Course: English
Topics of the Course:
- Object Oriented (OO) Design
- One of the most popular OO Programming Languages: Java
- A modern Integrated Development Environment (IDE): Eclipse
- Implementation of some Algorithms and Data Structures in Java
- Solutions to "typical” software design problems: Design Patterns
- A Modeling Language for Software Engineering: UML
- A simple framework to write repeatable tests: JUnit
- Revision Control Systems
- Introduction into Client-Server Solutions and Web Services
- Lecturer: Alexander Baumgartner
In this seminar, we explore current research and systems for specifying
and verifying computer programs (specification languages, program
verifiers, model checkers, ...).
- Lecturer: Wolfgang Schreiner