Praktikum Formale Methoden (FM-Lab)10 ECTS
(englische Bezeichnung: Praktikum Formal Methods)
(Prüfungsordnungsmodul: Praktikum Informatik)

Lehrveranstaltungen:

• • Praktikum Modellierung und formale Verifikation mit SCADE
    (Praktikum, 8 SWS, Stefan Milius, Mo, 14:15 - 15:45, Raum n.V.; n.V.)

Empfohlene Voraussetzungen:

Es wird empfohlen, folgende Module zu absolvieren, bevor dieses Modul belegt wird:

Theorie der Programmierung (SS 2016)
Grundlagen der Logik für Informatiker (WS 2015/2016)

Inhalt:

Bearbeitung eines Anwendungsproblems in der Wissensrepräsentation, insbesondere durch Erstellung formaler Ontologien in der Anwendungsdomäne und Lösung von Problemen in der Anwendungsdomäne durch automatisierte Deduktion über der Ontologie. Ggf. Weiterentwicklung von Deduktionswerkzeugen und Entwicklung von Frontends, Anbindungen an weitere Werkzeugumgebungen u.ä.

Lernziele und Kompetenzen:

Fachkompetenz

Analysieren

Die Studierenden strukturieren eine Anwendungsdomäne und identifizieren für die Problemlösung relevantes Wissen. Sie wählen geeignete Werkzeuge und Methoden zur Modellierung dieses Wissens aus und untersuchen die Anwendung dieser Methoden im gegebenen Anwendungsfall.

Evaluieren (Beurteilen)

Studierende bewerten den Erfolg der durchgeführten Modellierung; sie verwenden dabei systematische Vorgehensweisen wie Fallstudien, Experimente und Benchmarks.

Erschaffen

Die Studierenden entwickeln ein wissensbasiertes System zur Lösung des Anwendungsproblems.

Lern- bzw. Methodenkompetenz

Die Studieren arbeiten sich selbständig in ein Anwendungsgebiet und in zur Verfügung stehende Werkzeuge ein; sie organisieren selbständig die Entwicklung einer Wissensbasis und weiterer Analysewerkzeuge.

Sozialkompetenz

Die Studierenden koordinieren eigenverantwortlich die Arbeit in einer mittelgroßen Projektgruppe.

Literatur:

Franz Baader et al., The Description Logic Handbook, Cambridge University Press, 2003
Markus Krötzsch, Frantisek Simancik and Ian Horrocks, A Description Logic Primer, arXiv.org, arXiv:1201.4089
Natalya F. Noy and Deborah L. McGuinness, Ontology Development 101: A Guide to Creating Your First Ontology. Stanford Knowledge Systems Laboratory Technical Report KSL-01-05 and Stanford Medical Informatics Technical Report SMI-2001-0880, March 2001.

Weitere Informationen:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. Berufspädagogik Technik (Master of Education)
   (Po-Vers. 2010 | TechFak | Berufspädagogik Technik (Master of Education) | Studienrichtung Elektro- und Informationstechnik (Masterprüfungen) | Unterrichtsfach (Zweitfach) inkl. Fachdidaktik | Informatik | Praktikum Informatik)
2. Berufspädagogik Technik (Master of Education)
   (Po-Vers. 2010 | TechFak | Berufspädagogik Technik (Master of Education) | Studienrichtung Metalltechnik (Masterprüfungen) | Unterrichtsfach (Zweitfach) inkl. Fachdidaktik | Informatik | Praktikum Informatik)

Studien-/Prüfungsleistungen:

Praktikumsbericht FM-Lab (Prüfungsnummer: 630178)

Prüfungsleistung, Praktikumsleistung, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
Bewertet werden das Systemmodell, die zugehörige Testsuite, die Messergebnisse der formalen Analyse sowie die Dokumentation von Entwurf, Implementierung und Verifikation

Erstablegung: WS 2016/2017, 1. Wdh.: SS 2017

1. Prüfer:

Stefan Milius