Grundlagen der Programm- und Systementwicklung (GruPSy ...
Grundlagen der Programm- und Systementwicklung (GruPSy ...
Grundlagen der Programm- und Systementwicklung (GruPSy ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Technische Universität München<strong>Gr<strong>und</strong>lagen</strong> <strong>der</strong> <strong>Programm</strong>- <strong>und</strong> <strong>Systementwicklung</strong>(<strong>GruPSy</strong>)VorbemerkungenTechnische Universität MünchenInstitut für InformatikSoftware & Systems EngineeringProf. Dr. Dr. h. c. Manfred BroyUnter Mitarbeit vonDr. Alexan<strong>der</strong> Malkis, Diego Marmsoler, Veronika Bauer1
Technische Universität MünchenAgenda 16.10.• Organisatorisches: Basis <strong>der</strong> Vorlesung Zielsetzung <strong>der</strong> Vorlesung & Lernziele Webseite & Termine Material, Zulassungskriterien <strong>und</strong> Klausur Übungen• Vorlesung 1: Definitionen, Gr<strong>und</strong>begriffe Bedeutung <strong>und</strong> StellenwertBroy WS 13/14 <strong>Gr<strong>und</strong>lagen</strong> <strong>der</strong> <strong>Programm</strong>- <strong>und</strong> <strong>Systementwicklung</strong> – Master -Vorbemerkungen2
Technische Universität MünchenOrganisatorisches: Basis <strong>der</strong> Vorlesung• Langjährige Forschung... <strong>Gr<strong>und</strong>lagen</strong>forschung zur <strong>Programm</strong>ierung <strong>und</strong> zur Modellierung imSoftware Engineering(Abstrakte Datentypen, Funktionale <strong>Programm</strong>ierung, Focus, AutoFocus)• ... führt zu Lehrveranstaltung – im Zentrum Daten- <strong>und</strong> Rechenstrukturen Funktionale <strong>Programm</strong>ierung Prozedurale <strong>Programm</strong>ierung Objektorientierte <strong>Programm</strong>ierung Referenzstrukturen• Mit Schwerpunkten auf ... Spezifikation Entwicklung durch Verfeinerung VerifikationBroy WS 13/14 <strong>Gr<strong>und</strong>lagen</strong> <strong>der</strong> <strong>Programm</strong>- <strong>und</strong> <strong>Systementwicklung</strong> – Master -Vorbemerkungen3
Technische Universität MünchenOrganisatorisches: Zielsetzung• Umfassende Behandlung des Themas<strong>Gr<strong>und</strong>lagen</strong> <strong>der</strong> <strong>Programm</strong>- <strong>und</strong> <strong>Systementwicklung</strong>: Propädeutik (Begriffe, Definitionen) Bedeutung <strong>und</strong> Aufgaben Einbettung in Entwicklungsaufgabe Stand <strong>der</strong> Wissenschaft <strong>und</strong> Technik Prinzipien Formalismen, Techniken <strong>und</strong> Methoden Modelle Weiterführende ThemenBroy WS 13/14 <strong>Gr<strong>und</strong>lagen</strong> <strong>der</strong> <strong>Programm</strong>- <strong>und</strong> <strong>Systementwicklung</strong> – Master -Vorbemerkungen4
Technische Universität MünchenOrganisatorisches: Lernziele• Angestrebte Kompetenzen für <strong>GruPSy</strong> Analysefähigkeit Abstraktionsfähigkeit Formalisierungsfähigkeit Beherrschung von Beschreibungsmitteln Methodenkompetenz Spezifikations- <strong>und</strong> Verifikationskompetenz• Lernziele Kenntnis <strong>der</strong> in <strong>GruPSy</strong> zu berücksichtigenden Inhalte Kenntnis <strong>der</strong> Terminologie Kenntnis <strong>der</strong> Prinzipien <strong>und</strong> Methoden Spezifikation, Verfeinerung,Dokumentation, Verifikation von Daten-/Rechenstrukturen <strong>und</strong><strong>Programm</strong>enBroy WS 13/14 <strong>Gr<strong>und</strong>lagen</strong> <strong>der</strong> <strong>Programm</strong>- <strong>und</strong> <strong>Systementwicklung</strong> – Master -Vorbemerkungen5
Technische Universität MünchenOrganisatorisches: Webseite & Termine• Vorlesungstermine Mittwochs, 12:25 Uhr – 13:55 Uhr, MI Hörsaal 2 (00.04.011) Donnerstags, 11 Uhr c. t. – 12:00 Uhr, MI Medienraum (00.13.009A)• Webseite http://www4.in.tum.de/lehre/vorlesungen/grupsy/WS1314• Übung Montags, 8:30 Uhr – 10:00 Uhr, MI Hörsaal 2 (00.04.011)• Ansprechpartner für organisatorische Fragen Alle MitwirkendenBroy WS 13/14 <strong>Gr<strong>und</strong>lagen</strong> <strong>der</strong> <strong>Programm</strong>- <strong>und</strong> <strong>Systementwicklung</strong> – Master -Vorbemerkungen6
Technische Universität MünchenOrganisatorisches: Material & Kriterien• Materialien Folien:‣ Spätestens 1 Tag vor <strong>der</strong> Vorlesung zum Download Literatur:‣ Empfehlungen auf Webseite <strong>und</strong> in Vorlesungen‣ Handapparat Bibliothek• Klausurzulassungskriterien Übungen: mindestens 70% Anwesenheit bzw. Bearbeitung Aufgaben Klausur:‣ in <strong>der</strong> letzten Vorlesungswoche, zur Vorlesungszeit‣ open bookBroy WS 13/14 <strong>Gr<strong>und</strong>lagen</strong> <strong>der</strong> <strong>Programm</strong>- <strong>und</strong> <strong>Systementwicklung</strong> – Master -Vorbemerkungen7
Technische Universität MünchenOrganisatorische Hinweise zu den Übungen• Übungsleitung Veronika Bauer Alexan<strong>der</strong> Malkis Diego Marmsoler• Erste Übung Montag 28.10.2013 Thema:‣ Was ist <strong>GruPSy</strong> (Definitionen)‣ Warum sind die Inhalte wichtig (Bedeutung) Übungsblatt wird am Ende dieser Vorlesung vorgestelltBroy WS 13/14 <strong>Gr<strong>und</strong>lagen</strong> <strong>der</strong> <strong>Programm</strong>- <strong>und</strong> <strong>Systementwicklung</strong> – Master -Vorbemerkungen8
Technische Universität MünchenVorlesungsplanung (siehe Webseite)• Einführung: Gr<strong>und</strong>begriffe <strong>und</strong> Definitionen, Bedeutung <strong>und</strong> Stellenwert Kernaufgaben, Aktueller Stand <strong>der</strong> Forschung <strong>und</strong> Praxis• Themen: Daten <strong>und</strong> Rechenstrukturen Funktionale <strong>Programm</strong>e Objekt- <strong>und</strong> anweisungsorientierte <strong>Programm</strong>e Referenzen <strong>und</strong> Zeiger <strong>Gr<strong>und</strong>lagen</strong> <strong>der</strong> Methodik:‣ Schrittweise Verfeinerung‣ Abstraktionsebenen• Konzepte• Spezifikation• Verifikation vonEigenschaftenBroy WS 13/14 <strong>Gr<strong>und</strong>lagen</strong> <strong>der</strong> <strong>Programm</strong>- <strong>und</strong> <strong>Systementwicklung</strong> – Master -Vorbemerkungen9
Change language