Übung

Formale Methoden des Software Engineering

Name im Diploma SupplementFormal Methods in Software Engineering
Anbieter Lehrstuhl für Spezifikation von Softwaresystemen (http://www.s3.uni-due.de/)
LehrpersonProf. Dr. Michael Goedicke
SWS2Sprachedeutsch
TurnusWintersemestermaximale Hörerschaftunbeschränkt

empfohlenes Vorwissen

siehe Vorlesung

Lehrinhalte

Vertiefende Aufgaben und Beispiele zum Stoff der Vorlesung.

Literaturangaben

Siehe Literaturangaben der Vorlesung.

Hörerschaft

  • LA-Info-GyGe-Ma-2014 > Wahlpflichtbereich Informatik > (1st-3rd Fachsemester, Wahlpflicht) Modul "Formale Methoden des Software Engineering"
  • Mathe-Ma-2013 > Anwendungsfach "Informatik" > Profil "Software Systems Engineering" > (1st-3rd Fachsemester, Wahlpflicht) Modul "Formale Methoden des Software Engineering"
  • SNE-Ma-2016 > Wahlpflichtbereich > (1st-3rd Fachsemester, Wahlpflicht) Modul "Formale Methoden des Software Engineering"
  • TechMathe-Ma-2013 > Anwendungsfach "Informatik" > Profil "Software Systems Engineering" > (1st-3rd Fachsemester, Wahlpflicht) Modul "Formale Methoden des Software Engineering"
  • WiInf-Ma-2010 > Wahlpflichtbereich > Wahlpflichtbereich II: Informatik, BWL, VWL > Wahlpflichtmodule der Informatik > (1st-3rd Fachsemester, Wahlpflicht) Modul "Formale Methoden des Software Engineering"
WIWI‑C0324 - Übung: Formale Methoden des Software Engineering