Fakultät für Informatik

TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

TUM
 
 

Kompetenzzentren

Architecture & Services
Beschreibungstechniken Entwicklungsprozesse für große Software Systeme.
Modelbased Development
Formal fundierte und integrierte modellbasierte Entwicklung.
Produktdatenmodellierung
Modellierung von Produktdaten.
Embedded Systems
Design, Beschreibung, Analyse und Simulation von Kontrollsoftware für technische Prozesse.
Development Processes
Entwicklung von Metamodellen, Projektanagement, Process Patterns, Maturity Models, Werkzeuge zur Projektunterstützung
Context Aware Systems
Spezifikation und Entwicklung kontextsensitiver Systeme
Requirements Engineering
Systematische Analyse, Abstimmung und Spezifikation von Anforderungen in den Spezifikationsdokumenten der Systementwicklung.
Software Maintenance
Wartung und Weiterentwicklung vorhandener Software.
Specification & Verification & Testing
Formale Spezifikation, Testen und Verifikation von softwareintensiven Systemen.
Tool Support
Werkzeugentwicklung am Lehrstuhl.
Model-Based Systems & Qualitative Reasoning
Problemlösen auf Basis von Verhaltensmodellen physikalischer oder Software-Systeme.
Kompetenzzentrum Softwarequalität

Softwarequalität
Spezifikation und Analyse der Qualität von Softwaresystemen

© Software & Systems Engineering Research Group
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2012-01-10 16:58:22