Lernen Sie von Experten die Grundlagen des Object Oriented Analysis und Design, des Design by Contract, der Meta-Modellierung, Design Patterns und Testens
Methoden der Softwareentwicklung
Inhalte des Kurses
Dieser Kurs vermittelt Kenntnisse in den fundamentalen Techniken und Grundlagen des Software Engineering.
Der Fokus liegt insbesondere auf Techniken und Methoden zur Entwicklung von "dependable systems".
Die Vorgehensweise des Kurses ist bottom-up. Es spannt den Bogen von der Definition und Analyse der Typsicherheit von Programmiersprachen hin zur Technik des formalen Modellierens in Form des "Design by Contract".
Weitere Themen sind elementare semi-formale Modellierungstechniken, wichtige UML-Diagramme, sowie OCL. Aufbauend auf diese Grundlagen werden Object Oriented Analysis und Design, Meta-Modellierung und MDE, Design Patterns und Testen behandelt.
Unser Dozent
Prof. Dr. Peter Thiemann
Institut für Informatik
E-Mail: thiemann(at)informatik.uni-freiburg.de
Telefon: +49 (0) 761 203-8051
Haben Sie Interesse an diesem Kurs?
Hier gehts zur Anmeldung.
Oder kontaktieren Sie uns einfach bei weiteren Fragen.
Wofür können die Inhalte verwendet werden?
- First computer bug
- Design by contract wird zur Konstruktion von Software für sicherheitskritische Anwendungen eingesetzt. Verbunden mit Verifikation stellt es sicher, dass es beim Einsatz der Software nicht zu unvorhergesehenen Situationen bzw. zu Systemabstürzen kommt.
- Metamodellierung bildet die Grundlage zur Erstellung von domain-specific languages (DSL). Diese wiederum finden Anwendung in Software-Productlines, wo aus einer high-level Beschreibung viele Varianten einer Software generiert werden können.
- Die automatische Generierung von Testdaten ist essentiell zur Durchführung von Funktions- und Integrationstests von Softwarekomponenten.
