Diese Webseite wird nicht mehr aktualisiert.

Mit 1.10.2022 ist die Fakultät für Physik in der TUM School of Natural Sciences mit der Webseite https://www.nat.tum.de/ aufgegangen. Unter Umstellung der bisherigen Webauftritte finden Sie weitere Informationen.

de | en

Grundlagen der Programm- und Systementwicklung (IN2078)
Foundations of program and system development (IN2078)

Lehrveranstaltung 821092563 im WS 2017/8

Basisdaten

LV-Art Vorlesung-Übung
Umfang 5 SWS
betreuende Organisation Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)
Dozent(inn)en Alexander Pretschner
Mitwirkende:
Thomas Hutzelmann
Termine Di, 09:45–12:15, MI HS2
Fr, 10:00–12:00, MI HS2

weitere Informationen

Lehrveranstaltungen sind neben Prüfungen Bausteine von Modulen. Beachten Sie daher, dass Sie Informationen zu den Lehrinhalten und insbesondere zu Prüfungs- und Studienleistungen in der Regel nur auf Modulebene erhalten können (siehe Abschnitt "Zuordnung zu Modulen" oben).

ergänzende Hinweise System-und Programmentwicklung umfasst die Gesamtheit aller Tätigkeiten, die bei der Erstellung von Software bzw. Programmen als in einer formalen Sprache abgefasste Beschreibungen von Daten und Algorithmen zur Lösung einer Aufgabe im Sinn einer Anwendung anfallen. Eine der großen Schwierigkeiten bei der Programmentwicklung besteht in der unmissverständlichen Beschreibung und Dokumentation der einem Programm zugrunde liegenden Modelle, Theorien, Strukturen, Entscheidungen und der verwendeten Ideen und zugehörigen Beschreibungsmittel. Die Vorlesung präsentiert die wissenschaftlichen Grundlagen, und damit die logische und mathematische Fundierung der dabei auftretenden Konzepte, Modelle und Methoden. Neben diesen Modellen und Beschreibungsmitteln ist für die systematische Programmentwicklung ein methodischer Rahmen erforderlich: Entwicklungsregeln zur Durchführung von Entwicklungsschritten sowie ein Konzept, das die Schritte bei einer Programmentwicklung in eine sinnvolle Reihenfolge bringt. In der Vorlesung werden einzelne Entwicklungsschritte behandelt und der Schwerpunkt auf die methodischen und beschreibungstechnischen Grundlagen des Software Engineerings gelegt. Es werden folgende Schwerpunkte für die Modellbildung, Spezifikation, Verfeinerung und Implementierung behandelt: - Datenmodellierung: Abstrakte Beschreibung von Daten-und Rechenstrukturen - Signaturen, Algebren, Modelle und Beschreibungsmittel - Axiomatische Beschreibungen - Datentypdeklarationen und Objektmodell - Wechsel der Datenstruktur; schrittweise Entwicklung von Daten - Modellierung von Rechenvorschriften und Algorithmen: - funktionale Programmierung: Spezifikation, Verfeinerung und Verifikation - Zuweisungsorientierte Programmierung: Spezifikation, Zusicherungen, Hoare- Regeln - Prädikative Spezifikation, schrittweise Verfeinerung, Verifikation - Geflechtstrukturen - Spezifikation sequentieller OO-Programme
Links E-Learning-Kurs (z. B. Moodle)
TUMonline-Eintrag

Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)

SemesterTitelDozent(en)Termine
WS 2022/3 Grundlagen der Programm- und Systementwicklung (IN2078) Rueß, H.
Leitung/Koordination: Pretschner, A.
Fr, 10:00–12:00, MI 00.08.038
WS 2020/1 Grundlagen der Programm- und Systementwicklung (IN2078) Rueß, H.
Leitung/Koordination: Pretschner, A.
Di, 10:00–10:45, virtuell
Fr, 10:00–12:00, virtuell
WS 2019/20 Grundlagen der Programm- und Systementwicklung (IN2078) Hutzelmann, T. Rueß, H.
Leitung/Koordination: Pretschner, A.
Di, 09:45–12:15, MI HS2
Fr, 10:00–12:00, MI HS2
WS 2018/9 Grundlagen der Programm- und Systementwicklung (IN2078) Pretschner, A.
Mitwirkende: Hutzelmann, T.
Di, 09:45–12:15, MI HS2
Fr, 10:00–12:00, MI HS2
WS 2016/7 Grundlagen der Programm- und Systementwicklung (IN2078) Pretschner, A. Di, 09:45–12:15, MI HS2
Fr, 10:00–12:00, MI HS2
sowie einzelne oder verschobene Termine
WS 2015/6 Grundlagen der Programm- und Systementwicklung (IN2078) Di, 14:00–17:00, MI 00.13.009A
Do, 10:00–12:00, MI 00.13.009A
WS 2014/5 Grundlagen der Programm- und Systementwicklung (IN2078) Di, 13:00–16:00, MI 00.13.009A
Do, 10:00–12:00, MI 00.13.009A
WS 2013/4 Grundlagen der Programm- und Systementwicklung (IN2078) Mi, 12:00–14:00, MI HS2
Do, 11:00–12:00, MI 00.13.009A
Mo, 08:00–10:00, MI HS2
sowie einzelne oder verschobene Termine
WS 2012/3 Grundlagen der Programm- und Systementwicklung (IN2078)
Nach oben