Computersysteme (SS 2015)

In dieser Lehrveranstaltung behandeln wir (als Fortsetzung der LVA "Programmierung") objektorientierte Programmierung in C++.

Formal Models of Parallel and Distributed Systems (SS 2015)

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.

Formal Semantics of Programming Languages (SS 2015)

This course presents the major methods for defining the meaning of
languages (operational semantics, denotational semantics, axiomatic
semantics) and programs and discusses their relationship.

Loewy Decomposition of Linear Differential Equations

Practical Software Technology (SS 2015)

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

Seminar "Formal Methods II" (SS 2015)

In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...).