Contact People Projects Teaching Papers Intranet    

Vorlesung: Software-Engineering im Sommersemester 2005

Klausurergebnisse

Dozent: Ralf Möller, Uebungsbetreuer: Miguel Garcia

Die Vorlesung ist beendet.

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
  5. Spezifikation mit UML: Strukturdiagramme Teil 1
    Klassendiagramme, Klassen, Attribute, Operationen, Assoziationen, Multiplizitäten,
    Mengentheoretische Semantik der graphischen Modellierungskonstrukte
  6. Spezifikation mit UML: Strukturdiagramme Teil 2
    Objektdiagramme, Paketdiagramme, Komponentendiagramme, Kompositionsstrukturdiagramme, Deployment-Diagramme
  7. Spezifikation mit UML: Verhaltensdiagramme
    Use-Case-Diagramme, Aktivitäten, Zustandsdiagramme, Interaktionsdiagramme
    Automatentheoretische Semantik der Verhaltensdiagramme
  8. OCL: Object Constraint Language
    Erhöhung der Ausdruckskraft in Struktur- und Verhaltensmodellierung
  9. 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
  10. Spezifikation und Verifikation mit Vor- und Nachbedingungen
    Schwächste Vorbedingungen und stärkste Nachbedingungen (nach Hoare)
  11. Testen und Qualitätssicherung
  12. Programming vs. Modeling
    Extreme Programming als Beispiel für Agile Methoden
    Model-Driven Engineering

Uebungen:

  1. Softwareprozess, Outsourcing und Offshoring
  2. Aufwandsschätzung - COCOMO
  3. Aufwandsschätzung - Function-Point-Methode
  4. Definitionsphase
  5. UML Klassenmodell - Musterlösung
  6. Verhaltensdiagramme Teil 1 - Musterlösung
  7. Verhaltensdiagramme Teil 2
  8. OCL - Musterlösung ( Optional: Uebung und Lösung )
  9. JML - Musterlösung
  10. Metamodellierung - Musterlösung
  11. JUnit - Musterlösung - Demo HttpUnit - Folien JUnit
  12. Verifikation 1
  13. Verifikation 2
  14. Verifikation 3

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 UML hinzugekommen. Die vorigen Klausuren dienen also als Uebungsmaterial für die restlichen Lehrinhalte.

Ralf Möller
Last modified: 16.6.05