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.

921 Publications


2005 | Conference Paper | LibreCat-ID: 8397
G. Engels, M. Lohmann, and S. Sauer, “Design by Contract zur semantischen Beschreibung von Web Services,” in Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business & IT, Bonn (Germany), 2005, vol. 68, pp. 612–616.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 8398
G. Engels, M. Lohmann, and S. Sauer, “Modellbasierte Entwicklung von Web Services mit Design by Contract,” in Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, 2005, vol. 68, pp. 491–495.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 8399
R. Heckel and S. Thöne, “Behavioral Refinement of Graph Transformation-Based Models,” in Proceedings of the workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy), 2005, vol. 127, no. 3, pp. 101–111.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 8400
R. Heckel and M. Lohmann, “Towards Contract-based Testing of Web Services,” in Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), 2005, vol. 116, pp. 145–156.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 8401
T. Schattkowsky and M. Lohmann, “Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised),” in Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005, vol. 3844, pp. 201–209.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 8402
T. Schattkowsky, J. Hendrik Hausmann, and A. Rettberg, “Using UML Activities for Synthesis on Reconfigurable Hardware,” in Proceedings of the UML for SoC Design Workshop, 2005.
LibreCat
 

2004 | Conference (Editor) | LibreCat-ID: 7782
G. Engels and S. Seehusen, Eds., Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany), no. P-52. Bonn: Gesellschaft für Informatik (GI), 2004.
LibreCat
 

2004 | Conference (Editor) | LibreCat-ID: 7783
G. Engels and S. Sauer, Eds., Modeling and Development of Multimedia Systems, vol. 14, no. 6. World Scientific, 2004.
LibreCat | DOI
 

2004 | Conference (Editor) | LibreCat-ID: 7784
H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, Eds., Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy), vol. 3256. Berlin/Heidelberg: Springer, 2004.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7917
T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks,” in Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan), 2004, pp. 611–616.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7918
L. Baresi, R. Heckel, S. Thöne, and D. Varró, “Style-Based Refinement of Dynamic Software Architectures,” in Proceedings of the conference on Software Architecture (WICSA 2004), Oslo (Norway), 2004, pp. 155–166.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7919
F. Belli and B. Güldali, “Software Testing via Model Checking,” in Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), 2004, vol. 3280, pp. 907–916.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7920
R. Heckel and P. Guo, “Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation,” in Proceedings of the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway), 2004, vol. 158, pp. 65–79.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7921
R. Heckel and A. Cherchago, “Application of Graph Transformation for Automating Web Service Discovery,” in Proceedings of the seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7922
T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” in Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria), 2004, pp. 121–128.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7923
A. Cherchago and R. Heckel, “Specification Matching of Web Services Using Conditional Graph Transformation Rules,” in Proceedings of the conference on Graph Transformation (ICGT 2004), Rome (Italy), 2004, vol. 3256 / 2004, pp. 304–318.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7924
S. Böttcher, S. Groppe, and T. Schattkowsky, “Automated Data and Service Mapping for Integrated Electronic Markets,” in Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7925
J. Eden et al., “An Architecture Description Language for Developing Automotive ECU-Software,” in Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France), 2004, pp. 101–112.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7926
G. Engels and S. Sauer, “Guest Editors’ Introduction,” in International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 2004, vol. 14, no. 6, pp. 543–544.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7927
P. Guo and R. Heckel, “Modeling and Simulation of Context-Aware Mobile Systems,” in Proceedings of the 19th IEEE international conference on Automated software engineering (ASE 2004), 2004, pp. 430–433.
LibreCat
 

Filters and Search Terms

department=66

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed