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.
917 Publications
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
M. Gehrke, B. Güldali, E. Kindler, “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität, University of Paderborn, s-lab, 2007.
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
R. Heckel, A. Cherchago, Logic and Algebraic Programming 70 (2007) 15–33.
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
J.-C. Bals, F. Christ, G. Engels, S. Sauer, Forschungsforum Paderborn 10 (2007) 56–60.
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
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.
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
P. Guo, Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems, 2007.
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
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.
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
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.
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
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.
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
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.
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
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.
2006 | Conference (Editor) | LibreCat-ID: 7780
Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2006 conference
A. Pleuß, J. Van den Bergh, H. Hußmann, S. Sauer, A. Bödcher, eds., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2006 Conference, CEUR-WS.org, 2006.
LibreCat
A. Pleuß, J. Van den Bergh, H. Hußmann, S. Sauer, A. Bödcher, eds., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2006 Conference, CEUR-WS.org, 2006.
2006 | Conference Paper | LibreCat-ID: 7947
Fairness Considerations in Replication and Placement Strategies for large Documents in heterogeneous Content Delivery Networks
C. Loeser, G. Schomaker, M. Schubert, T. Schattkowsky, in: Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius), IEEE Computer Society, Washington, DC, USA, 2006, p. 105.
LibreCat
| DOI
C. Loeser, G. Schomaker, M. Schubert, T. Schattkowsky, in: Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius), IEEE Computer Society, Washington, DC, USA, 2006, p. 105.
2006 | Conference Paper | LibreCat-ID: 7948
Secure Storage for Physically Exposed Web- and Application Servers
T. Schattkowsky, A. Förster, C. Loeser, in: Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius), IEEE Computer Society, Washington, DC, USA, 2006, p. 86.
LibreCat
T. Schattkowsky, A. Förster, C. Loeser, in: Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius), IEEE Computer Society, Washington, DC, USA, 2006, p. 86.
2006 | Conference Paper | LibreCat-ID: 7949
Using UML Activities for System-on-Chip Design and Synthesis
T. Schattkowsky, J. Hendrik Hausmann, G. Engels, in: Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2006, pp. 737–752.
LibreCat
| DOI
T. Schattkowsky, J. Hendrik Hausmann, G. Engels, in: Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2006, pp. 737–752.
2006 | Conference Paper | LibreCat-ID: 7950
Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)
A. Pleuß, J. Van den Bergh, S. Sauer, H. Hußmann, in: Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2006, pp. 182–190.
LibreCat
| DOI
A. Pleuß, J. Van den Bergh, S. Sauer, H. Hußmann, in: Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2006, pp. 182–190.
2006 | Conference Paper | LibreCat-ID: 7951
Generating Instance Models from Meta Models
K. Ehrig, G. Taentzer, J. Küster, J. Winkelmann, in: Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy), Springer, Berlin/Heidelberg, 2006, pp. 156–170.
LibreCat
| DOI
K. Ehrig, G. Taentzer, J. Küster, J. Winkelmann, in: Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy), Springer, Berlin/Heidelberg, 2006, pp. 156–170.
2006 | Conference Paper | LibreCat-ID: 7952
Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows
R. Hauser, M. Friess, J. Küster, J. Vanhatalo, in: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), IEEE Computer Society, Washington, DC, USA, 2006, pp. 129–140.
LibreCat
| DOI
R. Hauser, M. Friess, J. Küster, J. Vanhatalo, in: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), IEEE Computer Society, Washington, DC, USA, 2006, pp. 129–140.
2006 | Conference Paper | LibreCat-ID: 7953
Teaching UML Is Teaching Software Engineering Is Teaching Abstraction
G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, in: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2006, pp. 306–319.
LibreCat
G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, in: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2006, pp. 306–319.
2006 | Conference Paper | LibreCat-ID: 7954
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
G. Engels, M. Lohmann, S. Sauer, R. Heckel, in: Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil), Springer, Berlin/Heidelberg, 2006, pp. 336–350.
LibreCat
| DOI
G. Engels, M. Lohmann, S. Sauer, R. Heckel, in: Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil), Springer, Berlin/Heidelberg, 2006, pp. 336–350.
2006 | Conference Paper | LibreCat-ID: 7955
A Pattern-driven Development Process for Quality Standard-conforming Business Process Models
A. Förster, T. Schattkowsky, G. Engels, R. Van Der Straeten, in: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 2006, pp. 135–142.
LibreCat
A. Förster, T. Schattkowsky, G. Engels, R. Van Der Straeten, in: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 2006, pp. 135–142.