Veranstaltungen

Ü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 Master 2014>Wahlpflichtbereich Informatik >Modul "Formale Methoden des Software Engineering"1.-3. Fachsemester, Pflicht
  • Mathe Master 2013>Anwendungsfach "Informatik" >Profil "Software Systems Engineering" >Modul "Formale Methoden des Software Engineering"1.-3. Fachsemester, Pflicht
  • SNE Master 2016>Wahlpflichtbereich >Modul "Formale Methoden des Software Engineering"1.-3. Fachsemester, Pflicht
  • TechMathe Master 2013>Anwendungsfach "Informatik" >Profil "Software Systems Engineering" >Modul "Formale Methoden des Software Engineering"1.-3. Fachsemester, Pflicht
  • WiInf Master 2010>Wahlpflichtbereich >Wahlpflichtbereich II: Informatik, BWL, VWL >Wahlpflichtmodule der Informatik >Modul "Formale Methoden des Software Engineering"1.-3. Fachsemester, Pflicht
WIWI‑C0324 - Übung: Formale Methoden des Software Engineering