622.051 (13W) Specification and Verification
Overview
- Lecturer
- Course title german Spezifikation und Verifikation
- Type Practical class (continuous assessment course )
- Hours per Week 2.0
- ECTS credits 4.0
- Registrations 37 (25 max.)
- Organisational unit
- Language of instruction no language of instruction was specified
- Course begins on 02.10.2013
Time and place
List of events is loading...
Course Information
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.
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.051 Specification and Verification (2.0h UE / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
-
Subject: Angewandte Informatik (LI 2.3)
(Compulsory subject)
-
Stage two
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 12W.1)
-
Subject: Software Development
(Compulsory elective)
-
Spezifikation und Verifikation (
2.0h UE / 4.0 ECTS)
- 622.051 Specification and Verification (2.0h UE / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h UE / 4.0 ECTS)
-
Subject: Software Development
(Compulsory elective)
- Bachelorstudium Informatik
(SKZ: 521, Version: 09W.3)
-
Subject: Spezifikation und Verifikation
(Compulsory elective)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
- 622.051 Specification and Verification (2.0h UE / 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.051 Specification and Verification (2.0h UE / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h PR / 4.0 ECTS)
-
Subject: Spezifikation und Verifikation
(Compulsory subject)
- Master's degree programme Applied Informatics
(SKZ: 911, Version: 13W.1)
-
Subject: Vertiefung Informatik
(Compulsory subject)
-
Spezifikation und Verifikation (
2.0h UE / 4.0 ECTS)
- 622.051 Specification and Verification (2.0h UE / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h UE / 4.0 ECTS)
-
Subject: Vertiefung Informatik
(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.051 Specification and Verification (2.0h UE / 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.051 Specification and Verification (2.0h UE / 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.051 Specification and Verification (2.0h UE / 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.051 Specification and Verification (2.0h UE / 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 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