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

General information

Course name	Exercises: Übung zu Formale Methoden im Software Engineering
Course number	INF-0130
Semester	SS 2023
Current number of participants	0
Home institute	Softwaretechnik
Courses type	Exercises in category Teaching
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Yes
Hauptunterrichtssprache	deutsch

Lecturers

• Prof.Dr. Wolfgang Reif
• Dr. Gerhard Schellhorn
• Dr.rer.nat. Stefan Bodenmüller

Rooms and times

No room preference

Fields of study

• Fakultät für Angewandte Informatik > Informatik

Module assignments

• Mathematik Masterstudiengang Mathematik PO 2013, 16. Version (SS 2023) > 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 valid from SS 2023 > M.Sc. Informatik (PO '17), Teilbereich Informatik - Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 10. Version (SS 2023) > Wahlbereich Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 16. Version (SS 2023) > Modulgruppe E: Wahlbereich [MastWiMa] > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2011, 17. Version (SS 2023) > 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 2017, 13. Version valid from 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 und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 10. Version (SS 2023) > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 13. Version (SS 2023) > 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 2017, 13. Version valid from 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)
• Medizinische Informatik M.Sc. Medizinische Informatik, 4. Version (SS 2023) > 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 valid from 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)
• Medizinische Informatik M.Sc. Medizinische Informatik, 4. Version (SS 2023) > Wahlbereich > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 10. Version (SS 2023) > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsmathematik Masterstudiengang Wirtschaftsmathematik, 16. Version (SS 2023) > 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, 10. Version (SS 2023) > Theoretische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Wirtschaftsinformatik Masterstudiengang Wirtschaftsinformatik (PO 2017), 13. Version (SS 2023) > 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, 10. Version (SS 2023) > Wahlbereich Informatik und Multimedia > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2018, 10. Version (SS 2023) > Praktische Informatik > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Informatik M.Sc. Informatik, PO 2011, 17. Version (SS 2023) > M.Sc. Informatik (PO '11), Teilbereich Informatik - Softwaretechnik und Programmiersprachen. > INF-0130 - Formale Methoden im Software Engineering > Formale Methoden im Software Engineering (Übung)
• Geoinformatik Master Geoinformatik, 4. Version valid from WS 2022/23 > MScGI_Module > INF-0229 (=MScGI_SE) - Software Engineering (für M.Sc. Geoinformatik) > Vorlesung mit Übung aus dem Bereich Software Engineering

Comment/Description

Die Übung ist aufgeteilt in 2 Gruppen: Die erste Gruppe kann von 9:00 bis 12:00 Uhr den Praktikumsraum nutzen, die zweite Gruppe von 13:00 - 16:00 Uhr.

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".

The following rules apply for the admission:

• Admission locked.