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.
656 Publications
2004 | Conference Paper | LibreCat-ID: 8388
@inproceedings{Heckel_Cherchago_Lohmann_2004, title={A Formal Approach to Service Specification and Matching based on Graph Transformation}, volume={105}, DOI={http://dx.doi.org/10.1016/j.entcs.2004.05.006}, booktitle={Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy}, publisher={Elsevier}, author={Heckel, Reiko and Cherchago, Alexey and Lohmann, Marc}, year={2004}, pages={37–49} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 8389
@inproceedings{Küster_2004, title={Systematic Validation of Model Transformations}, booktitle={Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)}, author={Küster, Jochen}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 8390
@inproceedings{Küster_Sendall_Wahler_2004, title={Comparing two Model Transformation Approaches}, booktitle={Proceedings of the Workshop on OCL and Model Driven Engineering (satellite event of the UML 2004), Lisbon (Portugal)}, publisher={University of Kent}, author={Küster, Jochen and Sendall, Shane and Wahler, Michael}, year={2004}, pages={114–127} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 8391
@inproceedings{Küster_2004, place={Amsterdam ,The Netherlands}, series={Electronic Notes in Theoretical Computer Science}, title={Towards Inconsistency Handling of Object-Oriented Behavioral Models}, volume={109}, DOI={http://dx.doi.org/10.1016/j.entcs.2004.02.056}, booktitle={International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain)}, publisher={Elsevier}, author={Küster, Jochen}, year={2004}, pages={57–69}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 8392
@inproceedings{Schattkowsky_Rettberg_2004, title={UML for FPGA Synthesis}, booktitle={Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA)}, author={Schattkowsky, Tim and Rettberg, Achim}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 8393
@inproceedings{Sendall_Küster_2004, title={Taming Model Round-Trip Engineering}, booktitle={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)}, author={Sendall, Shane and Küster, Jochen}, year={2004} }
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 8450
@inbook{Kremer_2004, place={Lancaster}, title={Virtual conference: a telecooperative learning environment}, booktitle={Networked Learning 2004. A research based conference on e-learning in higher education and lifelong learning}, author={Kremer, H.-Hugo}, editor={Banks, S. and Goodyear, P. and Hodgson, V. and Jones, C. and Lally, V. and McConnel, D. and Steeples, C.Editors}, year={2004}, pages={751–752} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 8451
@inbook{Deißinger_Kremer_2004, place={Baltmannsweiler}, title={Organisation und didaktische Ausrichtung des “Praxissemesters” im Rahmen des Diplomstudiengangs Wirtschaftspädagogik an der Universität Konstanz}, booktitle={Theorie-Praxis-Verzahnung in der beruflichen und gymnsasialen Lehrerbildung. Das Praxissemester in Baden-Württemberg.}, author={Deißinger, T. and Kremer, H.-Hugo}, editor={Backes-Haase, A. and Frommer, H.Editors}, year={2004}, pages={88–105} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 8452 | 
@inbook{Kremer_2004, title={Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte?}, booktitle={Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse der 1. CULIK Fachtagung (12.05.2004)}, author={Kremer, H.-Hugo}, editor={Gramlinger, F. and Steinemann, S. and Tramm, T.Editors}, year={2004} }
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 8453
@inbook{Kremer_2004, place={Chester}, title={Virtual conference - a cooperative learning environment for teacher education?}, booktitle={The annual conference of the Association for Information Technology in Teacher Education}, author={Kremer, H.-Hugo}, editor={Bennett, R.Editor}, year={2004} }
LibreCat