TU BRAUNSCHWEIG

Forschung

Das Institut SSE forscht in den Gebieten

  • Softwareentwicklung und Programmierung
    • Model-basierte Entwicklung
    • Generative Programmierung
    • Trait-basierte Programmierung
  • Formale Methoden
    • Model Checking und Deduktive Programmverifikation
    • Kompositionale und inkrementelle Verifikation
  • Anwendungsgebiete
    • Software Produktlinien
    • Software Evolution

  aktualisiert am 08.01.2013
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang