|
|
|
Seminar: Theory and Practice in Model-Based Software Engineering
| Professor |
Prof. Dr. Bernhard Rumpe |
| Assistent |
Steffi Kaiser, M.A. |
| Kursart |
Seminar |
| LV-Nr. |
15ss-50247 |
| Sprache |
Deutsch (English can be agreed upon) |
| Raum |
4312 Seminarraum i3 (3. Etage Erweiterungsgebäude 1) |
| Kick-Off Meeting |
Dienstag, 21. April 2015 12.30 - 14.00 |
Thema:
Das Seminar behandelt sowohl theoretisch wie auch praktisch orientierte Publikationen aus dem Bereich der modellbasierten Software-Entwicklung.
- U.a. werden die folgenden (theoretisch orientierten) Themen angeboten:
- Breaking RSA Cryptosystems: Quantum Computing and Shor´s-Algorithm
- Verification of Safety-Critical Systems: The Theorem Prover Isabelle
- Sortieren von Transitionen
- U.a. werden die folgenden (praktisch orientierten) Themen angeboten:
- Anti-Pattern in Klassendiagrammen
- Vergleich von C&C-Sprachen im Hinblick auf nicht-funktionale Anforderungen
- Usability domänenspezifischer Sprachen
Voraussetzungen:
Interesse an Softwaretechnik und modellgetriebener Entwicklung.
Der Besuch der Vorlesung "Modellbasierte Software-Entwicklung" ist empfohlen.
|
