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
Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder
S. Sauer, G. Engels, in: Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China), Springer, Berlin/Heidelberg, 2007, pp. 537–546.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 7963
ClassSheets - model-based, object-oriented design of spreadsheet applications
J.-C. Bals, F. Christ, G. Engels, M. Erwig, in: Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss), Journal of Object Technology, 2007, pp. 383–398.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 7964
KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management
M. Mlynarski, K. Hinkelmann, J. Magenheim, T. Nelkner, W. Reinhardt, K. Holzweissig, 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, Springer, Berlin/Heidelberg, 2007, pp. 487–492.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 7965
Verification of Business Process Quality Constraints Based on Visual Process Patterns
A. Förster, G. Engels, T. Schattkowsky, R. Van Der Straeten, in: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China), IEEE Computer Society, Washington, DC, USA, 2007, pp. 197–208.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 7966
Structuring Software Cities - A Multidimensional Approach
A. Hess, B. Humm, M. Voß, G. Engels, in: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), IEEE Computer Society, Washington, DC, USA, 2007, pp. 122–129.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 7967
Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz
M. Mlynarski, T. Nelkner, W. Reinhardt, in: Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn, 2007, pp. 99–102.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 7968
Improving Inconsistency Resolution with Side-effect Evaluation and Costs
J. Küster, K. Ryndina, H. Gall, in: Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA), Springer, Berlin/Heidelberg, 2007, pp. 136–150.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 7969
Generation of Business Process Models for Object Life Cycle Compliance
K. Ryndina, J. Küster, H. Gall, in: Proceedings of the BPM Demonstration Program (Satellite Event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia), Springer, Berlin/Heidelberg, 2007, pp. 165–181.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 7970
Smart Teams: Simulating Large Robotic Swarms in Vast Environments
S. Arens, A. Buss, H. Deck, M. Dynia, M. Fischer, H. Hagedorn, P. Isaak, J. Kutylowski, F. Meyer auf der Heide, V. Nesterow, A. Ogiermann, B. Stobbe, T. Storm, H. Wachsmuth, in: Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, Heinz Nixdorf Institut, University of Paderborn, Buenos Aires, Argentina, 2007, pp. 215–222.
LibreCat | Download (ext.)
 

2007 | Conference Paper | LibreCat-ID: 7971
Reusable Architectural Decision Models for Enterprise Application Development
O. Zimmermann, T. Gschwind, J. Küster, F. Leymann, N. Schuster, in: Proceedings the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA), Springer, Berlin/Heidelberg, 2007, pp. 15–32.
LibreCat | DOI
 

2007 | Report | LibreCat-ID: 8216
"Modelchecking" - Eine Methode zur Verbesserung der Softwarequalität
M. Gehrke, B. Güldali, E. Kindler, “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität, University of Paderborn, s-lab, 2007.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 7374
Structural and Behavioural Compatibility of Graphical Service Specifications
R. Heckel, A. Cherchago, Logic and Algebraic Programming 70 (2007) 15–33.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 7375
Software-Qualität - überall! - Excel-lente Software
J.-C. Bals, F. Christ, G. Engels, S. Sauer, Forschungsforum Paderborn 10 (2007) 56–60.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 7551
A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services
M. Lohmann, L. Mariani, R. Heckel, in: L. Baresi, E. Di Nitto (Ed.), Test and Analysis of Web Services, Springer, Berlin/Heidelberg, 2007, pp. 173–204.
LibreCat
 

2007 | Dissertation | LibreCat-ID: 7579
Architectural Style-based Modeling and Simulation of Middleware for Mobile Systems
P. Guo, Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems, 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 8413
Analysis of Model Transformations via Alloy
K. Anastasakis, B. Bordbar, J. Küster, in: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA), Springer, Berlin/Heidelberg, 2007, pp. 47–56.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 8414
Towards Model-Driven Unit Testing
G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006), Springer, Berlin/Heidelberg, 2007, pp. 182–192.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 8415
Analysis of UML Activities with Dynamic Meta Modeling Techniques
C. Soltenborn, G. Engels, in: Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2007, pp. 329–330.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 8416
Consistency of Business Process Models and Object Life Cycles
K. Ryndina, J. Küster, H. Gall, in: Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy)), Springer, Berlin/Heidelberg, 2007, pp. 80–90.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 8417
On the Pitfalls of UML Activity Modeling
T. Schattkowsky, A. Förster, in: Proceedings of the ICSE Workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA), IEEE Computer Society, Los Alamitos, CA, USA, 2007, p. 8.
LibreCat | DOI
 

Filters and Search Terms

(department=66)

status=public

Search

Filter Publications

Display / Sort

Export / Embed