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
2002 | Conference Paper | LibreCat-ID: 7906
Formal Semantics for a UML fragment using UML/OCL metamodeling
A. Cherchago, in: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), ACTA Press, 2002.
LibreCat
A. Cherchago, in: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), ACTA Press, 2002.
2002 | Report | LibreCat-ID: 8212
Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement
P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, A. Speck, Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, University of Bonn, 2002.
LibreCat
P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, A. Speck, Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, University of Bonn, 2002.
2002 | Journal Article | LibreCat-ID: 7385
Concurrency and Loose Semantics of Open Graph Transformation Systems
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, Mathematical Structures in Computer Science 12 (2002) 349–376.
LibreCat
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, Mathematical Structures in Computer Science 12 (2002) 349–376.
2002 | Journal Article | LibreCat-ID: 7387
Consistent Interaction of Software Components
G. Engels, J. Küster, L. Groenewegen, Transactions of the SDPS: Journal of Integrated Design & Process Science 6 (2002) 2–22.
LibreCat
G. Engels, J. Küster, L. Groenewegen, Transactions of the SDPS: Journal of Integrated Design & Process Science 6 (2002) 2–22.
2002 | Journal Article | LibreCat-ID: 7388
Formal Agent-Oriented Modeling with Graph Transformation
R. Depke, R. Heckel, J. Küster, Science of Computer Programming 44 (2002) 229–252.
LibreCat
R. Depke, R. Heckel, J. Küster, Science of Computer Programming 44 (2002) 229–252.
2002 | Journal Article | LibreCat-ID: 7389
MuSofT - Multimedia in der Softwaretechnik
E.-E. Doberkat, G. Engels, Informatik Forschung Und Entwicklung 1 (2002) 41–44.
LibreCat
E.-E. Doberkat, G. Engels, Informatik Forschung Und Entwicklung 1 (2002) 41–44.
2002 | Journal Article | LibreCat-ID: 7390
Compositional SOS and Beyond: A Coalgebraic View of Open Systems
A. Corradini, R. Heckel, U. Montanari, Theoretical Computer Science 280 (2002) 163–192.
LibreCat
| DOI
A. Corradini, R. Heckel, U. Montanari, Theoretical Computer Science 280 (2002) 163–192.
2002 | Book Chapter | LibreCat-ID: 7524
High-Level Net Processes
H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel, in: W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 191–219.
LibreCat
| DOI
H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel, in: W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 191–219.
2002 | Book Chapter | LibreCat-ID: 7525
Towards Team-Automata-Driven Object-Oriented Collaborative Work
G. Engels, L. Groenewegen, in: Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.
LibreCat
G. Engels, L. Groenewegen, in: Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.
2002 | Book Chapter | LibreCat-ID: 7526
Multimedia in der Informatik-Lehre
G. Engels, E.-E. Doberkat, in: Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.
LibreCat
G. Engels, E.-E. Doberkat, in: Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.
2002 | Book Chapter | LibreCat-ID: 7527
High-Level Net Processes
H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel, in: W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 191–219.
LibreCat
| DOI
H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel, in: W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 191–219.
2002 | Book Chapter | LibreCat-ID: 7528
Towards Team-Automata-Driven Object-Oriented Collaborative Work
G. Engels, L. Groenewegen, in: W. Brauer, H. Ehring, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.
LibreCat
G. Engels, L. Groenewegen, in: W. Brauer, H. Ehring, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.
2002 | Book Chapter | LibreCat-ID: 7529
Multimedia in der Informatik-Lehre
G. Engels, E.-E. Doberkat, in: S. Schubert, B. Reusch, N. Jesse (Eds.), Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.
LibreCat
G. Engels, E.-E. Doberkat, in: S. Schubert, B. Reusch, N. Jesse (Eds.), Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.
2002 | Conference Paper | LibreCat-ID: 8363
Towards a Formal Framework for Inter-Enterprise Application Integration
R. Heckel, G. Engels, in: Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France), Elsevier, 2002, pp. 139–151.
LibreCat
| DOI
R. Heckel, G. Engels, in: Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France), Elsevier, 2002, pp. 139–151.
2002 | Conference Paper | LibreCat-ID: 8364
Process-Oriented, Flexible Composition of Web Services with UML
S. Thöne, R. Depke, G. Engels, in: Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland), Springer, Berlin/Heidelberg, 2002, pp. 390–401.
LibreCat
S. Thöne, R. Depke, G. Engels, in: Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland), Springer, Berlin/Heidelberg, 2002, pp. 390–401.
2002 | Conference Paper | LibreCat-ID: 8365
Towards Consistency-Preserving Model Evolution
G. Engels, J. Küster, R. Heckel, in: Proceedings of the International Workshop on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA), ACM Press, New York, NY, USA, 2002, pp. 129–132.
LibreCat
| DOI
G. Engels, J. Küster, R. Heckel, in: Proceedings of the International Workshop on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA), ACM Press, New York, NY, USA, 2002, pp. 129–132.
2002 | Conference Paper | LibreCat-ID: 8366
Towards Graph Transformation with Time
S. Gyapay, R. Heckel, in: Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), Universität Bremen, 2002, pp. 131–140.
LibreCat
S. Gyapay, R. Heckel, in: Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), Universität Bremen, 2002, pp. 131–140.
2002 | Conference Paper | LibreCat-ID: 8367
Towards Automatic Translation of UML Models into Semantic Domains
R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), Universität Bremen, 2002, pp. 11–21.
LibreCat
R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), Universität Bremen, 2002, pp. 11–21.
2002 | Conference Paper | LibreCat-ID: 8368
Extended Model Relations with Graphical Consistency Conditions
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceeding of the Workshop on Consistency Problems in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany), Department of Software Engineering and Computer Science, Blekinge Institute of Technology, 2002, pp. 61–74.
LibreCat
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceeding of the Workshop on Consistency Problems in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany), Department of Software Engineering and Computer Science, Blekinge Institute of Technology, 2002, pp. 61–74.
2002 | Conference Paper | LibreCat-ID: 8369
Towards a Standard Interface for Runtime Inspection in AOP Environments
K. Mehner, A. Rashid, in: Proceedings Workshop on Tools for Aspect-Oriented Software Developement (Satellite Event of the OOPSLA 2002), Seattle, WA (USA), 2002.
LibreCat
K. Mehner, A. Rashid, in: Proceedings Workshop on Tools for Aspect-Oriented Software Developement (Satellite Event of the OOPSLA 2002), Seattle, WA (USA), 2002.