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, Marc, et al. “Model-Driven Monitoring: Generating Assertions from Visual Contracts.” Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan), IEEE Computer Society, 2006, pp. 355–56, doi:http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52.
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 7957
Engels, Gregor, et al. “Industrielle Fallstudie: Einsatz Visueller Kontrakte in Serviceorientierten Architekturen.” Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany), vol. 79, Gesellschaft für Informatik (GI), 2006, pp. 111–22, doi:http://dx.doi.org/10.1007/11841883.
LibreCat | DOI
 

2006 | Report | LibreCat-ID: 8215
Lohmann, Marc, et al. Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie. University of Paderborn, s-lab, 2006.
LibreCat
 

2006 | Journal Article | LibreCat-ID: 7376
Heckel, Reiko, and Marc Lohmann. “Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts.” International Journal on Software Tools for Technology Transfer (STTT), vol. 9, no. 2, 2006, pp. 193–207.
LibreCat
 

2006 | Journal Article | LibreCat-ID: 7377
Küster, Jochen. “Definition and Validation of Model Transformations.” Software and Systems Modeling, vol. 5, no. 3, 2006, pp. 233–59, doi:http://dx.doi.org/10.1007/s10270-006-0018-8.
LibreCat | DOI
 

2006 | Book Chapter | LibreCat-ID: 7549
Engels, Gregor, et al. “The Web Application Development Process.” Web Engineering: The Discipline of Systematic Development of Web Applications, edited by G. Kappel, B. Pröll, S. Reich, W. Retschitzegger, Wiley, 2006.
LibreCat
 

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

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

2006 | Conference Paper | LibreCat-ID: 8404
Schattkowsky, Tim, et al. “Design Space Exploration through Interactive Model Mappings for UML-Based Specifications.” 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
Engels, Gregor, et al. “Towards Model-Driven Unit Testing.” Proceedings of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France), Le Commissariat à l’Energie Atomique - CEA, 2006, pp. 16–29.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 8406
Engels, Gregor, et al. “Multi-Private Public Partnership (MPPP) - Softwaretechnik Auf Dem Weg in Die Industrie.” 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, Gesellschaft für Informatik (GI), 2006, pp. 281–87.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 8407
Frohnhoff, Stephan, et al. “Use Case Points in Der Industriellen Praxis.” 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–26.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 8408
Koehler, Jana, et al. “The Role of Visual Modeling and Model Transformations in Business-Driven Development.” Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 211, Elsevier, 2006, pp. 5–15, doi:http://dx.doi.org/10.1016/j.entcs.2008.04.025.
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 8409
Küster, Jochen, and Mohamed Abd-El-Razik. “Validation of Model Transformations - First Experiences Using a White Box Approach.” Proceedings of the Workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France), vol. 4364/2007, Springer, 2006, pp. 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, Jochen, et al. “Improving Business Process Models with Reference Models in Business-Driven Development.” 2nd Workshop on Business Processes Design (BPD’06), vol. 4103, Springer, 2006, pp. 35–44, doi:http://dx.doi.org/10.1007/11837862.
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 8411
Sauer, Stefan, et al. “GuiBuilder - A Tool for Model-Driven Development of Multimedia User Interfaces.” Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2006), Genova (Italy), vol. 214, CEUR Workshop Proceedings, 2006.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 8412
Schattkowsky, Tim. “Capturing Implementation Aspects in UML-Based Functional Specifications.” 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, 2006, pp. 30–34.
LibreCat
 

2005 | Conference (Editor) | LibreCat-ID: 7781
Sauer, Stefan, editor. 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, Harald, and Jan Hendrik Hausmann. “Towards a Formal Semantics of UML 2.0 Activities.” Software Engineering, vol. 64, Gesellschaft für Informatik (GI), 2005, pp. 117–28.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 7935
Belli, Fevzi, and Baris Güldali. “A Holistic Approach to Test-Driven Model Checking.” Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy), Springer, 2005, pp. 321–31.
LibreCat
 

Filters and Search Terms

(department=66)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed