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
Cherchago A. Formal Semantics for a UML fragment using UML/OCL metamodeling. In: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA). ACTA Press; 2002.
LibreCat
 

2002 | Report | LibreCat-ID: 8212
Constanza P, Kniesel G, Mehner K, Pulvermüller E, Speck A. 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
 

2002 | Journal Article | LibreCat-ID: 7385
Heckel R, Llabrés M, Ehrig H, Orejas F. Concurrency and Loose Semantics of Open Graph Transformation Systems. Mathematical Structures in Computer Science. 2002;12(4):349-376.
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7387
Engels G, Küster J, Groenewegen L. Consistent Interaction of Software Components. Transactions of the SDPS: Journal of Integrated Design & Process Science. 2002;6(4):2-22.
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7388
Depke R, Heckel R, Küster J. Formal Agent-Oriented Modeling with Graph Transformation. Science of Computer Programming. 2002;44:229-252.
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7389
Doberkat E-E, Engels G. MuSofT - Multimedia in der Softwaretechnik. Informatik Forschung und Entwicklung. 2002;1(17):41-44.
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7390
Corradini A, Heckel R, Montanari U. Compositional SOS and Beyond: A Coalgebraic View of Open Systems. Theoretical Computer Science. 2002;280(1-2):163-192. doi:http://dx.doi.org/10.1016/S0304-3975(01)00025-1
LibreCat | DOI
 

2002 | Book Chapter | LibreCat-ID: 7524
Ehrig H, Hoffmann K, Padberg J, Baldan P, Heckel R. High-Level Net Processes. In: Brauer W, Ehrig H, Karhumäki J, Salomaa A, eds. Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:191-219. doi:http://dx.doi.org/10.1007/3-540-45711-9_12
LibreCat | DOI
 

2002 | Book Chapter | LibreCat-ID: 7525
Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative Work. In: Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:257-276.
LibreCat
 

2002 | Book Chapter | LibreCat-ID: 7526
Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics. Vol P-19. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2002:377-384.
LibreCat
 

2002 | Book Chapter | LibreCat-ID: 7527
Ehrig H, Hoffmann K, Padberg J, Baldan P, Heckel R. High-Level Net Processes. In: Brauer W, Ehrig H, Karhumäki J, Salomaa A, eds. Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:191-219. doi:http://dx.doi.org/10.1007/3-540-45711-9_12
LibreCat | DOI
 

2002 | Book Chapter | LibreCat-ID: 7528
Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative Work. In: Brauer W, Ehring H, Karhumäki J, Salomaa A, eds. Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:257-276.
LibreCat
 

2002 | Book Chapter | LibreCat-ID: 7529
Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: Schubert S, Reusch B, Jesse N, eds. Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics. Vol P-19. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2002:377-384.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8363
Heckel R, Engels G. Towards a Formal Framework for Inter-Enterprise Application Integration. In: Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France). Vol 51. Electronic Notes in Theoretical Computer Science. Elsevier; 2002:139-151. doi:http://dx.doi.org/10.1016/S1571-0661(04)80198-1
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 8364
Thöne S, Depke R, Engels G. Process-Oriented, Flexible Composition of Web Services with UML. In: Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland). Vol 2784. LNCS. Berlin/Heidelberg: Springer; 2002:390-401.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8365
Engels G, Küster J, Heckel R. Towards Consistency-Preserving Model Evolution. In: Proceedings of the International Workshop on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA). New York, NY, USA: ACM Press; 2002:129-132. doi:http://doi.acm.org/10.1145/512035.512066
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 8366
Gyapay S, Heckel R. Towards Graph Transformation with Time. 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:131-140.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8367
Heckel R, Küster J, Taentzer G. Towards Automatic Translation of UML Models into Semantic Domains. In: Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France). Universität Bremen; 2002:11-21.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8368
Hendrik Hausmann J, Heckel R, Sauer S. Extended Model Relations with Graphical Consistency Conditions. 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:61-74.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8369
Mehner K, Rashid A. Towards a Standard Interface for Runtime Inspection in AOP Environments. In: Proceedings Workshop on Tools for Aspect-Oriented Software Developement (Satellite Event of the OOPSLA 2002), Seattle, WA (USA). ; 2002.
LibreCat
 

Filters and Search Terms

department=66

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed