17 Publications

Mark all

[17]
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn C. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn; 2013. doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
LibreCat | DOI
 
[16]
2012 | Conference Paper | LibreCat-ID: 622
Arifulina S, Engels G, Soltenborn C. Coverage Criteria for Testing DMM Specifications. In: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Electronic Communications of the EASST. ; 2012. doi:10.14279/tuj.eceasst.47.718
LibreCat | Files available | DOI
 
[15]
2011 | Conference Paper | LibreCat-ID: 8054
Bandener N, Soltenborn C, Engels G. Extending DMM Behavior Specifications for Visual Execution and Debugging. In: Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010). Vol 6563. LNCS. Berlin/Heidelberg: Springer; 2011:357-376. doi:http://dx.doi.org/10.1007/978-3-642-19440-5_24
LibreCat | DOI
 
[14]
2011 | Journal Article | LibreCat-ID: 7355
Soltenborn C, Engels G. Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications. Journal of Visual Languages & Computing. 2011;22(3):233-250. doi:10.1016/j.jvlc.2010.12.005
LibreCat | DOI
 
[13]
2011 | Conference Paper | LibreCat-ID: 8053
Luckey M, Gerth C, Soltenborn C, Engels G. QUAASY - QUality Assurance of Adaptive SYstems. In: Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11). ACM; 2011. doi:http://dx.doi.org/10.1145/1998582.1998617
LibreCat | DOI
 
[12]
2010 | Report | LibreCat-ID: 8220
Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente; 2010.
LibreCat
 
[11]
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In: M{\’{e}}ry D, Merz S, eds. Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:183--198. doi:10.1007/978-3-642-16265-7_14
LibreCat | DOI
 
[10]
2010 | Conference Paper | LibreCat-ID: 8437
Engels G, Soltenborn C. Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling. In: Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany). Vol 30. Electronic Communications of the EASST. European Association of Software Science and Technology; 2010:240-257.
LibreCat
 
[9]
2009 | Conference Paper | LibreCat-ID: 8435
Soltenborn C, Engels G. Towards Generalizing Visual Process Pattern. In: Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA). Vol 25. Electronic Communications of the EASST. European Association of Software Science and Technology; 2009.
LibreCat
 
[8]
2009 | Conference Paper | LibreCat-ID: 8020
Engels G, Fisseler D, Soltenborn C. Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding. In: Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA). Piscataway, NJ (USA): IEEE Computer Society; 2009:39-46. doi:http://dx.doi.org/10.1109/VLHCC.2009.5295302
LibreCat | DOI
 
[7]
2009 | Conference Paper | LibreCat-ID: 8019
Soltenborn C, Engels G. Towards Test-Driven Semantics Specification. In: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA). Vol 5795. LNCS. Berlin/Heidelberg: Springer; 2009:378-392. doi:http://dx.doi.org/10.1007/978-3-642-04425-0_30
LibreCat | DOI
 
[6]
2008 | Conference Paper | LibreCat-ID: 3207
Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109. doi:10.1007/978-3-540-69100-6_7
LibreCat | DOI
 
[5]
2008 | Journal Article | LibreCat-ID: 7371
Engels G, Sauer S, Soltenborn C. Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode. Informatik-Spektrum. 2008;31(5):451-459.
LibreCat
 
[4]
2007 | Conference Paper | LibreCat-ID: 8415
Soltenborn C, Engels G. Analysis of UML Activities with Dynamic Meta Modeling Techniques. In: Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy). Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:329-330. doi:http://dx.doi.org/10.1007/978-3-540-69489-2_42
LibreCat | DOI
 
[3]
2007 | Conference Paper | LibreCat-ID: 3214
Engels G, Güldali B, Soltenborn C, Wehrheim H. Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In: Sch{\"{u}}rr A, Nagl M, Z{\"{u}}ndorf A, eds. Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science. ; 2007:17--31. doi:10.1007/978-3-540-89020-1_2
LibreCat | DOI
 
[2]
2007 | Conference Paper | LibreCat-ID: 3215
Engels G, Soltenborn C, Wehrheim H. Analysis of {UML} Activities Using Dynamic Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:76--90. doi:10.1007/978-3-540-72952-5_5
LibreCat | DOI
 
[1]
2005 | Conference Paper | LibreCat-ID: 7940
Mahajan K, Laroque C, Dangelmaier W, Soltenborn C, Kortenjan M, Kuntze D. d3FACT insight: A motion planning algorithm for material flow simulations in virtual environments. In: Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany). Vol 1. Erlangen: SCS European Publishing House; 2005:115-126.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed

