Spezifikationstechnik

(engl. Introduction to Specification )

Link zum LSF:	LSF
Verantwortung:	Prof. Dr. Frank Ortmeier
Dozent:in:	Prof. Dr. Frank Ortmeier
Lehrveranstaltungen:	Vorlesung Spezifikationstechnik Übung Spezifikationstechnik
Verwendbarkeit:	- B.Sc. INF: Informatik - Wahlpflicht - B.Sc. INF: Studienprofil: Forensik Design - B.Sc. CV: Informatik - Wahlpflicht - B.Sc. INGINF: Informatik II - Pflicht - B.Sc. WIF: Gestalten und Anwenden - Wahlpflicht - B.Sc. INF (bilingual): Informatik - Wahlpflicht

Kürzel

SPT

Semester

Sommer

Fachsem.

ab 4.

Dauer

1 Semester

Sprache

deutsch

Niveau

Bachelor

Angestrebte Lernergebnisse:
Die Studierenden ...

sind mit Methoden der formalen Spezifikation vertraut
können einschätzen, für welche Software-Artefakte der Einsatz formaler Methoden sinnvoll ist
kennen die Potentiale und Grenzen formaler Methoden

Inhalt:

Formale versus informale Spezifikation
Spezifikation, Validierung, Verifikation, Generierung
Spezifikation abstrakter Datentypen
Spezifikation von zeitlichen Abläufen und Prozessen,
Anwendungsbeispiel: Protokollspezifikation Konkrete Spezifikationssprachen und Werkzeuge

Arbeitsaufwand:
150 h = 56 h Präsenzzeit + 94 h selbstständige Arbeit

Prüfungsvorleistungen:

Studien-/Prüfungsleistungen:

Lehrform / SWS:

Voraussetzungen nach Prüfungsordnung:

Empfohlene Voraussetzungen:

keine

Medienformen:	Literatur:

Hinweise: