1 / 8

Zusammenfassung der Vorlesung

Zusammenfassung der Vorlesung. Überblick. Motivation für Modellbasierte Softwareentwicklung Entwicklung komplexer, häufig sicherheitskritischer Systeme Teil I: Spezifikationstechniken für Analyse und Design

aram
Download Presentation

Zusammenfassung der Vorlesung

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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 TechnikenBeschreibungssprachen wie z.B. UML-Klassendiagramme Design Patterns nach Gamma et al. • Operationale TechnikenZustandsmaschinen, TimedAutomata: Syntax und SemantikGraphgrammatiken: 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 upohl@upb.de 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 • upohl@upb.de • ZM1.02-46 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 swtpra-org@lists.uni-paderborn.de 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) 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) Modellbasierte Softwareentwicklung

More Related