20-00-0013

Modellierung, Spezifikation und Semantik

FB20 Computer Science · 5 CP · Offered in WiSe 2026/27, WiSe 2025/26

Grade distribution

Average of averages

3.42

Every semester counts equally, whatever its size.

Pooled average

3.43

Weighted by cohort size — what an arbitrary student across all semesters scored.

Pass rate

66%

Share of results at 4.0 or better. 4.0 is the last passing grade.

Semesters with data

The German scale runs 1.0 (best) to 4.0 (last pass), with 5.0 as fail. There is no 4.3.

By semester

WiSe 2025/26

∅ 3.707403 results41% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

165

5,0

Missing (medical excuse): 43Missing (no reason): 32Reported Sep 2, 2026

SoSe 2025

∅ 3.66865 results34% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 12Missing (no reason): 5Reported Sep 2, 2026

WiSe 2024/25

∅ 3.712386 results43% failedReported via extension

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

167

5,0

Missing (medical excuse): 48Missing (excused): 1Missing (no reason): 23Reported Sep 3, 2026

SoSe 2024

∅ 3.54947 results26% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 7Missing (no reason): 5Reported Sep 2, 2026

WiSe 2023/24

∅ 3.879308 results52% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

159

5,0

Missing (medical excuse): 26Missing (excused): 2Missing (no reason): 22Reported Sep 2, 2026

SoSe 2023

∅ 2.90850 results12% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 6Missing (no reason): 6Reported Sep 2, 2026

WiSe 2022/23

∅ 2.587349 results12% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Reported Sep 2, 2026

SoSe 2022

∅ 3.41967 results25% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 10Missing (no reason): 5Reported Sep 2, 2026

WiSe 2021/22

∅ 3.591280 results42% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

117

5,0

Missing (medical excuse): 2Missing (no reason): 12Reported Sep 2, 2026

SoSe 2021

∅ 3.99763 results51% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (excused): 1Missing (no reason): 4Reported Sep 2, 2026

WiSe 2020/21

∅ 3.232275 results27% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 56Missing (excused): 4Missing (no reason): 12Reported Sep 2, 2026

SoSe 2020

∅ 3.060211 results22% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 1Missing (excused): 83Missing (no reason): 9Reported Sep 2, 2026

WiSe 2019/20

∅ 3.21346 results17% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 8Missing (no reason): 6Reported Sep 2, 2026

Was this course worth it?

0% positive of 1 rating

Your vote is stored against a random id in this browser. No account, nothing that identifies you.

Weekly sessions

Mon08:55–10:35S311/08, S311/0012 · Integrierte Veranstaltung
Mon10:40–11:30S311/08, S311/0012 · Hörsaalübung
Tue13:30–14:20S103/113 · Tutorensprechstunde - HIERZU BITTE NICHT ANMELDEN!
Tue17:10–18:00S103/113 · Tutorensprechstunde - HIERZU BITTE NICHT ANMELDEN!
Wed13:30–14:20S103/113 · Tutorensprechstunde - HIERZU BITTE NICHT ANMELDEN!
Thu11:40–12:25S103/113 · Tutorensprechstunde - HIERZU BITTE NICHT ANMELDEN!
Thu13:30–15:10S103/015 · Tutorensprechstunde - HIERZU BITTE NICHT ANMELDEN!
Thu15:20–17:00S202/C120 · Tutorensprechstunde - HIERZU BITTE NICHT ANMELDEN!

Parts

20-00-0013-ivIntegrated course3 contact h/week

Language: Deutsch
Taught by: Prof. Dr.-Ing. Heiko Mantel

Course content

- Einführung in die Modellierung mit logischen und algebraischen Konzepten - Interpretation und Adäquatheit formaler Modelle - strukturiertes Vorgehen bei der Modellierung und Umgang mit Entwurfsentscheidungen - Abstraktion, Verfeinerung, Komposition und Zerlegen von Modellen - Syntax und operationale Semantik von Programmiersprachen - elementare Beweistechniken und deren Verwendung - Einführung in Spezifikationssprachen - Syntax und denotationale Semantik von Spezifikationssprachen - Modellierung von Kommunikation und Koordination in nebenläufigen Systemen - Klassifikation von Systemeigenschaften

Exam dates

2027-03-17 · 08:00–10:30 · Examenprovisional

Add to planner

Times, rooms and details come from TUCaN and may be out of date. Report something wrong

Grade distribution

Average of averages

3.42

Every semester counts equally, whatever its size.

Pooled average

3.43

Weighted by cohort size — what an arbitrary student across all semesters scored.

Pass rate

66%

Share of results at 4.0 or better. 4.0 is the last passing grade.

Semesters with data

The German scale runs 1.0 (best) to 4.0 (last pass), with 5.0 as fail. There is no 4.3.

By semester

WiSe 2025/26

∅ 3.707403 results41% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

165

5,0

Missing (medical excuse): 43Missing (no reason): 32Reported Sep 2, 2026

SoSe 2025

∅ 3.66865 results34% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 12Missing (no reason): 5Reported Sep 2, 2026

WiSe 2024/25

∅ 3.712386 results43% failedReported via extension

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

167

5,0

Missing (medical excuse): 48Missing (excused): 1Missing (no reason): 23Reported Sep 3, 2026

SoSe 2024

∅ 3.54947 results26% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 7Missing (no reason): 5Reported Sep 2, 2026

WiSe 2023/24

∅ 3.879308 results52% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

159

5,0

Missing (medical excuse): 26Missing (excused): 2Missing (no reason): 22Reported Sep 2, 2026

SoSe 2023

∅ 2.90850 results12% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 6Missing (no reason): 6Reported Sep 2, 2026

WiSe 2022/23

∅ 2.587349 results12% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Reported Sep 2, 2026

SoSe 2022

∅ 3.41967 results25% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 10Missing (no reason): 5Reported Sep 2, 2026

WiSe 2021/22

∅ 3.591280 results42% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

117

5,0

Missing (medical excuse): 2Missing (no reason): 12Reported Sep 2, 2026

SoSe 2021

∅ 3.99763 results51% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (excused): 1Missing (no reason): 4Reported Sep 2, 2026

WiSe 2020/21

∅ 3.232275 results27% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 56Missing (excused): 4Missing (no reason): 12Reported Sep 2, 2026

SoSe 2020

∅ 3.060211 results22% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 1Missing (excused): 83Missing (no reason): 9Reported Sep 2, 2026

WiSe 2019/20

∅ 3.21346 results17% failedEntered by a maintainer

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 8Missing (no reason): 6Reported Sep 2, 2026