Contact People Projects Teaching Papers Intranet    

Vorlesung: Software-Engineering im Sommersemester 2006

Dozent: Ralf Möller, Uebungsbetreuer: Miguel Garcia

Mo 16.30, Raum DE 15, 0506

Voraussetzungen:

Objektorientierte Programmierung, Algorithmen und Datenstrukturen

Inhalt:

  1. Einführung
    Begriffsbestimmung, Systeme, Modelle, Qualitätskriterien
  2. Phasen und Vorgehensmodelle
    Ueberblick, Planungsphase, Lastenheft
    Validierung vs. Verifikation
  3. Aufwandsabschätzung
  4. Definitionsphase
    Pflichtenheft, Begriffliche Analyse, Metriken für Code-Eigenschaften
  5. Teil-Ganzes-Beziehungen
    Formale Grundlagen (Mereologie)
  6. Spezifikation mit UML: Strukturdiagramme Teil 1
    Klassendiagramme, Klassen, Attribute, Operationen, Assoziationen, Multiplizitäten,
  7. Semantik von UML-Klassendiagrammen
    Schlußfolgern über Klassendiagramme
  8. Spezifikation mit UML: Objekt-, Paket- und Verhaltensdiagramme
    Objektdiagramme, Paketdiagramme, Use-Case-Diagramme, Aktivitäten, Zustandsdiagramme, Interaktionsdiagramme
    Automatentheoretische Semantik der Verhaltensdiagramme
  9. OCL: Object Constraint Language
    Erhöhung der Ausdruckskraft in Struktur- und Verhaltensmodellierung
  10. Definitionsformen für die Semantik von Struktur- und Verhaltensmodellen
    Schwache Spezifikation der Semantik von Struktur- und Verhaltensdiagrammen auf Metaebene (Metamodellierung)
    Semantik von Aktivitäten durch Vor- und Nachbedingungen
  11. Spezifikation und Verifikation mit Vor- und Nachbedingungen
    Schwächste Vorbedingungen und stärkste Nachbedingungen (nach Hoare)
  12. Software-Abstraktionen: Agile Methoden vs. Design mit automatischer Analyseunterstützung
    Extreme Programming als Beispiel für Agile Methoden, Alloy als Beispiel für Design mit automatischer Analyseunterstützung

Uebungen:

  1. Planungsphase
  2. Aufwandsabschätzung
  3. Lastenheft, Pflichtenheft
  4. Function-Point-Methode
  5. UML Klassenmodelle 1 - Musterlösung
  6. UML Klassenmodelle 2 - Musterlösung
  7. UML Verhaltensdiagramme - Musterlösung
  8. UML Statecharts - Musterlösung
  9. OCL - Musterlösung
    Optional Exercise, mit Musterlösung
  10. Metamodellierung - Musterlösung
  11. Verifikation 1 - Musterlösung
  12. Verifikation 2 - Musterlösung
  13. Pfadüberdeckung

Literatur:

(siehe Folien)

Klausuren aus früheren Semestern:

Bitte beachten Sie, daß sich die Inhalte dieser Vorlesung gegenüber vorigen Semestern verändert haben. Es sind Lehreinheiten zum Themenfeld Design mit automatischer Analyseunterstützung hinzugekommen. Die vorigen Klausuren dienen also als Uebungsmaterial für die restlichen Lehrinhalte.

Ralf Möller
Last modified: 16.6.05