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
Engels G, Lohmann M, Sauer S. 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). Vol 68. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:612-616.
LibreCat
2005 | Conference Paper | LibreCat-ID: 8398
Engels G, Lohmann M, Sauer S. 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. Vol 68. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:491-495.
LibreCat
2005 | Conference Paper | LibreCat-ID: 8399
Heckel R, Thöne S. Behavioral Refinement of Graph Transformation-Based Models. In: Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy). Vol 127. Amsterdam, The Netherlands: Elsevier; 2005:101-111. doi:http://dx.doi.org/10.1016/j.entcs.2004.08.037
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 8400
Heckel R, Lohmann M. Towards Contract-based Testing of Web Services. In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004). Vol 116. Elsevier; 2005:145-156. doi:http://dx.doi.org/10.1016/j.entcs.2004.02.073
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 8401
Schattkowsky T, Lohmann M. Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised). In: Proceedings of the Satellite Events at the MoDELS 2005 Conference. Vol 3844. LNCS. Berlin/Heidelberg: Springer; 2005:201-209. doi:http://dx.doi.org/10.1007/11663430_21
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 8402
Schattkowsky T, Hendrik Hausmann J, Rettberg A. Using UML Activities for Synthesis on Reconfigurable Hardware. In: Proceedings of the UML for SoC Design Workshop. Anaheim, USA; 2005.
LibreCat
2004 | Conference (Editor) | LibreCat-ID: 7782
Engels G, Seehusen S, eds. Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany). Bonn: Gesellschaft für Informatik (GI); 2004.
LibreCat
2004 | Conference (Editor) | LibreCat-ID: 7783
Engels G, Sauer S, eds. Modeling and Development of Multimedia Systems. Vol 14. World Scientific; 2004. doi:http://dx.doi.org/10.1142/S021819400400183X
LibreCat
| DOI
2004 | Conference (Editor) | LibreCat-ID: 7784
Ehrig H, Engels G, Parisi-Presicce F, Rozenberg G, eds. Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy). Vol 3256. Berlin/Heidelberg: Springer; 2004. doi:http://dx.doi.org/10.1007/b100934
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7917
Schattkowsky T, Loeser C, Müller W. 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). Washington, DC, USA: IEEE Computer Society; 2004:611-616.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7918
Baresi L, Heckel R, Thöne S, Varró D. Style-Based Refinement of Dynamic Software Architectures. In: Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway). Washington, DC, USA: IEEE Computer Society; 2004:155-166.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7919
Belli F, Güldali B. Software Testing via Model Checking. In: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey). Vol 3280. LNCS. Berlin/Heidelberg: Springer; 2004:907-916. doi:http://dx.doi.org/10.1007/b101749
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7920
Heckel R, Guo P. 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). Vol 158. IFIP - International Federation for Information Processing. Berlin/Heidelberg: Springer; 2004:65-79. doi:dx.doi.org/10.1007/0-387-22874-8_5
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7921
Heckel R, Cherchago A. 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). Dagstuhl Seminar Proceedings. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI); 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7922
Schattkowsky T, Müller W. 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). Los Alamitos, CA, USA: IEEE Computer Society; 2004:121-128.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7923
Cherchago A, Heckel R. Specification Matching of Web Services Using Conditional Graph Transformation Rules. In: Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy). Vol 3256 / 2004. LNCS. Berlin/Heidelberg: Springer; 2004:304-318. doi:http://dx.doi.org/10.1007/b100934
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7924
Böttcher S, Groppe S, Schattkowsky T. 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
Eden J, Weber M, Reiser M-O, 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:101-112.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7926
Engels G, Sauer S. Guest Editors’ Introduction. In: International Journal of Software Engineering and Knowledge Engineering (IJSEKE). Vol 14. World Scientific Publishing; 2004:543-544. doi:http://dx.doi.org/10.1142/S021819400400183X
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7927
Guo P, Heckel R. Modeling and Simulation of Context-Aware Mobile Systems. In: Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004). Washington, DC, USA: IEEE Computer Society; 2004:430-433.
LibreCat