Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehre:sose08:formale_methoden [2009/05/04 12:13] brauer angelegt |
lehre:sose08:formale_methoden [2009/05/04 12:31] brauer |
||
---|---|---|---|
Zeile 2: | Zeile 2: | ||
=== Ergebnisse der Klausur vom 15.07.2008 === | === Ergebnisse der Klausur vom 15.07.2008 === | ||
- | \\ | ||
{| | {| | ||
|- | |- | ||
Zeile 76: | Zeile 75: | ||
|| ja | || ja | ||
|| 1,7 | || 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 | ||
|} | |} | ||
- | 284213 | + | === Inhalt === |
- | + | ||
- | 28,5 | + | Anwendung formaler Methoden in der Entwicklung eingebetteter Systeme:\\ |
- | + | \\ | |
- | + | * Formale Modelle, | |
- | ja | + | * Hybride Systeme, |
- | + | * Verifikation, Model Checking | |
- | + | * Algorithmische Synthese. | |
- | ja | + | \\ |
- | + | Die Vorlesung wird auf Englisch gehalten.\\ | |
- | + | \\ | |
- | 4,0 | + | === Literatur === |
- | + | \\ | |
- | 285023 | + | * 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 | |
- | 32,5 | + | * W. Ehrenberger: Software-Verifikation. Hanser, 2002. |
- | + | \\ | |
- | + | === Termine === | |
- | ja | + | \\ |
- | + | * Vorlesung | |
- | + | * Dienstag 15:45 - 17:15, AH 6 (wöchentlich ab 08.04.2008) | |
- | ja | + | * 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) | |
- | 3,3 | + | \\ |
- | + | Änderungen werden im Campus System und im L2P Lernraum bekannt gegeben.\\ | |
- | 285024 | + | \\ |
- | + | === Übung === | |
- | + | ||
- | 31,5 | + | |
- | + | ||
- | ja | + | Um den Übungsschein zu erwerben |
- | + | \\ | |
- | + | * dürfen Sie maximal einen Übungstermin entschuldigt versäumen, | |
- | ja | + | * müssen Sie mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren |
- | + | * und müssen die Klausur bestehen | |
- | + | \\ | |
- | 3,7 | + | === Kontakt === |
- | + | \\ | |
- | 285025 | + | * Weitere Informationen im [[https://www2.elearning.rwth-aachen.de/ss08/08ss-04323/|L2P Lernraum]] |
- | + | * Gerlind Herberich | |
- | + | * [[:lehrstuhl:mitarbeiter:schlich|Bastian Schlich]] | |
- | 27 | + | * [[:lehrstuhl:mitarbeiter:weise|Carsten Weise]] |
- | + | * [[:lehrstuhl:mitarbeiter:gueckel|Dominique Gückel]] | |
- | + | ||
- | ja | + | |
- | + | ||
- | + | ||
- | ja | + | |
- | + | ||
- | + | ||
- | 4,0 | + | |
- | + | ||
- | 285237 | + | |
- | + | ||
- | + | ||
- | 31 | + | |
- | + | ||
- | + | ||
- | ja | + | |
- | + | ||
- | + | ||
- | ja | + | |
- | + | ||
- | + | ||
- | 3,7 | + |