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
2006 | Conference Paper | LibreCat-ID: 7956
Lohmann, M., Engels, G., & Sauer, S. (2006). Model-driven Monitoring: Generating Assertions from Visual Contracts. In Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan) (pp. 355–356). Los Alamitos, CA, USA: IEEE Computer Society. http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 7957
Engels, G., Güldali, B., Juwig, O., Lohmann, M., & Richter, J.-P. (2006). Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. In Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany) (Vol. 79, pp. 111–122). Bonn: Gesellschaft für Informatik (GI). http://dx.doi.org/10.1007/11841883
LibreCat
| DOI
2006 | Report | LibreCat-ID: 8215
Lohmann, M., Richter, J.-P., Engels, G., Güldali, B., Juwig, O., & Sauer, S. (2006). Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie. University of Paderborn, s-lab.
LibreCat
2006 | Journal Article | LibreCat-ID: 7376
Heckel, R., & Lohmann, M. (2006). Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts. International Journal on Software Tools for Technology Transfer (STTT), 9(2), 193–207.
LibreCat
2006 | Journal Article | LibreCat-ID: 7377
Küster, J. (2006). Definition and Validation of Model Transformations. Software and Systems Modeling, 5(3), 233–259. http://dx.doi.org/10.1007/s10270-006-0018-8
LibreCat
| DOI
2006 | Book Chapter | LibreCat-ID: 7549
Engels, G., Lohmann, M., & Wagner, A. (2006). The Web Application Development Process. In G. Kappel, B. Pröll, S. Reich, W. Retschitzegger (Ed.), Web Engineering: The Discipline of Systematic Development of Web Applications. Wiley.
LibreCat
2006 | Dissertation | LibreCat-ID: 7580
Lohmann, M. (2006). Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen.
LibreCat
2006 | Dissertation | LibreCat-ID: 7581
Cherchago, A. (2006). Service Specification and Matching Based on Graph Transformation.
LibreCat
2006 | Conference Paper | LibreCat-ID: 8404
Schattkowsky, T., Rettberg, A., & Dömer, R. (2006). Design Space Exploration through Interactive Model Mappings for UML-based Specifications. In Proceedings of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA) (pp. 25–28).
LibreCat
2006 | Conference Paper | LibreCat-ID: 8405
Engels, G., Güldali, B., & Lohmann, M. (2006). Towards Model-Driven Unit Testing. In Proceedings of the workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France) (pp. 16–29). Berlin / Heidelberg: Le Commissariat à l’Energie Atomique - CEA.
LibreCat
2006 | Conference Paper | LibreCat-ID: 8406
Engels, G., Gehrke, M., & Sauer, S. (2006). Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie. In Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF, satellite event of the Informatik 2006 - Informatik für Menschen) (Vol. 93, pp. 281–287). Bonn: Gesellschaft für Informatik (GI).
LibreCat
2006 | Conference Paper | LibreCat-ID: 8407
Frohnhoff, S., Jung, V., & Engels, G. (2006). Use Case Points in der industriellen Praxis. In Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany) (pp. 511–526). Magdeburger Schriften zum Empirischen Software-Engineering.
LibreCat
2006 | Conference Paper | LibreCat-ID: 8408
Koehler, J., Hauser, R., Küster, J., Ryndina, K., Vanhatalo, J., & Wahler, M. (2006). The Role of Visual Modeling and Model Transformations in Business-driven Development. In Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques (Vol. 211, pp. 5–15). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/j.entcs.2008.04.025
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 8409
Küster, J., & Abd-El-Razik, M. (2006). Validation of Model Transformations - First Experiences using a White Box Approach. In Proceedings of the workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France) (Vol. 4364/2007, pp. 62–77). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-540-69489-2_24
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 8410
Küster, J., Koehler, J., & Ryndina, K. (2006). Improving Business Process Models with Reference Models in Business-Driven Development. In 2nd Workshop on Business Processes Design (BPD’06) (Vol. 4103, pp. 35–44). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/11837862
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 8411
Sauer, S., Dürksen, M., Gebel, A., & Hannwacker, D. (2006). GuiBuilder - A Tool for Model-Driven Development of Multimedia User Interfaces. In Proceedings of the workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2006), Genova (Italy) (Vol. 214). Aachen, Germany: CEUR Workshop Proceedings.
LibreCat
2006 | Conference Paper | LibreCat-ID: 8412
Schattkowsky, T. (2006). Capturing Implementation Aspects in UML-based Functional Specifications. In Proceedings of the 2nd workshop on Aspect-Oriented Software Development (satellite event of the International Conference on Automated Software Engineering, ASE 2006), Tokyo (Japan) (pp. 30–34). Tokyo, Japan: IEEE Computer Society.
LibreCat
2005 | Conference (Editor) | LibreCat-ID: 7781
Sauer, S. (Ed.). (2005). Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference (Vol. 159). CEUR-WS.org.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7934
Störrle, H., & Hendrik Hausmann, J. (2005). Towards a Formal Semantics of UML 2.0 Activities. In Software Engineering (Vol. 64, pp. 117–128). Bonn: Gesellschaft für Informatik (GI).
LibreCat
2005 | Conference Paper | LibreCat-ID: 7935
Belli, F., & Güldali, B. (2005). A holistic approach to test-driven model checking. In Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy) (pp. 321–331). Berlin/Heidelberg: Springer.
LibreCat