TU BRAUNSCHWEIG

Forschung

Das Institut ISF 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


  aktualisiert am 01.10.2012
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang