Exercise

Formale Methoden des Software Engineering

Name in diploma supplementFormal Methods in Software Engineering
Organisational Unit Lehrstuhl für Spezifikation von Softwaresystemen (http://www.s3.uni-due.de/)
LecturersProf. Dr. Michael Goedicke
SPW2LanguageGerman
Cyclewinter semesterParticipants at mostno limit

Preliminary knowledge

siehe Vorlesung

Contents

Vertiefende Aufgaben und Beispiele zum Stoff der Vorlesung.

Literature

Siehe Literaturangaben der Vorlesung.

Participants

  • AI-SE Master 2010>Bereich 1 (Profilbereich) >Software Systems Engineering >Modul "Formale Methoden des Software Engineering"1st-3rd Semester, Elective
  • LA Info GyGe Master 2014>Wahlpflichtbereich Informatik >Modul "Formale Methoden des Software Engineering"1st-3rd Semester, Elective
  • Mathe Master 2013>Anwendungsfach "Informatik" >Profil "Software Systems Engineering" >Modul "Formale Methoden des Software Engineering"1st-3rd Semester, Elective
  • SNE Master 2016>Wahlpflichtbereich >Modul "Formale Methoden des Software Engineering"1st-3rd Semester, Elective
  • TechMathe Master 2013>Anwendungsfach "Informatik" >Profil "Software Systems Engineering" >Modul "Formale Methoden des Software Engineering"1st-3rd Semester, Elective
  • WiInf Master 2010>Wahlpflichtbereich >Wahlpflichtbereich II: Informatik, BWL, VWL >Wahlpflichtmodule der Informatik >Modul "Formale Methoden des Software Engineering"1st-3rd Semester, Elective
WIWI‑C0324 - Exercise: Formale Methoden des Software Engineering