Grundlagen der Programm- und Systementwicklung 1996/97
Bereich: I, Vorlesung: 3 Std.
Zeit und Ort: Dienstag 8-10 in S 1128 und Dienstag 17-18 in S
0320.
Zentralübung: Mo 14:15-15:45 in 2770 für Studenten.
Di 14:15-15:45 in 0606 für Gymnasiallehrer.
Übungsleitung: Radu Grosu und Christian
Prehofer.
Inhalt:
-
Der Kern des Programmierproblems,
-
Strukturierung und Modellierung,
-
Programm- und Systementwicklung,
-
Spezifikation und Verfeinerung,
-
Daten- und Rechenstrukturen,
-
Funktionale Programmierung,
-
Prozedurale Programmierung,
-
Dezentrale, verteilte, interaktive Systeme,
-
Objektorientierte Programmierung
Hoererkreis: Studenten der Informatik nach dem Vordiplom
Voraussetzungen: Informatik bis zum Vordiplom
Empfehlenswert für: Grundlage für Programmierung und
Software Engineering
Klausur: Di., 6. Mai, 17.00-18.45, Raum S1128. Ergebnisse werden
am 28.5 vor dem Dienstzimmer von Prof. Broy ausgehaengt.
Literatur:
-
Bauer, Wössner: Algorithmische Sprachen und Programmentwicklung,
-
Z. Manna: Mathematical Theory of Computation. McGraw Hill 1974,
-
D. Gries: Science of Computer Programming. Springer 1981,
-
J. Loeckx, K. Sieber: The Foundations of Program Verification. Wiley-Teubner
Series in Computer Science 1984
Sprechstunde: Mittwoch 10-11 im Raum S 3229 (Dienstzimmer von Prof.
Broy)
Radu Grosu, 28-11-1995,
Christian
Prehofer, 7-8-1996