Zusammenfassung der Vorlesung

Präsentation zum Thema: "Zusammenfassung der Vorlesung"—  Präsentation transkript:

1 Zusammenfassung der Vorlesung

2 Überblick Motivation für Modellbasierte Softwareentwicklung
Entwicklung komplexer, häufig sicherheitskritischer Systeme Teil I: Spezifikationstechniken für Analyse und Design Struktur-orientierte Techniken Beschreibungssprachen wie z.B. UML-Klassendiagramme Design Patterns nach Gamma et al. Operationale Techniken Zustandsmaschinen, Timed Automata: Syntax und Semantik Graphgrammatiken: Syntax und Semantik Deskriptive Techniken: Z Modellbasierte Softwareentwicklung

3 Überblick Teil II Codegenerierung
Code-Generierung für Klassendiagramme (insb. Assoziationen), Zustandsmaschinen, Story-Diagramme Teil III Validation und Verifikation Testen (White Box, Black Box, Überdeckungstests, Äquivalenzklassen) Model Checking (explizites, symbolisches, CTL, TCTL, Kripke-Strukturen, BDDs) Modellbasierte Softwareentwicklung

4 Klausur-Vorbereitung
Folien durchgehen & lernen ggf. Literatur dazu holen (siehe Webseite) Übungsaufgaben wiederholen (& selbst lösen) In Gruppen lernen, gemeinsam Fragen beantworten …und jetzt Fragen stellen! Weitere Fragen können bis zum 8.2., 23:59 Uhr an gesendet werden Fragen und Antworten werden auf der Webseite veröffentlicht. Modellbasierte Softwareentwicklung

5 Interesse an Modellbasierter Softwareentwicklung?
Mitarbeit in aktuellen Forschungsprojekten als SHK Implementierung von Prototypen der aktuell am Lehrstuhl entwickelten Methoden Zusammenarbeit mit Industriepartnern, Fraunhofer IPT-EM Vertiefung und Spezialisierung Seminare und Projektgruppen Bachelor- / Masterarbeit Kontakt: Uwe Pohlmann ZM Modellbasierte Softwareentwicklung

6 Erinnerung: Tutoren für das SWTPra / SoPra SS 2013
Wir suchen Tutoren für das SS 2013 zur Betreuung von Gruppen im Softwaretechnik-Praktikum (SWTPra) Softwarepraktikum (SoPra) SHK-Vertrag für 9,5 h/Woche Chance auf längerfristige Beschäftigung (z.B. als SHK in Forschungsprojekten) Kontakt: Marie Christin Platenius Modellbasierte Softwareentwicklung

7 Weiterführende Veranstaltungen
Bachelor Vorlesungen: Softwaremodellierung mit formalen Methoden (Wehrheim) Grundlagen Wissensbasierter Systeme (Kleine Büning) Proseminare: Model-Driven Software Engineering (Becker) Logik und Semantik (Kleine Büning) Prüfen, was nächstes Semester kommt Modellbasierte Softwareentwicklung

8 Weiterführende Veranstaltungen
Master z.B.: Vorlesungen: Software Quality Assurance (Engels) Propositional Proof Systems (Kleine Büning) Model Checking (Wehrheim) Quantitative Analyse von Softwareentwürfen (Becker) Model Driven Software Development (Becker) Aktuelle Projektgruppen: SafeBots III (Schäfer), AppSolut (Schäfer, Engels) Prüfen, was nächstes Semester kommt Modellbasierte Softwareentwicklung