Analysis of UML activities using dynamic meta modeling G Engels, C Soltenborn, H Wehrheim International Conference on Formal Methods for Open Object-Based Distributed …, 2007 | 58 | 2007 |
Showing full semantics preservation in model transformation-a comparison of techniques M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ... International Conference on Integrated Formal Methods, 183-198, 2010 | 39 | 2010 |
From UML activities to TAAL-towards behaviour-preserving model transformations G Engels, A Kleppe, A Rensink, M Semenyak, C Soltenborn, H Wehrheim European Conference on Model Driven Architecture-Foundations and …, 2008 | 31 | 2008 |
Towards test-driven semantics specification C Soltenborn, G Engels International Conference on Model Driven Engineering Languages and Systems …, 2009 | 21 | 2009 |
Assuring consistency of business process models and web services using visual contracts G Engels, B Güldali, C Soltenborn, H Wehrheim International Symposium on Applications of Graph Transformations with …, 2007 | 19 | 2007 |
Extending DMM behavior specifications for visual execution and debugging N Bandener, C Soltenborn, G Engels International Conference on Software Language Engineering, 357-376, 2010 | 18 | 2010 |
Analysis of uml Workflow diagrams with dynamic Meta Modeling Techniques C Soltenborn Master's Thesis, University of Paderborn, Germany, 2006 | 16 | 2006 |
Full semantics preservation in model transformation–a comparison of proof techniques M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ... University of Twente, The Netherlands, Tech. Rep 70058, 2010 | 9 | 2010 |
QUAASY: Quality assurance of adaptive systems M Luckey, C Gerth, C Soltenborn, G Engels Proceedings of the 8th ACM international conference on Autonomic computing …, 2011 | 8 | 2011 |
Unternehmensweit verstehen–unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode G Engels, S Sauer, C Soltenborn Informatik-Spektrum 31 (5), 451-459, 2008 | 8 | 2008 |
d3 FACT insight: A motion planning algorithm for material flow simulations in virtual environments. KR Mahajan, C Laroque, W Dangelmaier, M Kortenjan, C Soltenborn, ... SimVis, 115-126, 2005 | 7 | 2005 |
Improving reusability of dynamic meta modeling specifications with rule overriding G Engels, D Fisseler, C Soltenborn 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2009 | 5 | 2009 |
Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications C Soltenborn, G Engels Journal of Visual Languages & Computing 22 (3), 233-250, 2011 | 4 | 2011 |
A Formal, Graph-Based Semantics for UML Activities M Hornkamp, G Engels, H Wehrheim, C Soltenborn Master's thesis, Universität Paderborn, 2009 | 3 | 2009 |
Quality Assurance with Dynamic Meta Modeling C Soltenborn | 2 | 2013 |
Coverage Criteria for Testing DMM Specifications S Arifulina, C Soltenborn, G Engels Electronic Communications of the EASST 47, 2012 | 2 | 2012 |
Towards Generalizing Visual Process Patterns C Soltenborn, G Engels Electronic Communications of the EASST 25, 2010 | 1 | 2010 |
Verifying Full Semantic Preservation of Model Transformation is Hard M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ... Available fro m http://www. ti. inf. uni-due. de/people/koenig/download/vmt …, 2010 | 1 | 2010 |
Analysis of uml activities with dynamic meta modeling techniques C Soltenborn, G Engels International Conference on Model Driven Engineering Languages and Systems …, 2006 | 1 | 2006 |
Quality Assurance with Dynamic Meta Modeling: Qualitätssicherung Mit Dynamic Meta Modeling C Soltenborn | | 2013 |