Shop

Eine agile Methode zur simulativen Qualitätssicherung von Aktiven Sicherheitssystemen

Modellbasierte Methode für die automatisierte Testfallerstellung in der Automobilindustrie auf der Grundlage eines durchgängigen Systems Engineering Ansatzes

Model Analyses Based on Semantic Differencing and Automatic Model Repair

Combinatorial Robustness Testing based on Error-Constraints

Systematic Composition of Language Components in MontiCore

Model-Driven Development, Deployment, and Analysis of Internet of Things Applications

MontiCore Language Workbench and Library Handbook

Model-Driven Development Methodology and Domain-Specific Languages for the Design of Artificial Intelligence in Cyber-Physical Systems

Model-Driven Architecture and Behavior of Cyber-Physical Systems

Model-Driven Method for the Development of Full-Size Web-Based Information Systems

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

Towards an Isabelle Theory for distributed, interactive systems