Fakultät für Informatik

TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

TUM
 
 

Research Interests

  • Model-based development of mechatronic systems (see AF/STEM)
  • Formal specification of (mostly embedded) software systems
  • Software quality and maintenance (see ConQAT)
  • Clone detection in both code and models

© Lehrstuhl IV: Software & Systems Engineering
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2010-02-14 18:55:48