622.052 (09W) Spezifikation und Verifikation
Overview
- Lecturer
- Course title german Spezifikation und Verifikation
- Type Practical class (continuous assessment course )
- Hours per Week 2.0
- ECTS credits 4.0
- Registrations 13 (35 max.)
- Organisational unit
- Language of instruction German
- Course begins on 07.10.2009
Time and place
List of events is loading...
Course Information
Teaching methodology including the use of eLearning tools
Gemeinsames Erarbeiten anhand von kleinen Aufgaben, teilweise in den Computerlabors.Course content
Diese Lehveranstaltung ist eng an die Vorlesung Spezifikation und Verifikation gekoppelt und ergänzt deren Lehrinhalte durch praktische Anwendungsbeispiele.Topics
- Spezifikationssprache Z
- Mengen, Multimengen, Relationen
- Beweise
- Code-Generierung
Teaching objective
Verstehen und Entwerfen von Z Spezifikationen (Zustandsraum, Initialzustand, Operations-Schemata). Verstehen und Durchführen von formalen Beweisen.Prior knowledge expected
Paralleler Besuch der Vorlesung Spezifikation und Verifikation.Other materials
Die in der LV verwendeten Z Spezifikationen werden mittels Latex und Eclipse erzeugt und sind auf jedem Rechner editierbar.Literature
Antoni Diller. Z An Introduction to Formal Methods. 2nd Ed. John Wiley & Sons. 1994. Jonathan Jacky. The Way of Z. Cambridge University Press. 1997.Teaching methodology including the use of eLearning tools
Practical examples presented by student groups.Course content
This practical class is tightly coupled to the lecture of specification and verification (Prof. Mittermeir).Topics
- Specification Language Z
- Sets, Bags, Relations
- Code Generation
- Proofs
Teaching objective
Comprehension and generation of Z specifications (state-schema, initial schema, operation schema) and formal proofs.Prior knowledge expected
Lecture specification and verification.Other materials
All specifications are generated using Latex and Eclipse, which is a free software and can be run without problems on nearly any system.Literature
Antoni Diller. Z An Introduction to Formal Methods. 2nd Ed. John Wiley & Sons. 1994. Jonathan Jacky. The Way of Z. Cambridge University Press. 1997.Examination information
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.
Assessment criteria / Standards of assessment for examinations
Schriftlich, mehrere Mitarbeitsüberprüfungen ohne Unterlagen
Assessment criteria / Standards of assessment for examinations
Several written exam during the semester. No materials allowed.Grading scheme
Grade / Grade grading schemePosition in the curriculum
- Teacher training programme Computer Sciences and Computer Sciences Management (Secondary School Teacher Accreditation)
(SKZ: 884, Version: 04W.7)
-
Stage two
-
Subject: Angewandte Informatik (LI 2.3)
(Compulsory subject)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
- 622.052 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
-
Subject: Angewandte Informatik (LI 2.3)
(Compulsory subject)
-
Stage two
- Bachelorstudium Informatik
(SKZ: 521, Version: 09W.3)
-
Subject: Spezifikation und Verifikation
(Compulsory elective)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
- 622.052 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
-
Subject: Spezifikation und Verifikation
(Compulsory elective)
- Bachelor's degree programme Informatics
(SKZ: 521, Version: 03W.1)
-
Subject: Spezifikation und Verifikation
(Compulsory subject)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
- 622.052 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
-
Subject: Spezifikation und Verifikation
(Compulsory subject)
- Masterstudium Informatik
(SKZ: 921, Version: 09W.1)
-
Subject: Spezifikation und Verifikation
(Compulsory subject)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
- 622.052 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
-
Subject: Spezifikation und Verifikation
(Compulsory subject)
- Master's degree programme Informatics
(SKZ: 921, Version: 03W.1)
-
Subject: Spezifikation und Verifikation
(Compulsory subject)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
- 622.052 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
-
Subject: Spezifikation und Verifikation
(Compulsory subject)
- Diploma programme Informatics
(SKZ: 880, Version: 02W)
-
Stage two
-
Subject: Angewandte Informatik inkl. Vertiefungsfach
(Compulsory subject)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
- 622.052 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
-
Subject: Angewandte Informatik inkl. Vertiefungsfach
(Compulsory subject)
-
Stage two
- Diploma programme Informatics
(SKZ: 880, Version: 02W)
-
Stage three
-
Subject: Angewandte Informatik und Vertiefungsfach
(Compulsory subject)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
- 622.052 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
-
Subject: Angewandte Informatik und Vertiefungsfach
(Compulsory subject)
-
Stage three
Equivalent courses for counting the examination attempts
-
Wintersemester 2023/24
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2022/23
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2021/22
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2020/21
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2019/20
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2018/19
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2017/18
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2016/17
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2015/16
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2014/15
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2013/14
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2012/13
- 622.051 PR Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2010/11
- 622.051 PR Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2009/10
- 622.051 PR Spezifikation und Verifikation (2.0h / 4.0ECTS)