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.