# Software and Systems Engineering - Tool Support
Fakultät für Informatik

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

TUM
 
 

Kompetenzzentrum Tool Support - Werkzeuge

AutoFOCUS 3:
AutoFOCUS ist ein CASE-Tool zur Entwicklung eingebetteter Systeme mit Simulation, modellbasierten Analysen und Testfallgenerierung.

ConQAT:
ConQAT ist ein Werkzeugkasten für the kontinuierlich Analyse von Software Qualität und Software Artefakten. Es bietet Analyse- und Visualisierungsmechanismen für verschiedenste Qualitätsmetriken, Clone Detection, Architektur Konformanzanalyse und Trendverfolgung des Qualitätsstatus.

Isabelle:
Isabelle ist ein weit verbreitetes, generisches, und interaktives Beweissystem. Isabelle wird von der Theorem Beweiser Gruppe in Zusammenarbeit mit der Cambridge University entwickelt.

V-Modell XT:
Die Technische Universität München ist Mitautor des V-Modell XT. Sie ist weiterhin an der Weiterentwicklung und der Anpassung des V-Modell® XT für öffentliche und private Organisationen beteiligt. Im Zuge dieser Tätigkeiten und Projekte sind zahlreiche Werkzeuge und Publikationen entstanden.

 

© Software & Systems Engineering Research Group
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2010-06-14 10:59:49