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
2004 | Dissertation | LibreCat-ID: 7586
Depke R. Visuelle Modellierung Agentenbasierter Systeme.; 2004.
LibreCat
| Files available
2004 | Conference Paper | LibreCat-ID: 8386
Sendall S, Hauser R, Koehler J, Küster J, Wahler M. Understanding Model Transformation by Classification and Formalization. In: Proceedings of the Workshop on Software Transformation Systems (STS 2004, Satellite Event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada). ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 8387
Heckel R, Thöne S. Behavior-Preserving Refinement Relations between Dynamic Software Architectures. In: Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain). Vol 3423. LNCS. Berlin/Heidelberg: Springer; 2004:1-27.
LibreCat
2004 | Conference Paper | LibreCat-ID: 8388
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
| DOI
2004 | Conference Paper | LibreCat-ID: 8389
Küster J. Systematic Validation of Model Transformations. In: Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal). ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 8390
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
2004 | Conference Paper | LibreCat-ID: 8391
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
| DOI
2004 | Conference Paper | LibreCat-ID: 8392
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
2004 | Conference Paper | LibreCat-ID: 8393
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
| Download (ext.)
2003 | Conference Paper | LibreCat-ID: 7907
Schattkowsky T. A Model-based Approach for Dynamic Tool Integration. In: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA). ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 7908
Engels G, Sauer S, Neu B. Integrating software engineering and user-centred design for multimedia software developments. In: Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand). Washington, DC, USA: IEEE Computer Society; 2003:254-256. doi:http://dx.doi.org/10.1109/HCC.2003.1260240
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7909
Alfert K, Doberkat E-E, Engels G, Lohmann M, Magenheim J, Schürr A. MuSofT: Multimedia in der Softwaretechnik. In: Proceedings of the Conference on Software Engineering Im Unterricht Der Hochschulen (SEUH 2003), Berlin (Germany). Heidelberg: dpunkt Verlag; 2003:70-80.
LibreCat
2003 | Conference Paper | LibreCat-ID: 7910
Engels G, Heckel R, Küster J. The Consistency Workbench: A Tool for Consistency Management in UML-based Development. In: Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA). Vol 2863. LNCS. Berlin/Heidelberg: Springer; 2003:356-359.
LibreCat
2003 | Conference Paper | LibreCat-ID: 7911
Engels G, Küster J, Heckel R, Lohmann M. Model Based Verification and Validation of Properties. In: Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland). Vol 82. Electronic Notes in Theoretical Computer Science. Elsevier; 2003:1-18. doi:dx.doi.org/10.1016/S1571-0661(04)80752-7
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7912
Heckel R, Küster J, Thöne S, Voigt H. Towards Consistency of Web Service Architectures. In: Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA). ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 7913
Hendrik Hausmann J, Kent S. Visualizing model mappings in UML. In: Proceedings of the ACM Symposium on Software Visualization (SOFTVIS 2003), San Diego, CA (USA). New York, NY, USA: ACM Press; 2003:169-178.
LibreCat
2003 | Conference Paper | LibreCat-ID: 7914
Heckel R, Lohmann M. Model-Based Development of Web Applications Using Graphical Reaction Rules. In: Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland). Vol 2621. LNCS. Berlin/Heidelberg: Springer; 2003:170-183. doi:http://dx.doi.org/10.1007/3-540-36578-8
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7915
Mueller W, Schattkowsky T, Eikerling H-J, Wegner J. Dynamic Tool Integration in Heterogeneous Computer Networks. In: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany). Washington, DC, USA: IEEE Computer Society; 2003:946-951. doi:http://dx.doi.org/10.1109/DATE.2003.10201
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7916
Küster J, Heckel R, Engels G. Defining and Validating Transformations of UML Models. In: Proceedings of the Conference on Human Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand). Washington, DC, USA: IEEE Computer Society; 2003:145-152. doi:https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1109/HCC.2003.1260218
LibreCat
| DOI
2003 | Report | LibreCat-ID: 8213
Mehner K, Rashid A. Towards a Generic Model for AOP (GEMA). United Kingdom: Lancaster University, Computing Department; 2003.
LibreCat