TU BRAUNSCHWEIG

Research

The institute ISF 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


  last changed 01.10.2012
TU_Icon_E_Mail_1_17x17_RGB pagetop