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
2007 | Conference Paper | LibreCat-ID: 7962
Sauer S, Engels G. Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder. In: Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China). Vol 4554. LNCS. Berlin/Heidelberg: Springer; 2007:537-546. doi:http://dx.doi.org/10.1007/978-3-540-73279-2_60
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7963
Bals J-C, Christ F, Engels G, Erwig M. ClassSheets - model-based, object-oriented design of spreadsheet applications. In: Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss). Vol 6. Journal of Object Technology; 2007:383-398. doi:http://www.jot.fm/issues/issue_2007_10/paper19/index.html
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7964
Mlynarski M, Hinkelmann K, Magenheim J, Nelkner T, Reinhardt W, Holzweissig K. KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management. In: Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007. Berlin/Heidelberg: Springer; 2007:487-492.
LibreCat
2007 | Conference Paper | LibreCat-ID: 7965
Förster A, Engels G, Schattkowsky T, Van Der Straeten R. Verification of Business Process Quality Constraints Based on Visual Process Patterns. In: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China). Washington, DC, USA: IEEE Computer Society; 2007:197-208. doi:http://dx.doi.org/10.1109/TASE.2007.56
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7966
Hess A, Humm B, Voß M, Engels G. Structuring Software Cities - A Multidimensional Approach. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007). Washington, DC, USA: IEEE Computer Society; 2007:122-129.
LibreCat
2007 | Conference Paper | LibreCat-ID: 7967
Mlynarski M, Nelkner T, Reinhardt W. Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz. In: Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn. ; 2007:99-102.
LibreCat
2007 | Conference Paper | LibreCat-ID: 7968
Küster J, Ryndina K, Gall H. Improving Inconsistency Resolution with Side-effect Evaluation and Costs. In: Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA). Vol 4735. Berlin/Heidelberg: Springer; 2007:136-150. doi:https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7969
Ryndina K, Küster J, Gall H. Generation of Business Process Models for Object Life Cycle Compliance. In: Proceedings of the BPM Demonstration Program (Satellite Event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia). Vol 4714/2007. LNCS. Berlin/Heidelberg: Springer; 2007:165-181. doi:http://dx.doi.org/10.1007/978-3-540-75183-0
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7970
Arens S, Buss A, Deck H, et al. Smart Teams: Simulating Large Robotic Swarms in Vast Environments. In: Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment. Buenos Aires, Argentina: Heinz Nixdorf Institut, University of Paderborn; 2007:215-222.
LibreCat
| Download (ext.)
2007 | Conference Paper | LibreCat-ID: 7971
Zimmermann O, Gschwind T, Küster J, Leymann F, Schuster N. Reusable Architectural Decision Models for Enterprise Application Development. In: Proceedings the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA). Berlin/Heidelberg: Springer; 2007:15-32. doi:http://dx.doi.org/10.1007/978-3-540-77619-2_2
LibreCat
| DOI
2007 | Report | LibreCat-ID: 8216
Gehrke M, Güldali B, Kindler E. “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität. University of Paderborn, s-lab; 2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 7374
Heckel R, Cherchago A. Structural and Behavioural Compatibility of Graphical Service Specifications. Logic and Algebraic Programming. 2007;70(1):15-33.
LibreCat
2007 | Journal Article | LibreCat-ID: 7375
Bals J-C, Christ F, Engels G, Sauer S. Software-Qualität - überall! - Excel-lente Software. Forschungsforum Paderborn. 2007;10:56-60.
LibreCat
2007 | Book Chapter | LibreCat-ID: 7551
Lohmann M, Mariani L, Heckel R. A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. In: Baresi, E. Di Nitto L, ed. Test and Analysis of Web Services. Berlin/Heidelberg: Springer; 2007:173-204.
LibreCat
2007 | Dissertation | LibreCat-ID: 7579
Guo P. Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems.; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 8413
Anastasakis K, Bordbar B, Küster J. Analysis of Model Transformations via Alloy. In: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA). Vol 5002. LNCS. Berlin/Heidelberg: Springer; 2007:47-56.
LibreCat
2007 | Conference Paper | LibreCat-ID: 8414
Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006). Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:182-192. doi:http://dx.doi.org/10.1007/978-3-540-69489-2_23
LibreCat
| DOI
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
2007 | Conference Paper | LibreCat-ID: 8416
Ryndina K, Küster J, Gall H. Consistency of Business Process Models and Object Life Cycles. In: Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy)). Vol 4364/2007. LNCS. Berlin/Heidelberg: Springer; 2007:80-90. doi:http://dx.doi.org/10.1007/978-3-540-69489-2
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 8417
Schattkowsky T, Förster A. On the Pitfalls of UML Activity Modeling. In: Proceedings of the ICSE Workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA). Los Alamitos, CA, USA: IEEE Computer Society; 2007:8. doi:http://dx.doi.org/10.1109/MISE.2007.12
LibreCat
| DOI