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
2002 | Conference Paper | LibreCat-ID: 7900
Gyapay S, Heckel R, Varró D. Graph Transformation with Time: Causality and Logical Clocks. In: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain). Vol 2505. LNCS. Berlin/Heidelberg: Springer; 2002:120-134.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7901
Hendrik Hausmann J, Heckel R, Taentzer G. Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation. In: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA). New York, NY, USA: ACM Press; 2002:105-155. doi:http://doi.acm.org/10.1145/581339.581355
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7902
Heckel R, Chouikha M. Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets. In: Proceedings of the Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA). Grandview, TX, USA: Society of Design and Process Science; 2002:63-77.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7903
Heckel R, Küster J, Taentzer G. Confluence of Typed Attributed Graph Transformation Systems. In: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain). Berlin/Heidelberg: Springer; 2002:161-176.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7904
Mehner K. JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. In: Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany). Vol 2269. LNCS. Berlin/Heidelberg: Springer; 2002:163-175.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7905
Schattkowsky T, Lohmann M. Rapid Development of Modular Dynamic Web Sites Using UML. In: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany). LNCS. London, UK: Springer; 2002:336-350. doi:http://dx.doi.org/10.1007/3-540-45800-X
LibreCat
| DOI
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