Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
lehrstuhl:mitarbeiter:foerster [2018/07/15 20:43] foerster [Forschung] |
lehrstuhl:mitarbeiter:foerster [2018/12/18 13:51] (aktuell) foerster |
||
---|---|---|---|
Zeile 36: | Zeile 36: | ||
#;; | #;; | ||
#;; | #;; | ||
- | Das Projekt hat zum Ziel, Anforderungen bereits in der Entwurfsphase auf Korrektheit und Widerspruchsfreiheit zu untersuchen, ohne auf eine Implementierung angewiesen zu sein. | + | Es hat zum Ziel, Anforderungen bereits in der Entwurfsphase auf Korrektheit und Widerspruchsfreiheit zu untersuchen, ohne auf eine Implementierung angewiesen zu sein. |
#;; | #;; | ||
\\ | \\ | ||
Zeile 66: | Zeile 66: | ||
* Auf Anfrage; eigene Themenvorschläge sind ebenfalls möglich. | * Auf Anfrage; eigene Themenvorschläge sind ebenfalls möglich. | ||
- | \\ | ||
- | ===== Betreute Abschlussarbeiten ===== | ||
- | |||
- | * {{:lehre:abschlussarbeiten:poster_mf_iso-26262_a4.pdf|A conceptual framework and tool for ISO 26262 compliance}} | ||
\\ | \\ | ||
===== Lehre ===== | ===== Lehre ===== |