Spezifikationstechnik
Sommer
(engl. Introduction to Specification )
Modulnummer: FIN-INF-110116 |
|
Kürzel SPT |
CP 5 |
Semester Sommer |
Fachsem. ab 4. |
Dauer 1 Semester |
Sprache deutsch |
Niveau Bachelor |
| Link zum LSF: | LSF |
| Zugang beschränkt: | |
| Verantwortung: | Prof. Dr. Frank Ortmeier |
| Dozent:in: | Prof. Dr. Frank Ortmeier |
| Lehrveranstaltungen: |
|
| Verwendbarkeit: | - B.Sc. INF: Informatik - Wahlpflicht - B.Sc. INF: Studienprofil: Forensik Design - B.Sc. INF: Informatik Wahlpflicht (SPO 2027) - B.Sc. CV: Informatik - Wahlpflicht - B.Sc. CV: Computervisualistik Wahlpflicht (SPO 2027) - B.Sc. INGINF: Informatik II - Pflicht - B.Sc. INGINF: Ingenieurinformatik Pflicht (SPO 2027) - B.Sc. WIF: Gestalten und Anwenden - Wahlpflicht - B.Sc. WIF: Informatik Wahlpflicht (SPO 2027) - B.Sc. INF (bilingual): Informatik - Wahlpflicht - B.Sc. INF (bilingual): Informatik Wahlpflicht (SPO 2027) |
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: