622.050 (09W) Spezifikation und Verifikation
Überblick
- Lehrende/r
- LV-Titel englisch Specification and Verification
- LV-Art Vorlesung
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 2.0
- Anmeldungen 57
- Organisationseinheit
- Unterrichtssprache Englisch
- LV-Beginn 06.10.2009
Zeit und Ort
Liste der Termine wird geladen...
LV-Beschreibung
Lehrmethodik inkl. Einsatz von eLearning-Tools
Classroom instruction with conventional lecture, supported by associated lab courseFernstudium Informationen:
---Inhalt/e
An introduction to the formal specification of software systems, using the specification language ZThemen
- Introduction
- Sets, Constants, and State-Spaces
- Predicates, Schemata, Schema-Calculus
- Relations, Functions, Sequences, Bags
- Free Types, Schemata as Types
- Application (Pipe & Filter Architecture-Spec)
- Theorem Prover
- Rigourous Proofs, Sequent -Calculus (Propositional Logic)
- Predicate Logic
- Immanent Reasoning
- Reification
- Floyd-Hoare Logic
- Predicate Transformers
Lehrziel
Acquiring the capability of reading and writing formal specifications.Erwartete Vorkenntnisse
Basic knowledge in software engineering and discrete mathematics (set theory, propositional and predicate logic)Sonstige Studienbehelfe
Course notes, to be found in the associated MOODLE-folderLiteratur
Antoni Diller Z: An Introduction to Formal Methods, 2nd ed. John Wiley & Sons Ltd., Chichester, 1994Lehrmethodik inkl. Einsatz von eLearning-Tools
Classroom instruction with conventional lecture, supported by associated lab courseFernstudium Informationen:
---Inhalt/e
An introduction to the formal specification of software systems, using the specification language ZThemen
- Introduction
- Sets, Constants, and State-Spaces
- Predicates, Schemata, Schema-Calculus
- Relations, Functions, Sequences, Bags
- Free Types, Schemata as Types
- Application (Pipe & Filter Architecture-Spec)
- Theorem Prover
- Rigourous Proofs, Sequent -Calculus (Propositional Logic)
- Predicate Logic
- Immanent Reasoning
- Reification
- Floyd-Hoare Logic
- Predicate Transformers
Lehrziel
Acquiring the capability of reading and writing formal specifications.Erwartete Vorkenntnisse
Basic knowledge in software engineering and discrete mathematics (set theory, propositional and predicate logic)Sonstige Studienbehelfe
Course notes, to be found in the associated MOODLE-folderLiteratur
Antoni Diller Z: An Introduction to Formal Methods, 2nd ed. John Wiley & Sons Ltd., Chichester, 1994Prüfungsinformationen
Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.
Prüfungsinhalt/e
Material covered in the course as well as chapters 1 - 15 of the textbook.Beurteilungskriterien/-maßstäbe
written exam
Prüfungsinhalt/e
Material covered in the course as well as chapters 1 - 15 of the textbook.Beurteilungskriterien/-maßstäbe
written examBeurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Diplom-Lehramtsstudium Unterrichtsfach Informatik und Informatikmanagement
(SKZ: 884, Version: 04W.7)
-
2.Abschnitt
-
Fach: Angewandte Informatik (LI 2.3)
(Pflichtfach)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Angewandte Informatik (LI 2.3)
(Pflichtfach)
-
2.Abschnitt
- Bachelorstudium Informatik
(SKZ: 521, Version: 09W.3)
-
Fach: Spezifikation und Verifikation
(Wahlfach)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Spezifikation und Verifikation
(Wahlfach)
- Bachelorstudium Informatik
(SKZ: 521, Version: 03W.1)
-
Fach: Spezifikation und Verifikation
(Pflichtfach)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Spezifikation und Verifikation
(Pflichtfach)
- Masterstudium Informatik
(SKZ: 921, Version: 09W.1)
-
Fach: Spezifikation und Verifikation
(Pflichtfach)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Spezifikation und Verifikation
(Pflichtfach)
- Masterstudium Informatik
(SKZ: 921, Version: 03W.1)
-
Fach: Spezifikation und Verifikation
(Pflichtfach)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Spezifikation und Verifikation
(Pflichtfach)
- Diplomstudium Informatik
(SKZ: 880, Version: 02W)
-
2.Abschnitt
-
Fach: Angewandte Informatik inkl. Vertiefungsfach
(Pflichtfach)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Angewandte Informatik inkl. Vertiefungsfach
(Pflichtfach)
-
2.Abschnitt
- Diplomstudium Informatik
(SKZ: 880, Version: 02W)
-
3.Abschnitt
-
Fach: Angewandte Informatik und Vertiefungsfach
(Pflichtfach)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Angewandte Informatik und Vertiefungsfach
(Pflichtfach)
-
3.Abschnitt
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
-
Wintersemester 2023/24
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2022/23
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2021/22
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2020/21
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2019/20
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2018/19
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2017/18
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2016/17
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2015/16
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2014/15
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2013/14
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2012/13
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2011/12
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2010/11
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)