Analysis of UML activities using dynamic meta modeling G Engels, C Soltenborn, H Wehrheim Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 …, 2007 | 62 | 2007 |
Showing full semantics preservation in model transformation-a comparison of techniques M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ... Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010 | 46 | 2010 |
From UML activities to TAAL-towards behaviour-preserving model transformations G Engels, A Kleppe, A Rensink, M Semenyak, C Soltenborn, H Wehrheim Model Driven Architecture–Foundations and Applications: 4th European …, 2008 | 34 | 2008 |
Extending DMM behavior specifications for visual execution and debugging N Bandener, C Soltenborn, G Engels Software Language Engineering: Third International Conference, SLE 2010 …, 2011 | 27 | 2011 |
Assuring consistency of business process models and web services using visual contracts G Engels, B Güldali, C Soltenborn, H Wehrheim Applications of Graph Transformations with Industrial Relevance: Third …, 2008 | 21 | 2008 |
Towards test-driven semantics specification C Soltenborn, G Engels Model Driven Engineering Languages and Systems: 12th International …, 2009 | 18 | 2009 |
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, ... Centre for Telematics and Information Technology (CTIT), 2010 | 11 | 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 | 10 | 2011 |
Unternehmensweit verstehen–unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode G Engels, S Sauer, C Soltenborn Informatik-Spektrum 31, 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 | 6 | 2005 |
A meta-review on artificial intelligence in product creation R Bernijazov, A Dicks, R Dumitrescu, M Foullois, JM Hanselle, ... Proceedings of the 30th International Joint Conference on Artificial …, 2021 | 4 | 2021 |
Coverage criteria for testing DMM specifications S Arifulina, C Soltenborn, G Engels Electronic Communications of the EASST 47, 2012 | 4 | 2012 |
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 |
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 | 4 | 2009 |
Quality Assurance with Dynamic Meta Modeling C Soltenborn | 2 | 2013 |
Towards Generalizing Visual Process Patterns C Soltenborn, G Engels Electronic Communications of the EASST 25, 2010 | 2 | 2010 |
Verifying Full Semantic Preservation of Model Transformation is Hard M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ... Unpublished, October, 2009 | 1 | 2009 |
Analysis of uml activities with dynamic meta modeling techniques C Soltenborn, G Engels Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa …, 2007 | 1 | 2007 |
Quality Assurance with Dynamic Meta Modeling: Qualitätssicherung Mit Dynamic Meta Modeling C Soltenborn | | 2013 |