Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.

Formal fundierte Softwaretechnik
20-00-0345
Gebiet: Software Engineering
Modulverantwortlicher: Prof. Dr.-Ing. Ermira Mezini
Kreditpunkte: 3 Dauer: 1 Semester Turnus: Jedes Semester
Zeit gesamt: 90 h davon Präsenz: 20 h davon eigenständig: 70 h
Lehrveranstaltung:
Formal fundierte Softwaretechnik
Dozenten: Prof. Dr. phil. Wolfgang Henhapl
Seminar 2 SWS
Modulbeschreibung:
Lehrinhalte
Diese Veranstaltung wendet sich an Studierende, die sich aktiv und vertiefend mit einem Gebiet der
Softwaretechnik beschäftigen möchten, das eine formale Fundierung, z.B., in der Mathematik,
besitzt. Der Schwerpunkt der Veranstaltung liegt in der Erarbeitung eines Vertiefungsgebiets. In
einem dazugehörigen Praktikum (P6) soll eine entsprechenden praktische Umsetzung erfolgen.
Beispielhaft für mögliche Vertiefungsgebiete sind u.a.: •Untersuchung und Entwicklung von
Möglichkeiten zur automatisierten Extraktion von Teilontologien aus hochstrukturierten Webinhalten
mit LL*-Grammatiken unter Einsatz von ANTLR und ANTLRWorks
•Untersuchung der Struktur von Schnittstellen bezüglich ihrer Informationsordnung
•Untersuchung der formalen Aspekte von Use Cases zur Generierung von Prototypen und
TesteditorenDie Bearbeitung/Programmierung kann auch in Gruppenarbeit erfolgen.
Kompetenzen
Die Fähigkeit, sich ein unbekanntes, formal geprägtes Gebiet selbständig zu erarbeiten, eigene
Beiträge zu leisten und anhand eines Abschlußberichts zu dokumentieren.
Literatur
Voraussetzungen
•Formale Grundlagen
Diploma Supplement
Modulhandbuch Informatik 310