Vorlesung
|
Bereich: |
I Praktische Informatik, Vorlesung: 3V+2Ü Std., 6 ECTS Credits |
|
Zeit und Ort: |
Mittwochs, 14:00 - 14:45 Uhr, MI HS 1
Freitags, 8:25 - 10:00 Uhr, MI HS 2
|
|
Beginn Vorlesung: |
Freitag, 21. Oktober 2005 |
|
Sprechstunde: |
Mittwochs, 11:00-12:00 Uhr, im Büro MI 01.11.052 (in der Vorlesungszeit WS 05/06)
|
|
Zentralübung: |
Freitags, 13:00 - 14:30 Uhr, 2-stündig, MI 00.08.038
|
| Beginn ZÜ: |
Freitag, 28. Oktober 2005 |
| Übungsleitung: |
Alexander Gruler, Wassiou Sitou und
Dr. Katharina Spies (Mail an Übungsleiter). |
| Scheinkriterium: |
Bestehen der Klausur am Semesterende |
Aktuelle Mitteilungen
- Zur Ausstellung des Scheins ist es notwendig, dass Sie eine Mail mit Ihrem Geburtsdatum und Studiengang an "gruler{at}inPUNKTtumPUNKTde" schicken.
- Die Klausur ist korrigiert. Die Noten erfahren Sie bei Fr. Müller im Sekretariat Lehrstuhl Broy (MI 01.11.044).
- Klausureinsicht ist am FR, 24.02.06, 9:00 - 12:00 Uhr, bei der Übungsleitung.
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.
-
Grundlegende Begriffe
-
Der Kern des Programmierproblems
-
Strukturierung und Abstraktion in der Systementwicklung
-
Modellierung in der Systementwicklung
-
Der Einfluss der Notation und Formalität
-
Deskriptive und operationelle Beschreibung
-
Nutzungs- und Realisierungssicht
-
Rechenstrukturen
-
Zur Bedeutung von Rechenstrukturen
-
Beschreibung von Daten- und Rechenstrukturen
-
Daten als Rechenstrukturen
-
Datenmodellierung im Software Engineering
-
Algebraische Spezifikation
-
Spezielle Rechenstrukturen
-
Funktionale Programmierung
-
Konzepte
-
Fixpunkttheorie
-
Beweisprinzipien für Rekursion
-
Spezifikation funktionaler Programme
-
Unterspezifikation und Nichtdeterminismus
-
Techniken funktionaler Programmierung
-
Zustandsorientierte, sequentielle Programme
-
Zustände und Zustandsübergänge
-
Logik zuweisungsorientierter Programme
-
Referenzen und organisierte Speicher
-
Referenzen
-
Zyklische Referenzstrukturen
-
Referenzen und Programmvariable
-
Funktionen für organisierte Speicher
-
Objektorientierung
-
Objektorientierte Programmierung
-
Objektorientierter Entwurf
-
Objektorientierte Analyse
-
Grundlagen der Methodik
-
Schrittweise Verfeinerung
-
Abstraktionsebenen
Hörerkreis: Studierende der Informatik nach dem Vordiplom/Bachelor
Voraussetzungen:
Inhalte der Informatikvorlesungen bis zum Vordiplom
Empfehlenswert als Grundlage für Programmierung und Software
Engineering.
Literatur
|
