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.

911 Publications


2004 | Dissertation | LibreCat-ID: 7586
Visuelle Modellierung agentenbasierter Systeme
R. Depke, Visuelle Modellierung Agentenbasierter Systeme, 2004.
LibreCat | Files available
 

2004 | Conference Paper | LibreCat-ID: 8386
Understanding Model Transformation by Classification and Formalization
S. Sendall, R. Hauser, J. Koehler, J. Küster, M. Wahler, 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
Behavior-Preserving Refinement Relations between Dynamic Software Architectures
R. Heckel, S. Thöne, in: Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain), Springer, Berlin/Heidelberg, 2004, pp. 1–27.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8388
A Formal Approach to Service Specification and Matching based on Graph Transformation
R. Heckel, A. Cherchago, M. Lohmann, in: Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, Elsevier, 2004, pp. 37–49.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 8389
Systematic Validation of Model Transformations
J. Küster, in: Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8390
Comparing two Model Transformation Approaches
J. Küster, S. Sendall, M. Wahler, in: Proceedings of the Workshop on OCL and Model Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal), University of Kent, 2004, pp. 114–127.
LibreCat
 

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

2004 | Conference Paper | LibreCat-ID: 8392
UML for FPGA Synthesis
T. Schattkowsky, A. Rettberg, 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
Taming Model Round-Trip Engineering
S. Sendall, J. Küster, 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
A Model-based Approach for Dynamic Tool Integration
T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA), 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 7908
Integrating software engineering and user-centred design for multimedia software developments
G. Engels, S. Sauer, B. Neu, in: Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand), IEEE Computer Society, Washington, DC, USA, 2003, pp. 254–256.
LibreCat | DOI
 

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

2003 | Conference Paper | LibreCat-ID: 7910
The Consistency Workbench: A Tool for Consistency Management in UML-based Development
G. Engels, R. Heckel, J. Küster, in: Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA), Springer, Berlin/Heidelberg, 2003, pp. 356–359.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 7911
Model Based Verification and Validation of Properties
G. Engels, J. Küster, R. Heckel, M. Lohmann, in: Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland), Elsevier, 2003, pp. 1–18.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 7912
Towards Consistency of Web Service Architectures
R. Heckel, J. Küster, S. Thöne, H. Voigt, 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
Visualizing model mappings in UML
J. Hendrik Hausmann, S. Kent, in: Proceedings of the ACM Symposium on Software Visualization (SOFTVIS 2003), San Diego, CA (USA), ACM Press, New York, NY, USA, 2003, pp. 169–178.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 7914
Model-Based Development of Web Applications Using Graphical Reaction Rules
R. Heckel, M. Lohmann, in: Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland), Springer, Berlin/Heidelberg, 2003, pp. 170–183.
LibreCat | DOI
 

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

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

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

Filters and Search Terms

(department=66)

Search

Filter Publications

Display / Sort

Export / Embed