Formale Methoden

Prof. Dr. J. Cleve

Im folgenden sind Informationen für die Veranstaltung Formale Methoden aufgeführt. Diese Veranstaltung wird angeboten als Pflichtveranstaltung im Master-Studiengang WI.

Projekte 2010/11

In diesem Semester befassen wir uns mit einigen Themen aus dem Bereich Zuverlässigkeit von Software.

[Ablaufplan]   [Teamübersicht]   [Bewertung]

Ablaufplan

Projekt-Aufgaben

• Recherche, Quellen
• Erstellen eines Kapitels zu dem Thema in LaTeX
• Folien-Präsentation (möglichst LaTeX)
• LaTeX-Vorlage findet man hier
• Web-Seite mit zusammenfassender Darstellung und Verweis auf alle Dateien, Dokumente, Daten.
• Führen Sie ein Projekttagebuch (im WIKI).

Projekt-Teams

s. StudIP

Bewertung

• 10% Arbeitsplan
• 70% schriftliche Ausarbeitung
• 20% Präsentation

Falls Sie Fragen haben: juergen.cleve@hs-wismar.de