Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
907 Publications
2013 | Dissertation | LibreCat-ID: 7571
Gerth C. Business Process Models - Change Management.; 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8485
Spijkerman M. Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden. In: Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear). Vol 215. LNI. GI; 2013:425--434.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8486
Nagel B, Gerth C, Post J, Engels G. Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies. In: Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13). Vol 998. CEUR Workshop Proceedings. CEUR-WS.org; 2013:9--16.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8487
Kehrer T, Gerth C. CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models. In: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13). Vol 33. Softwaretechnik-Trends. FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI); 2013:32-34.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8488
Grieger M, Sauer S. Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung. In: Software Engineering 2013 Workshopband. GI, Köllen Druck+Verlag GmbH, Bonn; 2013:189-200.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8489
Nagel B, Gerth C, Engels G. Goal-driven Composition of Business Process Models. In: Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (Accepted for Application). ; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8490
Fazal-Baqaie M, Luckey M, Engels G. Assembly-based Method Engineering with Method Patterns. In: Software Engineering 2013 Workshopband. GI, Köllen Druck+Verlag GmbH, Bonn; 2013:435-444.
LibreCat
2013 | Conference Paper | LibreCat-ID: 506
Engels G. On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft. In: Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013). LNI. ; 2013:17-18.
LibreCat
| Files available
2013 | Dissertation | LibreCat-ID: 547
Gerth C. Business Process Models - Change Management. Universität Paderborn; 2013. doi:10.1007/978-3-642-38604-6
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 551
Huma Z, Gerth C, Engels G, Juwig O. Automated Service Composition for On-the-Fly SOAs. In: Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13). LNCS. ; 2013:524--532. doi:10.1007/978-3-642-45005-1_42
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 560
Platenius M, von Detten M, Becker S, Schäfer W, Engels G. A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering. ; 2013:143-152. doi:10.1145/2465449.2465454
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 6729
Coumans D, Gehrke M, van Rooijen L. Relational semantics for full linear logic. Journal of Applied Logic. 2013;12(1):50-66. doi:10.1016/j.jal.2013.07.005
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6730
Place T, van Rooijen L, Zeitoun M. Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages. In: Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India. Vol 24. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; 2013:363--375. doi:10.4230/LIPICS.FSTTCS.2013.363
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6732
Place T, van Rooijen L, Zeitoun M. Separating Regular Languages by Piecewise Testable and Unambiguous Languages. In: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:729-740. doi:10.1007/978-3-642-40313-2_64
LibreCat
| DOI
2012 | Conference (Editor) | LibreCat-ID: 7763
Ehrig H, Engels G, Kreowski H-J, Rozenberg G, eds. Graph Transformation - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings. Vol 7562. Springer; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8055
Becker M, Luckey M, Becker S. Model-driven Performance Engineering of Self-Adaptive Systems: A Survey. In: Proceedings of the International Conference on Quality of Software Architecture. QoSA’12. New York, NY, USA: ACM; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8056
Huma Z, Gerth C, Engels G, Juwig O. Towards an Automatic Service Discovery for UML-based Rich Service Descriptions. In: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS’12). Vol 7590. LNCS. Berlin/Heidelberg: Springer-Verlag; 2012:709-725. doi:http://dx.doi.org/10.1007/978-3-642-33666-9_45
LibreCat
| DOI
2012 | Book | LibreCat-ID: 8226
Kremer M, Engels G, Hofmann A, et al. Quasar 3.0 - A Situational Approach to Software Engineering. Capgemini CSD Research, Offenbach 2012; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 572
Huma Z, Gerth C, Engels G, Juwig O. Towards an Automatic Service Discovery for UML-based Rich Service Descriptions. In: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS). LNCS. ; 2012:709--725. doi:10.1007/978-3-642-33666-9_45
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 573
Arifulina S. Towards a Framework for the Integration of Modeling Languages. In: W. Eisenecker U, Bucholdt C, eds. Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)). CEUR Workshop Proceedings. ; 2012:23--26.
LibreCat
| Files available