Bewertung automatisch erkannter Instanzen von Software-Mustern
Elektronische Ressource, Paderborn, 2018Fuzzy matching of comprehensive service specifications
Elektronische Ressource, Paderborn, 2016Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Elektronische Ressource, Paderborn, 2018Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016Specification and verification for real-time coordination protocols of cyber-physical systems
Elektronische Ressource, Paderborn, 2017