17 Publications

Mark all

[17]
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn C. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn; 2013. doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
LibreCat | DOI
 
[16]
2012 | Conference Paper | LibreCat-ID: 622
Arifulina S, Engels G, Soltenborn C. Coverage Criteria for Testing DMM Specifications. In: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Electronic Communications of the EASST. ; 2012. doi:10.14279/tuj.eceasst.47.718
LibreCat | Files available | DOI
 
[15]
2011 | Conference Paper | LibreCat-ID: 8054
Bandener N, Soltenborn C, Engels G. Extending DMM Behavior Specifications for Visual Execution and Debugging. In: Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010). Vol 6563. LNCS. Berlin/Heidelberg: Springer; 2011:357-376. doi:http://dx.doi.org/10.1007/978-3-642-19440-5_24
LibreCat | DOI
 
[14]
2011 | Journal Article | LibreCat-ID: 7355
Soltenborn C, Engels G. Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications. Journal of Visual Languages & Computing. 2011;22(3):233-250. doi:10.1016/j.jvlc.2010.12.005
LibreCat | DOI
 
[13]
2011 | Conference Paper | LibreCat-ID: 8053
Luckey M, Gerth C, Soltenborn C, Engels G. QUAASY - QUality Assurance of Adaptive SYstems. In: Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11). ACM; 2011. doi:http://dx.doi.org/10.1145/1998582.1998617
LibreCat | DOI
 
[12]
2010 | Report | LibreCat-ID: 8220
Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente; 2010.
LibreCat
 
[11]
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In: M{\’{e}}ry D, Merz S, eds. Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:183--198. doi:10.1007/978-3-642-16265-7_14
LibreCat | DOI
 
[10]
2010 | Conference Paper | LibreCat-ID: 8437
Engels G, Soltenborn C. Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling. In: Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany). Vol 30. Electronic Communications of the EASST. European Association of Software Science and Technology; 2010:240-257.
LibreCat
 
[9]
2009 | Conference Paper | LibreCat-ID: 8435
Soltenborn C, Engels G. Towards Generalizing Visual Process Pattern. In: Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA). Vol 25. Electronic Communications of the EASST. European Association of Software Science and Technology; 2009.
LibreCat
 
[8]
2009 | Conference Paper | LibreCat-ID: 8020
Engels G, Fisseler D, Soltenborn C. Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding. In: Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA). Piscataway, NJ (USA): IEEE Computer Society; 2009:39-46. doi:http://dx.doi.org/10.1109/VLHCC.2009.5295302
LibreCat | DOI
 
[7]
2009 | Conference Paper | LibreCat-ID: 8019
Soltenborn C, Engels G. Towards Test-Driven Semantics Specification. In: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA). Vol 5795. LNCS. Berlin/Heidelberg: Springer; 2009:378-392. doi:http://dx.doi.org/10.1007/978-3-642-04425-0_30
LibreCat | DOI
 
[6]
2008 | Conference Paper | LibreCat-ID: 3207
Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109. doi:10.1007/978-3-540-69100-6_7
LibreCat | DOI
 
[5]
2008 | Journal Article | LibreCat-ID: 7371
Engels G, Sauer S, Soltenborn C. Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode. Informatik-Spektrum. 2008;31(5):451-459.
LibreCat
 
[4]
2007 | Conference Paper | LibreCat-ID: 8415
Soltenborn C, Engels G. Analysis of UML Activities with Dynamic Meta Modeling Techniques. In: Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy). Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:329-330. doi:http://dx.doi.org/10.1007/978-3-540-69489-2_42
LibreCat | DOI
 
[3]
2007 | Conference Paper | LibreCat-ID: 3214
Engels G, Güldali B, Soltenborn C, Wehrheim H. Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In: Sch{\"{u}}rr A, Nagl M, Z{\"{u}}ndorf A, eds. Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science. ; 2007:17--31. doi:10.1007/978-3-540-89020-1_2
LibreCat | DOI
 
[2]
2007 | Conference Paper | LibreCat-ID: 3215
Engels G, Soltenborn C, Wehrheim H. Analysis of {UML} Activities Using Dynamic Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:76--90. doi:10.1007/978-3-540-72952-5_5
LibreCat | DOI
 
[1]
2005 | Conference Paper | LibreCat-ID: 7940
Mahajan K, Laroque C, Dangelmaier W, Soltenborn C, Kortenjan M, Kuntze D. d3FACT insight: A motion planning algorithm for material flow simulations in virtual environments. In: Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany). Vol 1. Erlangen: SCS European Publishing House; 2005:115-126.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed