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

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Abschlussarbeiten  |  Sonstiges  |  Kontakt  | 

|    

Kompetenzzentrum Tool Support - Forschungsthemen

[an error occurred while processing this directive]

• Werkzeuge für Computer Aided Software Engineering (CASE)
• Architektur von Softwareentwicklungsumgebungen
• Simulation und Codegenerierung in der modellbasierten Entwicklung
• Testwerkzeuge und automatische Testfallgenerierung
• Werkzeuge zur Verifikation mittels Model-Checking und Theorem Proving
• Werkzeuge zur Analyse von Softwarequalität
• Werkzeuge und Methoden der verteilten Entwicklung
• Prozessmodellierung und -unterstützung
• Domänenspezifische Modellierung