Veranstaltungen

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

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