Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehre:wise0708:anwendung_formaler_methoden [2009/05/04 13:20] brauer angelegt |
lehre:wise0708:anwendung_formaler_methoden [2011/11/21 17:27] (aktuell) |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Anwendung formaler Methoden in der Entwicklung von eingebetteten Systemen ====== | ====== Anwendung formaler Methoden in der Entwicklung von eingebetteten Systemen ====== | ||
| + | \\ | ||
| === Inhalt === | === Inhalt === | ||
| + | \\ | ||
| In diesem Seminar werden Systeme behandelt, deren Verhalten nicht nur durch die Veränderung diskreter Zustände, sondern auch kontinuierlicher Parameter bestimmt ist. Hierzu gehören Parameter wie die linear fortschreitende Zeit ("timed systems") oder Größen wie Temperatur, die z.B. durch Differentialgleichungen beschrieben werden ("hybrid systems").\\ | In diesem Seminar werden Systeme behandelt, deren Verhalten nicht nur durch die Veränderung diskreter Zustände, sondern auch kontinuierlicher Parameter bestimmt ist. Hierzu gehören Parameter wie die linear fortschreitende Zeit ("timed systems") oder Größen wie Temperatur, die z.B. durch Differentialgleichungen beschrieben werden ("hybrid systems").\\ | ||
| \\ | \\ | ||
| Zeile 26: | Zeile 26: | ||
| \\ | \\ | ||
| === Ablauf === | === Ablauf === | ||
| + | \\ | ||
| Dieses Seminar wird als Blockseminar durchgeführt. Das erste Treffen wird am Ende der vorlesungsfreien Zeit oder zum Beginn des Wintersemesters durchgeführt. Das Blockseminar wird dann im Februar 2008 an zwei aufeinander folgenden Tagen abgehalten. Zwischendurch wird es einige Deadlines zur Abgabe der schriftlichen Ausarbeitung und der Folien geben, die eingehalten werden müssen.\\ | Dieses Seminar wird als Blockseminar durchgeführt. Das erste Treffen wird am Ende der vorlesungsfreien Zeit oder zum Beginn des Wintersemesters durchgeführt. Das Blockseminar wird dann im Februar 2008 an zwei aufeinander folgenden Tagen abgehalten. Zwischendurch wird es einige Deadlines zur Abgabe der schriftlichen Ausarbeitung und der Folien geben, die eingehalten werden müssen.\\ | ||
| \\ | \\ | ||