10.12.2012 Aufrufe

40 Jahre Informatik in München - Fakultät für Informatik - TUM

40 Jahre Informatik in München - Fakultät für Informatik - TUM

40 Jahre Informatik in München - Fakultät für Informatik - TUM

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

Forschungsgebiete des Lehrstuhls<br />

Forschung und Lehre des Lehrstuhls <strong>für</strong> Software & Systems Eng<strong>in</strong>eer<strong>in</strong>g<br />

befassen sich mit zentralen Themen der Software- und Systementwicklung.<br />

Diese umfassen Grundlagen, Methoden, Prozesse, Modelle, Beschreibungstechniken<br />

und Werkzeuge.<br />

Forschungsschwerpunkte s<strong>in</strong>d die Entwicklung sicherheitskritischer e<strong>in</strong>gebetteter<br />

Systeme, mobile und kontextadaptive Softwaresysteme und Entwicklungsmethoden<br />

<strong>für</strong> komplexe <strong>in</strong>dustriell e<strong>in</strong>setzbare Softwaresysteme. Unterstützt<br />

wird dies durch zahlreiche forschungsrelevante Werkzeuge. Durch Forschungen<br />

im Bereich der Theorembeweiser werden die Grundlagen der Softwaretechnik<br />

fundiert.<br />

Die Ergebnisse und Arbeiten unseres Lehrstuhls haben sich <strong>in</strong> zahlreichen<br />

<strong>in</strong>dustriellen Kooperationen bewährt. Sie werden <strong>in</strong> Telekommunikation, Avionik,<br />

Automobilbau, Bankwesen und bei betrieblichen Informationssystemen<br />

erfolgreich e<strong>in</strong>gesetzt.<br />

Der Lehrstuhl ist <strong>in</strong> e<strong>in</strong>e umfangreiche Reihe von grundlegenden und anwendungsbezogenen<br />

Forschungsprojekten e<strong>in</strong>gebunden. Daneben leisten wir auch<br />

gezielte Beratung von Unternehmen, entwickeln Prototypen und Demonstratoren.<br />

Software Architecture & Components<br />

Embedded Systems<br />

Mobility & Context Aware Architectures<br />

Software Ma<strong>in</strong>tenance<br />

Model Driven Software Eng<strong>in</strong>eer<strong>in</strong>g<br />

System Development Processes<br />

Requirements Eng<strong>in</strong>eer<strong>in</strong>g<br />

IT Security<br />

Theorem Prov<strong>in</strong>g<br />

Tool Support<br />

305

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!