Software and Systems Engineering

# Software and Systems Engineering - Tool Support

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

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.