Fakultät für Informatik

TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

TUM

Vorlesung | Sommersemester 2009
Grundlagen der Programm- und Systementwicklung
Prof. Dr. Manfred Broy

 

Übung

Ort und Zeit

Donnerstags, 8:30-10:00 Uhr, 01.011.018 ("Zuse")

Übungsblätter

  1. Blatt 1: Grundlegende Begriffe
    pdf Übungsblatt    pdf Lösungsblatt
  2. Blatt 2: Anforderungsspezifikation und Datenmodellierung
    pdf Übungsblatt    pdf Lösungsblatt
  3. Blatt 3: Datenmodellierung und algebraische Speifikation
    pdf Übungsblatt    pdf Lösungsblatt
  4. Blatt 4: Mengen, Algebren und Beweise
    pdf Übungsblatt    pdf Lösungsblatt
  5. Blatt 5: Homomorphismen und algbraische Spezifikation
    pdf Übungsblatt    pdf Lösungsblatt
  6. Blatt 6: Induktion und Sprachen
    pdf Übungsblatt    pdf Lösungsblatt
  7. Blatt 7: Daten- und Fehlermodellierung
    pdf Übungsblatt    pdf Lösungsblatt
  8. Blatt 8: Fehlermodellierung und Funktionen
    pdf Übungsblatt    pdf Lösungsblatt
  9. Blatt 9: Funktionen höherer Stufe und Rekursion
    pdf Übungsblatt    pdf Lösungsblatt
  10. Blatt 10: Programme
    pdf Übungsblatt    pdf Lösungsblatt

Ergänzungen


© Lehrstuhl IV: Software & Systems Engineering
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2009-07-17 18:06:48