Spezifikationstechnik
Summer
(engl. Introduction to Specification )
Modulnummer: FIN-INF-110116 |
| Link zum LSF: | LSF |
| 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. 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 |
CP 5 |
Semester Summer |
Fachsem. ab 4. |
Dauer 1 Semester |
Sprache deutsch |
Niveau Bachelor |
Angestrebte Lernergebnisse:
The students ...
- are familiar with formal specification methods
- are able to assess for which software artifacts the use of formal methods makes sense
- know the potentials and limitations of formal methods
Inhalt:
- Formal versus informal specification
- Specification, validation, verification, generation
- Specification of abstract data types
- Specification of time sequences and processes,
- Application example: protocol specification Concrete specification languages and tools
Arbeitsaufwand:
150 h = 56 h attendance time + 94 h independent work
| Prüfungsvorleistungen: | Studien-/Prüfungsleistungen: | Lehrform / SWS: |
|
|
|
| Voraussetzungen nach Prüfungsordnung: | Empfohlene Voraussetzungen: |
|
none
|
|
| Medienformen: | Literatur: |
|
|
|
Hinweise: