7 Titel in Besondere Sammlungen → Veröffentlichungen der Universität
Klassifikation
Schliessen
Filter
2

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
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Ruhroth, Thomas
2011
Modellgetriebener Einsatz von Softwareentwurfsmustern
Travkin, Dietrich ; Anjorin, Anthony ; Zündorf, Albert ; Wehrheim, Heike ; Meyer, Matthias ; Sauer, Stefan
Elektronische Ressource, Paderborn, 2018
On the membership and correctness problem for state serializability and value opacity
König, Jürgen ; Wehrheim, Heike
Elektronische Ressource, Paderborn, 2023
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