Übung: Übung zu Formale Methoden im Software Engineering - Details

Allgemeine Informationen

Veranstaltungsname	Übung: Übung zu Formale Methoden im Software Engineering
Veranstaltungsnummer	INF-0130, INF-0229
Semester	SS 2026
Aktuelle Anzahl der Teilnehmenden	0
Heimat-Einrichtung	Softwaretechnik
Veranstaltungstyp	Übung in der Kategorie Lehre
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	deutsch

Lehrende

• Dr. Gerhard Schellhorn
• Prof.Dr. Wolfgang Reif

Räume und Zeiten

Keine Raumangabe

Studienbereiche

• Fakultät für Angewandte Informatik > Informatik
• Nachhaltigkeitsziele > Ziel 4 - Hochwertige Bildung

Modulzuordnungen

• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Wahlbereich Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 16. Version gültig ab WS 2024/25 > Modulgruppe C: Minor Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Wahlbereich Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 16. Version gültig ab SS 2026 > Wahlbereich Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 7. Version gültig ab WS 2024/25 > Wahlbereich > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2011, 18. Version gültig ab WS 2023/24 > M.Sc. Informatik (PO '11), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik (PO '17), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 7. Version gültig ab WS 2024/25 > Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 18. Version gültig ab WS 2025/26 > Modulgruppe C: Minor Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 17. Version gültig ab SS 2025 > Modulgruppe D: Major Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 8. Version gültig ab SS 2025 > Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 9. Version gültig ab WS 2025/26 > Wahlbereich > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 10. Version gültig ab SS 2026 > Wahlbereich > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Medical Information Sciences M.Sc. Medical Information Sciences, PO 2025, 2. Version gültig ab SS 2026 > D: Wahlbereich > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Mathematik Masterstudiengang Mathematik PO 2013, 22. Version gültig ab SS 2026 > Master Mathematik E-I: Nebenfach Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik (PO '17), Teilbereich Informatik - Softwaretechnik und Programmiersprachen > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 16. Version gültig ab SS 2026 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 19. Version gültig ab WS 2024/25 > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Mathematik Masterstudiengang Mathematik PO 2013, 19. Version gültig ab WS 2024/25 > Master Mathematik E-I: Nebenfach Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 20. Version gültig ab SS 2025 > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 10. Version gültig ab SS 2026 > Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik und Multimedia (PO '17), Teilbereich Informatik - Softwaretechnik und Programmiersprachen > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik und Multimedia (PO '17), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 19. Version gültig ab WS 2024/25 > Modulgruppe D: Informatik [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 15. Version gültig ab WS 2025/26 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 15. Version gültig ab WS 2025/26 > Wahlbereich Informatik und Multimedia > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 22. Version gültig ab SS 2026 > Modulgruppe D: Informatik [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Mathematik Masterstudiengang Mathematik PO 2013, 21. Version gültig ab WS 2025/26 > Master Mathematik E-I: Nebenfach Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 21. Version gültig ab WS 2025/26 > Modulgruppe D: Informatik [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 16. Version gültig ab SS 2026 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Wahlbereich Informatik und Multimedia > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 17. Version gültig ab SS 2025 > Modulgruppe C: Minor Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 19. Version gültig ab SS 2026 > Modulgruppe C: Minor Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 9. Version gültig ab WS 2025/26 > Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 15. Version gültig ab WS 2025/26 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 16. Version gültig ab SS 2026 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 8. Version gültig ab SS 2025 > Wahlbereich > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 16. Version gültig ab WS 2024/25 > Modulgruppe D: Major Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Wahlbereich Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 20. Version gültig ab SS 2025 > Modulgruppe D: Informatik [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 16. Version gültig ab SS 2026 > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 22. Version gültig ab SS 2026 > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 21. Version gültig ab WS 2025/26 > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2011, 18. Version gültig ab WS 2023/24 > M.Sc. Informatik (PO '11), Teilbereich Informatik - Softwaretechnik und Programmiersprachen. > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Wahlbereich Informatik und Multimedia > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Medical Information Sciences M.Sc. Medical Information Sciences, PO 2025, 2. Version gültig ab SS 2026 > B: Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 18. Version gültig ab WS 2025/26 > Modulgruppe D: Major Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Mathematik Masterstudiengang Mathematik PO 2013, 20. Version gültig ab SS 2025 > Master Mathematik E-I: Nebenfach Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 16. Version gültig ab SS 2026 > Wahlbereich Informatik und Multimedia > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 19. Version gültig ab SS 2026 > Modulgruppe D: Major Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Geoinformatik Master Geoinformatik, 4. Version gültig ab WS 2022/23 > MScGI_Module > INF-0229 (=MScGI_SE) - Software Engineering (für M.Sc. Geoinformatik) > Vorlesung mit Übung aus dem Bereich Software Engineering

Kommentar/Beschreibung

Je nach Teilnehmerzahl wird die Übung in 2 Gruppen aufgeteilt: Die erste Gruppe kann von 10:00 bis 13:00 Uhr den Praktikumsraum nutzen, die zweite Gruppe von 14:00 - 17:00 Uhr.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".

Folgende Regeln gelten für die Anmeldung:

• Die Anmeldung ist gesperrt.