Fakultät für Informatik

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

TUM
 
 

Kompetenzzentrum Tool Support - Forschungsthemen

In der Gruppe Tool Support werden derzeit folgende Themenschwerpunkte bearbeitet:


  • 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
 

© Software & Systems Engineering Research Group
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2010-06-14 10:57:19