Reihe Aachener Informatik Berichte Software Engineering

MontiCore Language Workbench and Library Handbook

Model Analyses Based on Semantic Differencing and Automatic Model Repair

Combinatorial Robustness Testing based on Error-Constraints

Towards an Isabelle Theory for distributed, interactive systems

Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems

Improving the Quality of Enterprise Architecture Models

Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte

Agile Modellgetriebene Entwicklung von Software Security & Privacy

Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften

Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specifc language NESTML