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

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

|    

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