Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

lehre:sose08:formale_methoden [2009/05/04 14:04]
brauer 		lehre:sose08:formale_methoden [2011/11/21 17:33]
Zeile 1: Zeile 1:
-====== Formale Methoden für eingebettete Systeme ====== +
-\\ +
-=== Ergebnisse der Klausur vom 15.07.2008 === +
-\\ +
-{| +
-|- +
-|| Matrikel  +
-|| Gesamtpunkte  +
-|| Bestanden +
-|| Schein +
-|| Note +
-|- +
-|| 227640 +
-|| 41,5 +
-|| ja +
-|| ja +
-|| 2,3 +
-|- +
-||234097 +
-|| 35 +
-|| ja +
-|| ja +
-|| 3,0 +
-|- +
-|| 234902 +
-|| 22,5 +
-|| nein +
-|| nein +
-|| 5,0 +
-|- +
-|| 243572  +
-|| 28 +
-|| ja +
-|| ja +
-|| 4,0 +
-|- +
-|| 252518 +
-|| 40 +
-|| ja +
-|| ja +
-|| 2,3 +
-|- +
-||266928 +
-|| 27 +
-|| ja +
-|| ja +
-|| 4,0 +
-|- +
-||267736 +
-|| 30,5 +
-|| ja +
-|| ja +
-|| 3,7 +
-|- +
-|| 267858 +
-|| 38,5 +
-|| ja +
-|| ja +
-|| 2,7 +
-|- +
-||270752 +
-|| 47 +
-|| ja +
-|| ja +
-|| 1,3 +
-|- +
-|| 283911 +
-|| 19,5 +
-|| nein +
-|| nein +
-|| 5,0 +
-|- +
-|| 284012 +
-|| 44 +
-|| ja +
-|| ja +
-|| 1,7 +
-|- +
-||284213 +
-|| 28,5 +
-|| ja +
-|| ja +
-|| 4,0 +
-|- +
-|| 285023 +
-|| 32,5  +
-|| ja +
-|| ja +
-|| 3,3 +
-|- +
-|| 285024 +
-|| 31,5 +
-|| ja +
-|| ja +
-|| 3,7 +
-|- +
-|| 285025 +
-|| 27 +
-|| ja +
-|| ja +
-|| 4,0 +
-|- +
-|| 285237 +
-|| 31 +
-|| ja +
-|| ja +
-|| 3,7 +
-|} +
-\\ +
-=== Inhalt === +
-\\ +
-Anwendung formaler Methoden in der Entwicklung eingebetteter Systeme:​\\ +
-\\ +
-    * Formale Modelle, +
-    * Hybride Systeme, +
-    * Verifikation,​ Model Checking +
-    * Algorithmische Synthese. +
-\\ +
-Die Vorlesung wird auf Englisch gehalten.\\ +
-\\ +
-=== Literatur === +
-\\ +
-  * D. Peled: Software Reliability Methods. Springer, 2001. +
-  * E. Clarke, O. Grumberg, D. Peled: Model Checking. MIT Press, 2001. +
-  * B. Berard, M. Bidoit, A. Finkel: Systems and Software Verification. Springer, 2001 +
-  * W. Ehrenberger:​ Software-Verifikation. Hanser, 2002. +
-\\ +
-=== Termine === +
-\\ +
-  * Vorlesung +
-    * Dienstag 15:45 - 17:15, AH 6 (wöchentlich ab 08.04.2008) +
-    * Donnerstag 13:15 - 14:45, AH 3 (zweiwöchentlich ab 10.04.2008) +
-  * Übung +
-    * Donnerstag 13:15 - 14:45, AH 3 (zweiwöchentlich ab 17.04.2008) +
-\\ +
-Änderungen werden im Campus System und im L2P Lernraum bekannt gegeben.\\ +
-\\ +
-=== Übung === +
-\\ +
-Um den Übungsschein zu erwerben +
-\\ +
-  * dürfen Sie maximal einen Übungstermin entschuldigt versäumen,​ +
-  * müssen Sie mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren +
-  * und müssen die Klausur bestehen +
-\\ +
-=== Kontakt === +
-\\ +
-  * Weitere Informationen im [[https://​www2.elearning.rwth-aachen.de/​ss08/​08ss-04323/​|L2P Lernraum]] +
-  * Gerlind Herberich +
-  * [[:​lehrstuhl:​mitarbeiter:​schlich|Bastian Schlich]] +
-  * [[:​lehrstuhl:​mitarbeiter:​weise|Carsten Weise]] +
-  * [[:​lehrstuhl:​mitarbeiter:​gueckel|Dominique Gückel]]+