TU München - Fakultät für Informatik
Software & Systems Engineering Research Group

  Home  |  Research/Competence  |  Teaching  |  People  |  Publications  |  Misc  |  Contact  | 

|    

Compentence Center Tool Support - Research Areas

Currently the Tool Support group is working on the following research areas:

[an error occurred while processing this directive]

• Tools for Computer Aided Software Engineering (CASE)
• Architecture of software development environments
• Simulation and code generation in model-based development
• Testtools and automatic testcase generation
• Tools for software verification: model-checking and theorem proving
• Tools for software quality analysis
• Tools and methods for distributed development
• Process models and process support
• Domain-specific modeling