Modellierung, Spezifikation und Semantik

Notes

Kapitel 1- Formale Modellierung.pdf

Formale Modellierung

A summary of the formal definitions and notation from the lectures 01 and 02
Created for: Winter semester 2024/2025
Last update on: 22/05/2025
Language(s): German

Kapitel 4- Verhaltensorientierte Modellierung und Spezikation.pdf

Verhaltensorientiere Modellierung und Spezifikation

A summary of the formal definitions and notation from the lectures 09, 11 and 12
Created for: Winter semester 2024/2025
Last update on: 22/05/2025
Language(s): German

Kapitel 5- Nebenläufige Systeme.pdf

Modellierung nebenläufiger Systeme

A summary of the formal definitions and notation from lecture 10
Created for: Winter semester 2024/2025
Last update on: 22/05/2025
Language(s): German

Cheatsheet

MOSES Cheatsheet Original.pdf

Post exam review: Not helpful at all. The main concern was that we do not get access to the Herleitungen (SEMANTIK - AEXP, BEXP, CEXP), but we ended up getting all of them in an extra sheet.

Disclaimer: as with all other cheatsheets, please do not take the publication of this cheatsheet as a recommendation to use its contents. The idea behind this is to provide a reference point or a source of inspiration.

Extra

Personal Exam Solutions

LSG MOSES W23_24.pdf

Personal Solutions Winter 23/24

LSGV MOSES W24_25.pdf

Personal Solutions Winter 24/25

Bonus Exercises

MOSES UNO-Aufgaben.pdf

UNO Exercise Collection

An exercise sheet with exercises on formal modelling and recursive functions
Created for: Winter semester 2025/2026
Last update on: 26/11/2025
Language(s): German

CSP Exercise Collection

An exercise sheet with exercises on CSP (Communicating Sequential Processes)
Created for: Winter semester 2025/2026
Last update on: 04/02/2026
Language(s): German

MOSES CSP-Aufgaben.pdf

Google Sites

Report abuse