Segui
Christian Soltenborn
Christian Soltenborn
Research and Teaching Assistant
Email verificata su uni-paderborn.de
Titolo
Citata da
Citata da
Anno
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
622007
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
462010
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
342008
Extending DMM behavior specifications for visual execution and debugging
N Bandener, C Soltenborn, G Engels
Software Language Engineering: Third International Conference, SLE 2010 …, 2011
272011
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
212008
Towards test-driven semantics specification
C Soltenborn, G Engels
Model Driven Engineering Languages and Systems: 12th International …, 2009
182009
Analysis of uml Workflow diagrams with dynamic Meta Modeling Techniques
C Soltenborn
Master's Thesis, University of Paderborn, Germany, 2006
162006
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
112010
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
102011
Unternehmensweit verstehen–unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode
G Engels, S Sauer, C Soltenborn
Informatik-Spektrum 31, 451-459, 2008
82008
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
62005
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
42021
Coverage criteria for testing DMM specifications
S Arifulina, C Soltenborn, G Engels
Electronic Communications of the EASST 47, 2012
42012
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
42011
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
42009
Quality Assurance with Dynamic Meta Modeling
C Soltenborn
22013
Towards Generalizing Visual Process Patterns
C Soltenborn, G Engels
Electronic Communications of the EASST 25, 2010
22010
Verifying Full Semantic Preservation of Model Transformation is Hard
M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ...
Unpublished, October, 2009
12009
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
12007
Quality Assurance with Dynamic Meta Modeling: Qualitätssicherung Mit Dynamic Meta Modeling
C Soltenborn
2013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20