Heckel R, Cherchago A, Lohmann M. A Formal Approach to Service Specification and Matching based on Graph Transformation. In: Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy. Vol 105. Elsevier; 2004:37-49. doi:http://dx.doi.org/10.1016/j.entcs.2004.05.006
LibreCat: /record/8388
DOI: http://dx.doi.org/10.1016/j.entcs.2004.05.006

Küster J. Systematic Validation of Model Transformations. In: Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal). ; 2004.
LibreCat: /record/8389

Küster J, Sendall S, Wahler M. Comparing two Model Transformation Approaches. In: Proceedings of the Workshop on OCL and Model Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal). University of Kent; 2004:114-127.
LibreCat: /record/8390

Küster J. Towards Inconsistency Handling of Object-Oriented Behavioral Models. In: International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain). Vol 109. Electronic Notes in Theoretical Computer Science. Amsterdam ,The Netherlands: Elsevier; 2004:57-69. doi:http://dx.doi.org/10.1016/j.entcs.2004.02.056
LibreCat: /record/8391
DOI: http://dx.doi.org/10.1016/j.entcs.2004.02.056

Schattkowsky T, Rettberg A. UML for FPGA Synthesis. In: Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA). ; 2004.
LibreCat: /record/8392

Sendall S, Küster J. Taming Model Round-Trip Engineering. In: Proceedings of Workshop on Best Practices for Model-Driven Software Development (Satellite Event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada). ; 2004.
LibreCat: /record/8393

Kremer H-H. Virtual conference: a telecooperative learning environment. In: Banks S, Goodyear P, Hodgson V, et al., eds. Networked Learning 2004. A research based conference on e-learning in higher education and lifelong learning. Lancaster; 2004:751-752.
LibreCat: /record/8450

Deißinger T, Kremer H-H. Organisation und didaktische Ausrichtung des “Praxissemesters” im Rahmen des Diplomstudiengangs Wirtschaftspädagogik an der Universität Konstanz. In: Backes-Haase A, Frommer H, eds. Theorie-Praxis-Verzahnung in der beruflichen und gymnsasialen Lehrerbildung. Das Praxissemester in Baden-Württemberg. Baltmannsweiler; 2004:88-105.
LibreCat: /record/8451

Kremer H-H. Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte? In: Gramlinger F, Steinemann S, Tramm T, eds. Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse der 1. CULIK Fachtagung (12.05.2004). ; 2004.
LibreCat: /record/8452

Kremer H-H. Virtual conference - a cooperative learning environment for teacher education? In: Bennett R, ed. The annual conference of the Association for Information Technology in Teacher Education. Chester; 2004.
LibreCat: /record/8453