622.051 (10W) Spezifikation und Verifikation

Wintersemester 2010/11

Anmeldefrist abgelaufen.

Erster Termin der LV
06.10.2010 12:30 - 14:00 HS 6 On Campus
... keine weiteren Termine bekannt

Überblick

Lehrende/r
LV-Titel englisch Specification and Verification
LV-Art Praktikum (prüfungsimmanente LV )
Semesterstunde/n 2.0
ECTS-Anrechnungspunkte 4.0
Anmeldungen 18 (25 max.)
Organisationseinheit
Unterrichtssprache es wurde keine Unterrichtssprache angegeben
LV-Beginn 06.10.2010

Zeit und Ort

Liste der Termine wird geladen...

LV-Beschreibung

Prü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.

Beurteilungsschema

Note Benotungsschema

Position 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 PR / 4.0 ECTS)
          • 622.051 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)
  • Bachelorstudium Informatik (SKZ: 521, Version: 09W.3)
    • Fach: Spezifikation und Verifikation (Wahlfach)
      • Spezifikation und Verifikation ( 2.0h PR / 4.0 ECTS)
        • 622.051 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)
  • Bachelorstudium Informatik (SKZ: 521, Version: 03W.1)
    • Fach: Spezifikation und Verifikation (Pflichtfach)
      • Spezifikation und Verifikation ( 2.0h PR / 4.0 ECTS)
        • 622.051 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)
  • Masterstudium Informatik (SKZ: 921, Version: 09W.1)
    • Fach: Spezifikation und Verifikation (Pflichtfach)
      • Spezifikation und Verifikation ( 2.0h PR / 4.0 ECTS)
        • 622.051 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)
  • Masterstudium Informatik (SKZ: 921, Version: 03W.1)
    • Fach: Spezifikation und Verifikation (Pflichtfach)
      • Spezifikation und Verifikation ( 2.0h PR / 4.0 ECTS)
        • 622.051 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)
  • Diplomstudium Informatik (SKZ: 880, Version: 02W)
    • 2.Abschnitt
      • Fach: Angewandte Informatik inkl. Vertiefungsfach (Pflichtfach)
        • Spezifikation und Verifikation ( 2.0h PR / 4.0 ECTS)
          • 622.051 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)
  • Diplomstudium Informatik (SKZ: 880, Version: 02W)
    • 3.Abschnitt
      • Fach: Angewandte Informatik und Vertiefungsfach (Pflichtfach)
        • Spezifikation und Verifikation ( 2.0h PR / 4.0 ECTS)
          • 622.051 Spezifikation und Verifikation (2.0h PR / 4.0 ECTS)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

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 2009/10
  • 622.051 PR Spezifikation und Verifikation (2.0h / 4.0ECTS)
  • 622.052 PR Spezifikation und Verifikation (2.0h / 4.0ECTS)