 | Die TU München besitzt Software Engineering Methodenkompetenz in den folgenden Bereichen:
- Entwurf sicherheitskritischer und eingebetteter Systeme
- Mathematische Grundlagen des Software Engineering - formale und semiformale Methoden
- Requirements Engineering und Geschäftsprozessmodellierung
- Softwareentwicklungsprozesse und Management von Softwareentwicklungsprojekten: V-Modell, Prozessmuster, Werkzeugunterstützung, etc.
- Modellierung komplexer Softwaresysteme mit z.B. UML, UML/RT, SDL
- Werkzeugunterstützung
- Verifikation von Systemeigenschaften, automatisches Beweisen
|
| |
