Tools

MatchBox

The MatchBox is developed as part of CRC 901 "On-The-Fly Computing". It provides the possibility to match service specifications...more


MechatronicUML

Mechatronic systems combine mechanical parts, electrical parts, control-engineering parts and software parts that interact tightly with each other....more


Palladio Component Model

The Palladio Component Model (PCM) is a domain specific modeling language to describe component-based software architectures. It is designed to...more


Service Specification Environment

The Service Specification Environment (SSE) is developed as part of CRC 901 "On-The-Fly Computing". It provides the possibility to...more


SeSAME - Service Specification, Analysis, and Matching Environment

The SeSAME is developed as part of CRC 901 "On-The-Fly Computing". It provides the possibility to specify services as well as to...more


SimuLizar

SimuLizar is part of the SeSAME tool suite. It is used for analyzing scalability, elasticity, and efficiency of self-adaptive systems. You can...more


Soot – Static code analysis and transformation for Java

Soot is one of the most widely used analysis and transformation frameworks for Java bytecode and source code. Soot features a wide-range of...more


TamiFlex – Taming Reflection in Java Programs

TamiFlex is our solution to the dreaded “reflection problem” in static program analysis for Java. Using reflection, Java programs can invoke methods...more