Werkzeuge

Auf dieser Seite finden Sie Informationen zu unseren aktuellen Projekten. Eine Übersicht über unsere abgeschlossenen Projekte finden Sie unter dem folgenden Link:

Abgeschlossene Projekte

MatchBox

MatchBox ermöglicht das Matching von Servicespezifikationen unter Berücksichtigung von sowohl funktionalen, als auch nicht-funktionalen Eigenschaften...mehr


MechatronicUML

Mechatronische Systeme bestehen aus mechanischen, elektrotechnischen, regelungstechnischen und softwaretechnischen Anteilen, die eng miteinander...mehr


Palladio Komponentenmodell

Das Palladio Komponentenmodell (PCM) ist eine domänenspezifische Modellierungssprache um komponentenbasiete Softwarearchitekturen zu...mehr


Service Specification Environment

SSE ermöglicht die Spezifikation von Services anhand ihrer funktionalen und nicht-funktionalen Eigenschaften. SSE wird im Rahmen des...mehr


SeSAME - Service Specification, Analysis, and Matching Environment

SeSAME erlaubt die Spezifikation von Services sowie das Analysieren und Matching dieser Spezifikationen. SeSAME wird im Rahmen des CRC901...mehr


SimuLizar

SimuLizar ist Teil der SeSAME Tool Suite und ermöglich die Analyse von Skalierbarkeit, Elastizität und Effizienz von selbst-adaptiven Software...mehr


Soot – Static code analysis and transformation for Java

Soot ist eines der meistgenutzten Analyse- und Transformations-Frameworks für Java Bytecode und Sourcecode. Soot umfasst vielfältige...mehr


TamiFlex – Taming Reflection in Java Programs

TamiFlex ist unsere Lösung für das gefürchtete "reflection-problem" in statischer Programmanalyse für Java. Mit Hilfe von sog. Reflections...mehr