TU BRAUNSCHWEIG

Research

The institute SSE carries out research in the following areas

  • Software Engineering and Programming
    • Model-based Development
    • Generative Programming
    • Trait-based Programming
  • Formal Methods
    • Model Checking and Deductive Program Verification
    • Compositional and Incremental Verification
  • Application Domains
    • Software Product Lines
    • Software Evolution

  last changed 08.01.2013
TU_Icon_E_Mail_1_17x17_RGB pagetop