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. Model-driven Monitoring: Generating Assertions from Visual Contracts. In: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan). Los Alamitos, CA, USA: IEEE Computer Society; 2006:355-356. doi: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. 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. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2006:111-122. doi: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. Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie. University of Paderborn, s-lab; 2006.
LibreCat
2006 | Journal Article | LibreCat-ID: 7376
Heckel R, Lohmann M. Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts. International Journal on Software Tools for Technology Transfer (STTT). 2006;9(2):193-207.
LibreCat
2006 | Journal Article | LibreCat-ID: 7377
Küster J. Definition and Validation of Model Transformations. Software and Systems Modeling. 2006;5(3):233-259. doi:http://dx.doi.org/10.1007/s10270-006-0018-8
LibreCat
| DOI
2006 | Book Chapter | LibreCat-ID: 7549
Engels G, Lohmann M, Wagner A. The Web Application Development Process. In: Kappel, B. Pröll, S. Reich, W. Retschitzegger G, ed. Web Engineering: The Discipline of Systematic Development of Web Applications. Wiley; 2006.
LibreCat
2006 | Dissertation | LibreCat-ID: 7580
Lohmann M. Kontraktbasierte Modellierung, Implementierung Und Suche von Komponenten in Serviceorientierten Architekturen.; 2006.
LibreCat
2006 | Dissertation | LibreCat-ID: 7581
Cherchago A. Service Specification and Matching Based on Graph Transformation.; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 8404
Schattkowsky T, Rettberg A, Dömer R. 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). ; 2006:25-28.
LibreCat
2006 | Conference Paper | LibreCat-ID: 8405
Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: Proceedings of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France). Berlin / Heidelberg: Le Commissariat à l’Energie Atomique - CEA; 2006:16-29.
LibreCat
2006 | Conference Paper | LibreCat-ID: 8406
Engels G, Gehrke M, Sauer S. 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. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2006:281-287.
LibreCat
2006 | Conference Paper | LibreCat-ID: 8407
Frohnhoff S, Jung V, Engels G. 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). Magdeburger Schriften zum Empirischen Software-Engineering; 2006:511-526.
LibreCat
2006 | Conference Paper | LibreCat-ID: 8408
Koehler J, Hauser R, Küster J, Ryndina K, Vanhatalo J, Wahler M. 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. ENTCS. Amsterdam, The Netherlands: Elsevier; 2006:5-15. doi: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. 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. LNCS. Berlin/Heidelberg: Springer; 2006:62-77. doi: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. Improving Business Process Models with Reference Models in Business-Driven Development. In: 2nd Workshop on Business Processes Design (BPD’06). Vol 4103. LNCS. Berlin/Heidelberg: Springer; 2006:35-44. doi:http://dx.doi.org/10.1007/11837862
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 8411
Sauer S, Dürksen M, Gebel A, Hannwacker D. 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; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 8412
Schattkowsky T. 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). Tokyo, Japan: IEEE Computer Society; 2006:30-34.
LibreCat
2005 | Conference (Editor) | LibreCat-ID: 7781
Sauer S, ed. Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference. Vol 159. CEUR-WS.org; 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7934
Störrle H, Hendrik Hausmann J. Towards a Formal Semantics of UML 2.0 Activities. In: Software Engineering. Vol 64. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:117-128.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7935
Belli F, Güldali B. 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). LNCS. Berlin/Heidelberg: Springer; 2005:321-331.
LibreCat