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
R. Depke, Visuelle Modellierung agentenbasierter Systeme. 2004.
LibreCat | Files available
 

2004 | Conference Paper | LibreCat-ID: 8386
S. Sendall, R. Hauser, J. Koehler, J. Küster, and M. Wahler, “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
R. Heckel and S. Thöne, “Behavior-Preserving Refinement Relations between Dynamic Software Architectures,” in Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain), 2004, vol. 3423, pp. 1–27.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8388
R. Heckel, A. Cherchago, and M. Lohmann, “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, 2004, vol. 105, pp. 37–49.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 8389
J. Küster, “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
J. Küster, S. Sendall, and M. Wahler, “Comparing two Model Transformation Approaches,” in Proceedings of the Workshop on OCL and Model Driven Engineering (satellite event of the UML 2004), Lisbon (Portugal), 2004, pp. 114–127.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8391
J. Küster, “Towards Inconsistency Handling of Object-Oriented Behavioral Models,” in International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain), 2004, vol. 109, pp. 57–69.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 8392
T. Schattkowsky and A. Rettberg, “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
S. Sendall and J. Küster, “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
T. Schattkowsky, “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
G. Engels, S. Sauer, and B. Neu, “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), 2003, pp. 254–256.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 7909
K. Alfert, E.-E. Doberkat, G. Engels, M. Lohmann, J. Magenheim, and A. Schürr, “MuSofT: Multimedia in der Softwaretechnik,” in Proceedings of the conference on Software Engineering im Unterricht der Hochschulen (SEUH 2003), Berlin (Germany), 2003, pp. 70–80.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 7910
G. Engels, R. Heckel, and J. Küster, “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), 2003, vol. 2863, pp. 356–359.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 7911
G. Engels, J. Küster, R. Heckel, and M. Lohmann, “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), 2003, vol. 82, no. 7, pp. 1–18.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 7912
R. Heckel, J. Küster, S. Thöne, and H. Voigt, “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
J. Hendrik Hausmann and S. Kent, “Visualizing model mappings in UML,” in Proceedings of the ACM symposium on Software visualization (SOFTVIS 2003), San Diego, CA (USA), 2003, pp. 169–178.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 7914
R. Heckel and M. Lohmann, “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), 2003, vol. 2621, pp. 170–183.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 7915
W. Mueller, T. Schattkowsky, H.-J. Eikerling, and J. Wegner, “Dynamic Tool Integration in Heterogeneous Computer Networks,” in Proceedings of the conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany), 2003, pp. 946–951.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 7916
J. Küster, R. Heckel, and G. Engels, “Defining and Validating Transformations of UML Models,” in Proceedings of the conference on Human Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand), 2003, pp. 145–152.
LibreCat | DOI
 

2003 | Report | LibreCat-ID: 8213
K. Mehner and A. Rashid, Towards a Generic Model for AOP (GEMA). United Kingdom: Lancaster University, Computing Department, 2003.
LibreCat
 

Filters and Search Terms

department=66

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed