Broy: Grupsy SS01
 TU München  Informatik  Software & Systems Engineering Lehre SS 2001


Sommersemester 2001
Grundlagen der Programm- und Systementwicklung


Prof. Dr. Manfred Broy


 Übungen  Links  Literatur  Arbeitsblätter

Bereich: I, Vorlesung: 3 Std.
Zeit und Ort: Dienstag 10:15-11:50, Raum 2750
Mittwoch 12:15-13:00, Raum N1080
Beginn: Mittwoch, 25. April 2001
Sprechstunde: Mittwoch 11:00-12:00 im Büro 2556 (in der Vorlesungszeit)
Zentralübung: Freitag 8:15-10:30, Raum 0602 3-stündig,
im 14-tägigen Wechsel mit der Zentralübung zur Vorlesung Projektorganisation und Management in der Software Entwicklung
Beginn: Freitag, 11. Mai 2001
Übungsleitung: Dr. Ingolf Krüger und Dr. Katharina Spies.


Aktuell




Es ist sinnvoll, sich mit den Übungsaufgaben auseinanderzusetzen und die Übung zu besuchen, um sich den Vorlesungsstoff zu erarbeiten; dazu empfiehlt sich auch ein Blick in die Literatur. Für Fragen stehen die Übungsleiter nach der Zentralübung zur Verfügung.

Inhalt: Ziel der Vorlesung ist es, Methoden der Spezifikation, Modularisierung, Abstraktion, Verfeinerung und Verifikation sowohl in der funktionalen als auch der imperativen Programmierung zu vermitteln. Dabei spielen sowohl die formale Anforderungsdefinition (Spezifikation) als auch der Korrektheitsbeweis (Verifikation) von Implementierungen bezüglich ihrer Spezifikation eine zentrale Rolle.

  1. Grundlegende Begriffe
    1. Der Kern des Programmierproblems
    2. Strukturierung und Abstraktion in der Systementwicklung
    3. Modellierung in der Systementwicklung
    4. Der Einfluß der Notation und Formalität
    5. Deskriptive und operationelle Beschreibung
    6. Nutzungs- und Realisierungssicht
  2. Rechenstrukturen
    1. Zur Bedeutung von Rechenstrukturen
    2. Beschreibung von Daten- und Rechenstrukturen
  3. Daten als Rechenstrukturen
    1. Datenmodellierung im Software Engineering
    1. Algebraische Spezifikation
    2. Spezielle Rechenstrukturen
  4. Funktionale Programmierung
    1. Konzepte
    2. Fixpunkttheorie
    3. Beweisprinzipien für Rekursion
    4. Spezifikation funktionaler Programme
    5. Unterspezifikation und Nichtdeterminismus
    6. Techniken funktionaler Programmierung
  5. Zustandsorientierte, sequentielle Programme
    1. Zustände und Zustandsübergänge
    2. Logik zuweisungsorientierter Programme
  6. Referenzen und organisierte Speicher
    1. Referenzen
    2. Zyklische Referenzstrukturen
    3. Referenzen und Programmvariable
    4. Funktionen für organisierte Speicher
  7. Objektorientierung
    1. Objektorientierte Programmierung
    2. Objektorientierter Entwurf
    3. Objektorientierte Analyse
  8. Grundlagen der Methodik
    1. Schrittweise Verfeinerung
    2. Abstraktionsebenen
Hörerkreis: Studenten der Informatik nach dem Vordiplom

Voraussetzungen: Informatik bis zum Vordiplom

Empfehlenswert als Grundlage für Programmierung und Software Engineering.

Literatur


  Katharina Spies, 16.7.2001