5 Titel in Alle Kollektionen
Klassifikation
Schliessen
Filter
3

Fuzzy matching of comprehensive service specifications
Platenius, Marie Christin ; Schäfer, Wilhelm ; Engels, Gregor ; Becker, Steffen ; Wehrheim, Heike ; Inverardi, Paola ; Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2016
Modellgetriebener Einsatz von Softwareentwurfsmustern
Travkin, Dietrich ; Anjorin, Anthony ; Zündorf, Albert ; Wehrheim, Heike ; Meyer, Matthias ; Sauer, Stefan
Elektronische Ressource, Paderborn, 2018
Systematic development and re-use of model transformations
Besova, Galina ; Engels, Gregor ; Suhl, Leena
2015
Timing Verifikation von AUTOSAR Softwarearchitekturen
Beringer, Steffen ; Wehrheim, Heike ; Engels, Gregor
Elektronische Ressource, Paderborn, 2022
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015

Publizieren