Software Engineering
Document Actions

Winter Term 2009/2010

Up one level

On this page you find all the courses offered by the chair of Software Engineering in the next term as well as respective slides and accompanying exercises. In addition, all courses of the preceding and upcoming terms are listed here.

Informatik III - Theoretische Informatik (Vorlesung)

Die Vorlesung gibt eine Einführung in die Theoretische Informatik. Sie führt in die Themen Endliche Automaten, Formale Sprachen und Grammatiken ein und liefert mehrere äquivalente präzise Fassungen des Berechenbarkeitsbegriffs. Es schließt sich eine Einführung in die Komplexitätstheorie, speziell die Theorie der NP-Vollständigkeit, an. Behandelt werden abstrakte Modelle von Maschinen und Sprachen und mit ihrer Hilfe werden Komplexitätsmaße wie Schrittzahl (Laufzeit) und Speicherbedarf von Algorithmen präzise definiert. Read More…

Software Design, Modelling and Analysis in UML (Vorlesung)

The model-driven approach to software and systems development proposes to address quality and complexity issues in the development process. The usage of modelling languages not only for documentation, but, e.g., for automated analysis, test generation, and code generation is gaining momentum in particular in the context of (safety) critical software development. The necessary pre-requisites are a semantically founded modelling language and methods and tools for analysis. We will take the Unified Modelling Language (UML) as an example and demonstrate how to equip a relevant sublanguage (sometimes referred to as executable core) with precise a precise meaning in line with the official standard documents. To complement these discussions, we provide access to a contemporary UML modelling tool and use it for some of the exercises. Read More…

  • Instructors: Andreas Podelski | Bernd Westphal
  • Times & Locations: Tue, 09:00 - 11:00, SR 00 007 (MMR) Geb. 106 | Thu, 11:00 - 12:00, SR 00 007 (MMR) Geb. 106

Software Testing (Seminar)

This seminar covers important achievements in the area of GUI testing, automated testing and automated debugging. On the one hand, we will look at Generation and Maintenance of GUI Test Scripts and Coverage Criteria for GUI Test Cases. On the other hand, we consider Delta Debugging, a method for automated testing and debugging. Read More…

Static Code Analysis (Seminar)

The seminar covers three of the most popular applications in code analysis - testing, verification and type inference. The topics presented in this seminar are focused on recent advancements in those fields. Read More…

  • Instructors: Andreas Podelski | Evren Ermis | Daniel Dietsch
  • Times & Locations: There will be no kick-off meeting. Contact us (Evren Ermis or Daniel Dietsch) by e-mail and we will make a personal appointment with you.

Design and Analysis of Cyber-Physical Systems (Seminar)

The development of cyber physical systems (CPS) is considered to be the next computing revolution. Cyber physical systems are networked computational systems that interact with the physical world. Examples of such systems are autonomous cars, robots, intelligent energy-efficient buildings, embedded medical devices, etc. The systems like that require tight connection between discrete and continuous behavior. The design of CPS presents many challenges because of their complexity, safety requirements and real-time nature. Thus collaboration among people from different disciplines and between academics and industry is required to make progress in the area of CPS. Read More…

  • Instructors: Andreas Podelski | Sergiy Bogomolov | Corina Mitrohin
  • Times & Locations: The seminar will be a block course and take place at the Fachschaftshaus Schauinsland. Kick-off meeting will be on Friday, the 23th of October, at 10:00 in room 052-00-016. Also you can send us (Sergiy Bogomolov or Corina Mitrohin) an e-mail and we will make an appointment with you.

Softwarepraktikum für Hörer aller Fakultäten (Praktikum)

In diesem Praktikum sollen die Grundlagen der Softwareentwicklung erlernt werden. Die Teilnehmer werden zufällig in Gruppen eingeteilt und müssen eine bestimmte Aufgabenstellung realisieren. Hierzu müssen sie sich selbst organisieren, die Anforderungen definieren, Arbeit geschickt auf Gruppenmitglieder verteilen und neue Technologien selbstständig erlernen. Read More…

  • Instructors: Andreas Podelski | Daniel Dietsch | Evren Ermis
  • Times & Locations: Kickoff: Thu, Oct. 22th, 11:00 - 13:00, SR 01-009/13 Geb. 101 | Regular (subject to change): Thu, 09:00 - 13:00, SR 01-009/13 Geb. 101

Integrating Data Visualization in the Stalin-Framework (Team-Projekt)

The Stalin-Framework is an extensible architecture for model checking and software analysis, developed at the Chair of Software Engineering. It provides an environment to implement algorithms as Eclipse plugins working on models of various graphtypes. The plugins and their models are managed by the framework. The goal of this project is to design and implement a graph-visualization for those models and integrate it to the frontend of the Stalin-Framework. Additionally, in order to enhance usability of the framework in combination with the new visualization, minor changes to the framework have to be made e.g. introducing a build-in editor and the like. Read More…

Stalin 2.0 - Improving Model Checking Framework (Team-Projekt)

The Stalin-Framework is an extensible architecture for model checking and software analysis. Since it's early days, many requirements changed and missing features got detected. This team projects aims at closing these gaps. Students are required to program in Java using Eclipse RCP to improve the existing Stalin Core and implement some new features. Read More…

Softwaretechnik (Oberseminar)

Read More…