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
Model-driven Monitoring: Generating Assertions from Visual Contracts
M. Lohmann, G. Engels, S. Sauer, in: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan), IEEE Computer Society, Los Alamitos, CA, USA, 2006, pp. 355–356.
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 7957
Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen
G. Engels, B. Güldali, O. Juwig, M. Lohmann, J.-P. Richter, in: Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany), Gesellschaft für Informatik (GI), Bonn, 2006, pp. 111–122.
LibreCat | DOI
 

2006 | Report | LibreCat-ID: 8215
Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie
M. Lohmann, J.-P. Richter, G. Engels, B. Güldali, O. Juwig, S. Sauer, Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie, University of Paderborn, s-lab, 2006.
LibreCat
 

2006 | Journal Article | LibreCat-ID: 7376
Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts
R. Heckel, M. Lohmann, International Journal on Software Tools for Technology Transfer (STTT) 9 (2006) 193–207.
LibreCat
 

2006 | Journal Article | LibreCat-ID: 7377
Definition and Validation of Model Transformations
J. Küster, Software and Systems Modeling 5 (2006) 233–259.
LibreCat | DOI
 

2006 | Book Chapter | LibreCat-ID: 7549
The Web Application Development Process
G. Engels, M. Lohmann, A. Wagner, in: G. Kappel, B. Pröll, S. Reich, W. Retschitzegger (Ed.), Web Engineering: The Discipline of Systematic Development of Web Applications, Wiley, 2006.
LibreCat
 

2006 | Dissertation | LibreCat-ID: 7580
Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen
M. Lohmann, Kontraktbasierte Modellierung, Implementierung Und Suche von Komponenten in Serviceorientierten Architekturen, 2006.
LibreCat
 

2006 | Dissertation | LibreCat-ID: 7581
Service Specification and Matching Based on Graph Transformation
A. Cherchago, Service Specification and Matching Based on Graph Transformation, 2006.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 8404
Design Space Exploration through Interactive Model Mappings for UML-based Specifications
T. Schattkowsky, A. Rettberg, R. Dömer, 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, pp. 25–28.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 8405
Towards Model-Driven Unit Testing
G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France), Le Commissariat à l’Energie Atomique - CEA, Berlin / Heidelberg, 2006, pp. 16–29.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 8406
Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie
G. Engels, M. Gehrke, S. Sauer, 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), Gesellschaft für Informatik (GI), Bonn, 2006, pp. 281–287.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 8407
Use Case Points in der industriellen Praxis
S. Frohnhoff, V. Jung, G. Engels, 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, pp. 511–526.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 8408
The Role of Visual Modeling and Model Transformations in Business-driven Development
J. Koehler, R. Hauser, J. Küster, K. Ryndina, J. Vanhatalo, M. Wahler, in: Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques, Elsevier, Amsterdam, The Netherlands, 2006, pp. 5–15.
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 8409
Validation of Model Transformations - First Experiences using a White Box Approach
J. Küster, M. Abd-El-Razik, in: Proceedings of the Workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France), Springer, Berlin/Heidelberg, 2006, pp. 62–77.
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 8410
Improving Business Process Models with Reference Models in Business-Driven Development
J. Küster, J. Koehler, K. Ryndina, in: 2nd Workshop on Business Processes Design (BPD’06), Springer, Berlin/Heidelberg, 2006, pp. 35–44.
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 8411
GuiBuilder - A Tool for Model-Driven Development of Multimedia User Interfaces
S. Sauer, M. Dürksen, A. Gebel, D. Hannwacker, in: Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2006), Genova (Italy), CEUR Workshop Proceedings, Aachen, Germany, 2006.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 8412
Capturing Implementation Aspects in UML-based Functional Specifications
T. Schattkowsky, 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), IEEE Computer Society, Tokyo, Japan, 2006, pp. 30–34.
LibreCat
 

2005 | Conference (Editor) | LibreCat-ID: 7781
Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference
S. Sauer, ed., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference, CEUR-WS.org, 2005.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 7934
Towards a Formal Semantics of UML 2.0 Activities
H. Störrle, J. Hendrik Hausmann, in: Software Engineering, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 117–128.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 7935
A holistic approach to test-driven model checking
F. Belli, B. Güldali, in: Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy), Springer, Berlin/Heidelberg, 2005, pp. 321–331.
LibreCat
 

Filters and Search Terms

department=66

Search

Filter Publications

Display / Sort

Export / Embed