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.
907 Publications
2005 | Dissertation | LibreCat-ID: 7582
Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations
S. Thöne, Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations, 2005.
LibreCat
S. Thöne, Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations, 2005.
2005 | Dissertation | LibreCat-ID: 7583
Trace-based Debugging and Visualisation of Concurrent Java Programs with UML
K. Mehner, Trace-Based Debugging and Visualisation of Concurrent Java Programs with UML, 2005.
LibreCat
K. Mehner, Trace-Based Debugging and Visualisation of Concurrent Java Programs with UML, 2005.
2005 | Dissertation | LibreCat-ID: 7584
Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages
J. Hendrik Hausmann, Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages, 2005.
LibreCat
J. Hendrik Hausmann, Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages, 2005.
2005 | Conference Paper | LibreCat-ID: 8394
Towards employing UML Model Mappings for Platform Independent User Interface Design
T. Schattkowsky, M. Lohmann, in: Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces, CEUR-WS.org, 2005.
LibreCat
| Download (ext.)
T. Schattkowsky, M. Lohmann, in: Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces, CEUR-WS.org, 2005.
2005 | Conference Paper | LibreCat-ID: 8395
The Reconfigurable UML Machine Project Group
A. Rettberg, T. Schattkowsky, C. Rust, W. Müller, F. Josef Rammig, in: Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia), Springer, Berlin/Heidelberg, 2005, pp. 139–147.
LibreCat
A. Rettberg, T. Schattkowsky, C. Rust, W. Müller, F. Josef Rammig, in: Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia), Springer, Berlin/Heidelberg, 2005, pp. 139–147.
2005 | Conference Paper | LibreCat-ID: 8396
Preservation of Compatibility under Evolution of Software Components
A. Cherchago, G. Engels, in: International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.
LibreCat
A. Cherchago, G. Engels, in: International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.
2005 | Conference Paper | LibreCat-ID: 8397
Design by Contract zur semantischen Beschreibung von Web Services
G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business & IT, Bonn (Germany), Gesellschaft für Informatik (GI), Bonn, 2005, pp. 612–616.
LibreCat
G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business & IT, Bonn (Germany), Gesellschaft für Informatik (GI), Bonn, 2005, pp. 612–616.
2005 | Conference Paper | LibreCat-ID: 8398
Modellbasierte Entwicklung von Web Services mit Design by Contract
G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 491–495.
LibreCat
G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 491–495.
2005 | Conference Paper | LibreCat-ID: 8399
Behavioral Refinement of Graph Transformation-Based Models
R. Heckel, S. Thöne, in: Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy), Elsevier, Amsterdam, The Netherlands, 2005, pp. 101–111.
LibreCat
| DOI
R. Heckel, S. Thöne, in: Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy), Elsevier, Amsterdam, The Netherlands, 2005, pp. 101–111.
2005 | Conference Paper | LibreCat-ID: 8400
Towards Contract-based Testing of Web Services
R. Heckel, M. Lohmann, in: Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), Elsevier, 2005, pp. 145–156.
LibreCat
| DOI
R. Heckel, M. Lohmann, in: Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), Elsevier, 2005, pp. 145–156.
2005 | Conference Paper | LibreCat-ID: 8401
Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised)
T. Schattkowsky, M. Lohmann, in: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Springer, Berlin/Heidelberg, 2005, pp. 201–209.
LibreCat
| DOI
T. Schattkowsky, M. Lohmann, in: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Springer, Berlin/Heidelberg, 2005, pp. 201–209.
2005 | Conference Paper | LibreCat-ID: 8402
Using UML Activities for Synthesis on Reconfigurable Hardware
T. Schattkowsky, J. Hendrik Hausmann, A. Rettberg, in: Proceedings of the UML for SoC Design Workshop, Anaheim, USA, 2005.
LibreCat
T. Schattkowsky, J. Hendrik Hausmann, A. Rettberg, in: Proceedings of the UML for SoC Design Workshop, Anaheim, USA, 2005.
2004 | Conference (Editor) | LibreCat-ID: 7782
Proceedings of "DeLFI 2004: Die 2. e-Learning Fachtagung Informatik", Paderborn (Germany)
G. Engels, S. Seehusen, eds., Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany), Gesellschaft für Informatik (GI), Bonn, 2004.
LibreCat
G. Engels, S. Seehusen, eds., Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany), Gesellschaft für Informatik (GI), Bonn, 2004.
2004 | Conference (Editor) | LibreCat-ID: 7783
Modeling and Development of Multimedia Systems
G. Engels, S. Sauer, eds., Modeling and Development of Multimedia Systems, World Scientific, 2004.
LibreCat
| DOI
G. Engels, S. Sauer, eds., Modeling and Development of Multimedia Systems, World Scientific, 2004.
2004 | Conference (Editor) | LibreCat-ID: 7784
Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)
H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, eds., Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004.
LibreCat
| DOI
H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, eds., Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004.
2004 | Conference Paper | LibreCat-ID: 7917
Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan), IEEE Computer Society, Washington, DC, USA, 2004, pp. 611–616.
LibreCat
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan), IEEE Computer Society, Washington, DC, USA, 2004, pp. 611–616.
2004 | Conference Paper | LibreCat-ID: 7918
Style-Based Refinement of Dynamic Software Architectures
L. Baresi, R. Heckel, S. Thöne, D. Varró, in: Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway), IEEE Computer Society, Washington, DC, USA, 2004, pp. 155–166.
LibreCat
L. Baresi, R. Heckel, S. Thöne, D. Varró, in: Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway), IEEE Computer Society, Washington, DC, USA, 2004, pp. 155–166.
2004 | Conference Paper | LibreCat-ID: 7919
Software Testing via Model Checking
F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg, 2004, pp. 907–916.
LibreCat
| DOI
F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg, 2004, pp. 907–916.
2004 | Conference Paper | LibreCat-ID: 7920
Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation
R. Heckel, P. Guo, in: Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway), Springer, Berlin/Heidelberg, 2004, pp. 65–79.
LibreCat
| DOI
R. Heckel, P. Guo, in: Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway), Springer, Berlin/Heidelberg, 2004, pp. 65–79.
2004 | Conference Paper | LibreCat-ID: 7921
Application of Graph Transformation for Automating Web Service Discovery
R. Heckel, A. Cherchago, in: Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Dagstuhl, Germany, 2004.
LibreCat
R. Heckel, A. Cherchago, in: Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Dagstuhl, Germany, 2004.