Angewandte Informatik
Sie befinden sich hier:  HS Fulda » FB AI » Studiengänge » Masterstudiengang EBusiness » Modulhandbuch
Modulhandbuch

Formal Methods of Software Engineering

Verantwortlicher Dozent: Prof. Dr. Annika Wagner, Prof. Dr. Rainer Todtenhöfer

Semesterwochenstunden: 4 SWS (2 SWS Seminaristischer Unterricht, 2 SWS Praktikum)

Veranstaltungssemster: Wintersemester

Sprache: Englisch 

notwendige Vorkenntnisse: fundierte Kenntnisse in Software-Engineering, Automatentheorie und Formale Sprachen, Berechenbarkeit und Komplexität

Inhalte: 

  • Attributierte Grammatiken
  • Systemmodelle
    • Grundelement
    • Strukturzustand
    • Datenzustand
    • Kommunikationszustand
    • Systemzustand
    • Zeit und Verhalten
    • Komponentenverhalten und Systemverhalten
  • Beschreibungstechniken
    • Sichten
    • Modelle
    • Metamodelle
  • Model Driven Architecture
    • Überblick zur MDA
    • Platform Independent Model (PIM)
    • Platform Specific Model (PSM)
    • Meta Object Facility (MOF)
    • Modelltransformationen
    • Object Constraint Language
    • Tools und Entwicklungsumgebungen

Ziele: Im Bachelor-Studium wurden Studierende mit grundlegende Software-Eng. Techniken vertraut gemacht. In dieser Lehrveranstaltung lernen Studierenden weiterführende Software-Engineering Konzepte kennen. Die Studierenden können die Bedeutung von Modellen, Metamodellen und formalen Techniken bei der Software-Entwickung einschätzen. Sie sind in der Lage die Model-Driven-Architecture (MDA) der OMG zu beurteilen und bei der Software-Entwicklung einzusetzen. 

Leistungsnachweis: Prüfungsleistung / Schriftliche Prüfung

Credits: 5 Punkte

zurück zur Übersicht