Software Engineering
Document Actions

Summer Term 2009

Up one level

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

Real-Time Systems (Vorlesung)

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. We will study and apply some of these techniques, based on logic and automata, most prominently timed automata. Read More…

  • Instructors: Bernd Westphal
  • Times & Locations: Wed, 9.00 - 11.00, SR 00-031, Geb. 051 | Thu, 9.00 - 10.00, SR 00-007, Geb. 106

Static Checkers for Java and C# (Seminar)

The ultimate goal of program verification is to prove the correctness of real-world programs at compile time. Static checkers, such as Spec# or ESCJava, have taken us a big step towards this goal and will continue in the future. A static checker takes a program annotated with assertions such as pre- and post-conditions of methods and invariants. It automatically proves that these assertions hold for all program runs and warn about assertions that may possibly be violated. In this seminar we will take a look behind the covers of these checkers. Every student is supposed to choose a paper, which explains one of the aspects of static checkers. You will present this paper in the block seminar at the end of the semester. Read More…

  • Instructors: Jochen Hoenicke | Stefan Maus
  • Times & Locations: Kick-off meeting: Tue, Apr 28th 2009, 14.00, 00-016 Geb. 52 | Blockseminar at end of semester

Softwarepraktikum (Praktikum)

In diesem Praktikum soll der Softwareentwicklungsprozess, beginnend bei Anforderungsanalyse über Entwurfsphase und Implementierung, bis hin zur Auslieferung eines fertigen Produkts in einem Planspiel 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…

Advanced Topics in Software Engineering (Seminar)

In this seminar, we want to investigate recent achievements regarding two active research fields. On the one hand, we want to regard the wide area of quality assurance for software systems. In this area, we will have two blocks. One on particular problems concerning testing of graphical user interfaces and another investigating the usage of formal verification in industrial contexts. On the other hand, we want to consider approaches to tame the ever growing complexity of contemporary systems. We will also have two blocks, one assessing the idea of software product lines and one addressing current theory and practice of component-based software development. Read More…

Model Checking (Vorlesung)

Model checking is a technique for the automatic verification of hardware or software systems. Given such a system and a specification of its intended behaviour, a model checker finds out whether the system satisfies the specification. Model checking has made enormous progress since its invention in the 1980s; today it is possible to verify entire CPU designs, and so all major microprocessor companies use and develop tools for this purpose. Software verification is more challenging and an active research topic (pursued at the chair for Software Engineering, for instance!). Recent years have seen interesting progress in this area as well. The course provides an introduction to the topic, covering how to model systems, how to express properties about them in temporal logic, and algorithms for checking whether they hold. We will introduce some well-known model-checking tools such as Spin and SMV. Read More…

  • Instructors: Stefan Schwoon
  • Times & Locations: Di 11-13 SR 00-034, Geb. 051 | Mi 11-13 SR 00-034, Geb. 051 - every other week

Kryptographische Protokolle (Seminar)

Mit der zunehmenden Ausbreitung des Internets nimmt auch der Bedarf an sicherer Kommunikation zu, z.B. für E-Commerce und Internet-Banking oder zum sicheren Austausch geheimer Informationen wie beispielsweise Kreditkarten-Nummern. Dieses Seminar beschäftigt sich mit den Techniken, die eingesetzt werden, um diese Sicherheit zu erzielen. Read More…

Software Engineering (Vorlesung)

Read More…

  • Instructors: Prof. P. Thiemann
  • Times & Locations: Mo, 11.00 - 13.00 HS 00-036 Geb 101 | Do, 11.00 - 12.00 HS 00-036 Geb 101