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
@inproceedings{Sauer_Engels_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder}, volume={4554}, DOI={http://dx.doi.org/10.1007/978-3-540-73279-2_60}, booktitle={Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)}, publisher={Springer}, author={Sauer, Stefan and Engels, Gregor}, year={2007}, pages={537–546}, collection={LNCS} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7963
@inproceedings{Bals_Christ_Engels_Erwig_2007, title={ClassSheets - model-based, object-oriented design of spreadsheet applications}, volume={6}, DOI={http://www.jot.fm/issues/issue_2007_10/paper19/index.html}, number={9}, booktitle={Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)}, publisher={Journal of Object Technology}, author={Bals, Jan-Christopher and Christ, Fabian and Engels, Gregor and Erwig, Martin}, year={2007}, pages={383–398} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7964
@inproceedings{Mlynarski_Hinkelmann_Magenheim_Nelkner_Reinhardt_Holzweissig_2007, place={Berlin/Heidelberg}, title={KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management}, booktitle={Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007}, publisher={Springer}, author={Mlynarski, Michael and Hinkelmann, Knut and Magenheim, Johannes and Nelkner, Tobias and Reinhardt, Wolfgang and Holzweissig, Kai}, year={2007}, pages={487–492} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 7965
@inproceedings{Förster_Engels_Schattkowsky_Van Der Straeten_2007, place={Washington, DC, USA}, title={Verification of Business Process Quality Constraints Based on Visual Process Patterns}, DOI={http://dx.doi.org/10.1109/TASE.2007.56}, booktitle={Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)}, publisher={IEEE Computer Society}, author={Förster, Alexander and Engels, Gregor and Schattkowsky, Tim and Van Der Straeten, Ragnhild}, year={2007}, pages={197–208} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7966
@inproceedings{Hess_Humm_Voß_Engels_2007, place={Washington, DC, USA}, title={Structuring Software Cities - A Multidimensional Approach}, booktitle={Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)}, publisher={IEEE Computer Society}, author={Hess, Andreas and Humm, Bernhard and Voß, Markus and Engels, Gregor}, year={2007}, pages={122–129} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 7967
@inproceedings{Mlynarski_Nelkner_Reinhardt_2007, title={Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz}, booktitle={Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn}, author={Mlynarski, Michael and Nelkner, Tobias and Reinhardt, Wolfgang}, year={2007}, pages={99–102} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 7968
@inproceedings{Küster_Ryndina_Gall_2007, place={Berlin/Heidelberg}, title={Improving Inconsistency Resolution with Side-effect Evaluation and Costs}, volume={4735}, DOI={https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10}, booktitle={Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)}, publisher={Springer}, author={Küster, Jochen and Ryndina, Ksenia and Gall, Harald}, year={2007}, pages={136–150} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7969
@inproceedings{Ryndina_Küster_Gall_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Generation of Business Process Models for Object Life Cycle Compliance}, volume={4714/2007}, DOI={http://dx.doi.org/10.1007/978-3-540-75183-0}, booktitle={Proceedings of the BPM Demonstration Program (satellite event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)}, publisher={Springer}, author={Ryndina, Ksenia and Küster, Jochen and Gall, Harald}, year={2007}, pages={165–181}, collection={LNCS} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 7970
@inproceedings{Arens_Buss_Deck_Dynia_Fischer_Hagedorn_Isaak_Kutylowski_Meyer auf der Heide_Nesterow_et al._2007, place={Buenos Aires, Argentina}, title={Smart Teams: Simulating Large Robotic Swarms in Vast Environments}, booktitle={Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment}, publisher={Heinz Nixdorf Institut, University of Paderborn}, author={Arens, Stephan and Buss, Alexander and Deck, Helena and Dynia, Miroslaw and Fischer, Matthias and Hagedorn, Holger and Isaak, Peter and Kutylowski, Jaroslaw and Meyer auf der Heide, Friedhelm and Nesterow, Viktor and et al.}, year={2007}, pages={215–222} }
LibreCat
| Download (ext.)
2007 | Conference Paper | LibreCat-ID: 7971
@inproceedings{Zimmermann_Gschwind_Küster_Leymann_Schuster_2007, place={Berlin/Heidelberg}, title={Reusable Architectural Decision Models for Enterprise Application Development}, DOI={http://dx.doi.org/10.1007/978-3-540-77619-2_2}, booktitle={Proceedings the conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)}, publisher={Springer}, author={Zimmermann, Olaf and Gschwind, Thomas and Küster, Jochen and Leymann, Frank and Schuster, Nelly}, year={2007}, pages={15–32} }
LibreCat
| DOI
2007 | Report | LibreCat-ID: 8216
@book{Gehrke_Güldali_Kindler_2007, title={“Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität}, publisher={University of Paderborn, s-lab}, author={Gehrke, Matthias and Güldali, Baris and Kindler, Ekkart}, year={2007} }
LibreCat
2007 | Journal Article | LibreCat-ID: 7374
@article{Heckel_Cherchago_2007, title={Structural and Behavioural Compatibility of Graphical Service Specifications}, volume={70}, number={1}, journal={Logic and Algebraic Programming}, author={Heckel, Reiko and Cherchago, Alexey}, year={2007}, pages={15–33} }
LibreCat
2007 | Journal Article | LibreCat-ID: 7375
@article{Bals_Christ_Engels_Sauer_2007, title={Software-Qualität - überall! - Excel-lente Software}, volume={10}, journal={Forschungsforum Paderborn}, author={Bals, Jan-Christopher and Christ, Fabian and Engels, Gregor and Sauer, Stefan}, year={2007}, pages={56–60} }
LibreCat
2007 | Book Chapter | LibreCat-ID: 7551
@inbook{Lohmann_Mariani_Heckel_2007, place={Berlin/Heidelberg}, title={A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services}, booktitle={Test and Analysis of Web Services}, publisher={Springer}, author={Lohmann, Marc and Mariani, Leonardo and Heckel, Reiko}, editor={Baresi, E. Di Nitto, L.Editor}, year={2007}, pages={173–204} }
LibreCat
2007 | Dissertation | LibreCat-ID: 7579
@book{Guo_2007, title={Architectural Style-based Modeling and Simulation of Middleware for Mobile Systems}, author={Guo, Ping}, year={2007} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 8413
@inproceedings{Anastasakis_Bordbar_Küster_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Analysis of Model Transformations via Alloy}, volume={5002}, booktitle={Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)}, publisher={Springer}, author={Anastasakis, Kyriakos and Bordbar, Behzad and Küster, Jochen}, year={2007}, pages={47–56}, collection={LNCS} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 8414
@inproceedings{Engels_Güldali_Lohmann_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Model-Driven Unit Testing}, volume={4364}, DOI={http://dx.doi.org/10.1007/978-3-540-69489-2_23}, booktitle={Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)}, publisher={Springer}, author={Engels, Gregor and Güldali, Baris and Lohmann, Marc}, year={2007}, pages={182–192}, collection={LNCS} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 8415
@inproceedings{Soltenborn_Engels_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Analysis of UML Activities with Dynamic Meta Modeling Techniques}, volume={4364}, DOI={http://dx.doi.org/10.1007/978-3-540-69489-2_42}, booktitle={Symposium “A Formal Semantics for UML” (satellite event of the MoDELS conference 2006), Genova (Italy)}, publisher={Springer}, author={Soltenborn, Christian and Engels, Gregor}, year={2007}, pages={329–330}, collection={LNCS} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 8416
@inproceedings{Ryndina_Küster_Gall_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Consistency of Business Process Models and Object Life Cycles}, volume={4364/2007}, DOI={http://dx.doi.org/10.1007/978-3-540-69489-2}, booktitle={Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy))}, publisher={Springer}, author={Ryndina, Ksenia and Küster, Jochen and Gall, Harald}, year={2007}, pages={80–90}, collection={LNCS} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 8417
@inproceedings{Schattkowsky_Förster_2007, place={Los Alamitos, CA, USA}, title={On the Pitfalls of UML Activity Modeling}, DOI={http://dx.doi.org/10.1109/MISE.2007.12}, booktitle={Proceedings of the ICSE workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Förster, Alexander}, year={2007}, pages={8} }
LibreCat
| DOI