Grundlagen der Programm- und Systementwicklung (IN2078)
Foundations of program and system development (IN2078)
Lehrveranstaltung 821092563 im WS 2014/5
Basisdaten
LV-Art | Vorlesung-Übung |
---|---|
Umfang | 5 SWS |
betreuende Organisation | Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner) |
Dozent(inn)en | |
Termine |
Di, 13:00–16:00, MI 00.13.009A Do, 10:00–12:00, MI 00.13.009A |
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 | TUMonline-Eintrag |
Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)
Semester | Titel | Dozent(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 2017/8 | 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 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) |