622.050 (09W) Spezifikation und Verifikation

Wintersemester 2009/10

Anmeldefrist abgelaufen.

Erster Termin der LV
06.10.2009 08:00 - 10:00 , HS 1
... keine weiteren Termine bekannt

Überblick

Lehrende/r
LV-Titel englisch
Specification and Verification
LV-Art
Vorlesung
Semesterstunde/n
2.0
ECTS-Anrechungspunkte
2.0
Anmeldungen
57
Organisationseinheit
Unterrichtssprache
Englisch
LV-Beginn
06.10.2009
eLearning
zum Moodle-Kurs

LV-Beschreibung

Lehrmethodik

Classroom instruction with conventional lecture, supported by associated lab course

Fernstudium Informationen:

---

Inhalt/e

An introduction to the formal specification of software systems, using the specification language Z

Themen

  • 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-folder

Literatur

Antoni Diller Z: An Introduction to Formal Methods, 2nd ed. John Wiley & Sons Ltd., Chichester, 1994

Lehrmethodik

Classroom instruction with conventional lecture, supported by associated lab course

Fernstudium Informationen:

---

Inhalt/e

An introduction to the formal specification of software systems, using the specification language Z

Themen

  • 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-folder

Literatur

Antoni Diller Z: An Introduction to Formal Methods, 2nd ed. John Wiley & Sons Ltd., Chichester, 1994

Prüfungsinformationen

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 exam

Beurteilungsschema

Note/Grade Benotungsschema

Position im Curriculum

  • 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)
  • 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)
  • 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)
  • 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)
  • 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)
  • 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)
  • 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)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

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)