Computersysteme (SS 2012)

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

Formal Specification of Abstract Datatypes (SS 2012)

This course presents the axiomatic (also called algebraic) specification of abstract datatypes using tools such as the specification language CafeOBJ.

Introduction to Parallel and Distributed Computing (SS 2012)

This course gives an introduction to the development of software on parallel and distributed computing systems (multiprocessors and computer networks).

Praktische Softwaretechnologie (SS2012)

Language of the Course: English

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

Project Seminar "Formal Methods II" (SS 2012)

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