622.050 (16W) Specification and Verification

Wintersemester 2016/17

Registration deadline has expired.

First course session
12.10.2016 11:00 - 13:00 HS 6 On Campus
... no further dates known

Overview

Lecturer
Course title german Spezifikation und Verifikation
Type Lecture
Hours per Week 2.0
ECTS credits 2.0
Registrations 25
Organisational unit
Language of instruction German
possible language(s) of the assessment English
Course begins on 12.10.2016
eLearning Go to Moodle course

Time and place

List of events is loading...

Course Information

Intended learning outcomes

Ziel der Vorlesung (bzw. des PRs) ist es, eine Notation zu erlernen um die Semantik von Systemen zu spezifizieren und in der Lage zu sein prüfbare Spezifikationen zu entwickeln.

Course content

Einführung in das Schreiben von Software-Spezifikationen am Beispiel von Z. Verifikation von Anforderungen und Korrektheitsbeweise.

Themen

  • Einführung und Motivation
  • Logik erster Ordnung
  • Modell-basierte Spezifikationssprache Z
  • Beweistechniken
  • Anwendungsgebiete

Voraussetzungen:

Mengentheorie, Aussagen und Prädikatenlogik

Literature

Diller A. : Z - An Introduction to Formal Methods; 2nd ed., Wiley, 1994.
Spivey J.M.: The Z Notation: A Reference Manual; 2nd ed., Prentice-Hall International, 1992. Electronic version: http://spivey.oriel.ox.ac.uk/mike/zrm/zrm.pdf 
Jacky, Jonathan: THE WAY OF Z: Practical Programming with Formal Methods; Cambridge University Press, 1997.
Woodcock J., Davis J.: Using Z: Specification, Refinement, and Proof; Prentice Hall International, 1996.

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 scheme

Position 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 VO / 2.0 ECTS)
          • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Bachelor's degree programme Applied Informatics (SKZ: 511, Version: 12W.1)
    • Subject: Software Development (Compulsory elective)
      • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
        • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Bachelorstudium Informatik (SKZ: 521, Version: 09W.3)
    • Subject: Spezifikation und Verifikation (Compulsory elective)
      • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
        • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Bachelor's degree programme Informatics (SKZ: 521, Version: 03W.1)
    • Subject: Spezifikation und Verifikation (Compulsory subject)
      • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
        • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Master's degree programme Applied Informatics (SKZ: 911, Version: 13W.1)
    • Subject: Vertiefung Informatik (Compulsory subject)
      • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
        • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Masterstudium Informatik (SKZ: 921, Version: 09W.1)
    • Subject: Spezifikation und Verifikation (Compulsory subject)
      • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
        • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Master's degree programme Informatics (SKZ: 921, Version: 03W.1)
    • Subject: Spezifikation und Verifikation (Compulsory subject)
      • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
        • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Diploma programme Informatics (SKZ: 880, Version: 02W)
    • Stage two
      • Subject: Angewandte Informatik inkl. Vertiefungsfach (Compulsory subject)
        • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
          • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)
  • Diploma programme Informatics (SKZ: 880, Version: 02W)
    • Stage three
      • Subject: Angewandte Informatik und Vertiefungsfach (Compulsory subject)
        • Spezifikation und Verifikation ( 2.0h VO / 2.0 ECTS)
          • 622.050 Specification and Verification (2.0h VO / 2.0 ECTS)

Equivalent courses for counting the examination attempts

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 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)
Wintersemester 2009/10
  • 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)