- Dozent/in: Swen Schneider
Kursbereich: B.Sc. Wirtschaftsinformatik (WI/IBIS/EBIS)
campUAS
Suchergebnisse: 6083
CampUAS Kursraum zum Kurs im Modul 8.2, donnerstags 16:00 bis 19:15 Uhr im SoSe 2025
- Dozent/in: Dana Schneider
- Dozent/in: Julian Seidl
Kursbereich: Soziale Arbeit Bachelor – Studiengänge
- Dozent/in: Andreas Schönenberger
Kursbereich: Fachbereich 3 Wirtschaft und Recht
- Dozent/in: Andreas Schönenberger
Kursbereich: Wirtschaft Master
Dear students,
as testing in general has been covered within the bachelor, the lecture on ‘Advanced Testing’ will focus on the next level of testing.
The lecture will elaborate on reasons to test in contrast reasons not to test, on testing within Agile projects (incl. DecOps) and ROI considerations.
This lecture will include practical parts as well using Python.
Best regards,
Torsten Schönfelder
- Dozent/in: Torsten Schönfelder
Kursbereich: M.Sc. High Integrity Systems
- Dozent/in: Christina Andersson
- Dozent/in: Ruth Schorr
Kursbereich: M.Sc. High Integrity Systems
- Dozent/in: Ruth Schorr
Kursbereich: Informatik Studiengänge
Neural Network Verification
Modeling, Validation and Verification of Digital Twins
Incorrectness Logic
Modeling, Validation and Verification of Digital Twins
Incorrectness Logic
- Dozent/in: Ruth Schorr
Kursbereich: M.Sc. High Integrity Systems
- Dozent/in: Ruth Schorr
Kursbereich: Informatik Studiengänge
Modelling of Concurrent Systems with PROMELA
This course focuses on the modeling of reactive concurrent systems using finite state machines. Finite state machines are used for model checking which is a prominent verification technique that has emerged in the last thirty years. Model checking checks whether a model of a given system (specified using transition systems) satisfies properties such as deadlock freedom, invariants or starvation freedom. SPIN is a model checker used to teach concurrency and is applied in industry. PROMELA is the language used for writing system models in SPIN. The SPIN tool has been used for verifying a broad range of different systems in industry like operating systems, communication systems and railway signaling systems.
- Dozent/in: Ruth Schorr
Kursbereich: Informatik Studiengänge