TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Abschlussarbeiten  |  Sonstiges  |  Kontakt  | 

Vorlesung | Wintersemester 2006/07
Grundlagen der Programm- und Systementwicklung
Prof. Dr. Manfred Broy

Vorlesung

Klausurtermin:

Der Klausurtermin ist Freitag, 9. Februar 2007, von 14:00 - 15:30 Uhr im Raum 01.11.018 "Konrad Zuse".

Bitte melden Sie sich verbindlich zu der Klausur durch eine Mail (mit Vorname, Name und Matrikelnummer; Betreff: "'Anmeldung: Grupsy Klausur"' ) an beide Übungsleiter an.

An die bereits angemeldeten Teilnehmer wurde am 3.01.07 eine Bestätigung verschickt. Wer sich angemeldet, aber keine Bestätigung erhalten hat, soll sich noch einmal anmelden.

Es ist sinnvoll, sich mit den Übungsaufgaben auseinander zu setzen 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 Einfluss 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
2. Algebraische Spezifikation
3. 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

Voraussetzungen: Inhalte der Informatikvorlesungen bis zum Vordiplom

Empfehlenswert als Grundlage für Programmierung und Software Engineering.

Literatur