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
2003 | Conference Paper | LibreCat-ID: 8383
K. Mehner and A. Rashid, “GEMA: A Generic Model for AOP,” in Proceedings of the Joint Belgian & Dutch AOP Workshop, Enschede (The Netherlands), 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 8384
T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the Design of Electronic Systems,” in Proceedings of the Workshop on Challenges in Collaborative Engineering (CCE 2003), Poznan (Poland), 2003, pp. 15–16.
LibreCat
2003 | Conference Paper | LibreCat-ID: 8385
T. Schattkowsky, “Model-based Development of Embedded Systems: Executable Models vs. Code Generation,” in Proceedings of the workshop on Model Driven Architecture in the Specification, Implementation and Validation of Object-oriented Embedded Systems (satellite event of the UML 2003 conference), San Francisco, CA (USA), 2003.
LibreCat
2002 | Conference (Editor) | LibreCat-ID: 7785
R. Heckel, T. Mens, and M. Wermelinger, Eds., Proceedings of the workshop on Software Evolution through Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain), vol. 72, no. 4. Elsevier, 2002.
LibreCat
2002 | Conference (Editor) | LibreCat-ID: 7786
M. Clauss, S. Hanenberg, I. John, K. Mehner, and R. Van Der Straeten, Eds., Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA), no. 053.02/E. 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7895
L. Baresi and R. Heckel, “Tutorial Introduction to Graph Transformation: A Software Engineering Perspective,” in Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, vol. 2505, pp. 402–429.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7896
R. Depke, G. Engels, M. Langham, B. Lütkemeier, and S. Thöne, “Process-Oriented, Consistent Integration of Software Components,” in Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England), 2002, pp. 13–18.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7897
G. Engels, R. Heckel, J. Küster, and L. Groenewegen, “Consistency-Preserving Model Evolution through Transformations,” in Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), 2002, vol. 2460, pp. 212–226.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7898
G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction Of Software Components,” in Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002, vol. 6, no. 4, pp. 2–22.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7899
G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Testing the Consistency of Dynamic UML Diagrams,” in Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7900
S. Gyapay, R. Heckel, and D. Varró, “Graph Transformation with Time: Causality and Logical Clocks,” in Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, vol. 2505, pp. 120–134.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7901
J. Hendrik Hausmann, R. Heckel, and G. Taentzer, “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), 2002, pp. 105–155.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7902
R. Heckel and M. Chouikha, “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), 2002, pp. 63–77.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7903
R. Heckel, J. Küster, and G. Taentzer, “Confluence of Typed Attributed Graph Transformation Systems,” in Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, pp. 161–176.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7904
K. Mehner, “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs,” in Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany), 2002, vol. 2269, pp. 163–175.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7906
A. Cherchago, “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), 2002.
LibreCat
2002 | Report | LibreCat-ID: 8212
P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, and 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
2002 | Journal Article | LibreCat-ID: 7385
R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, “Concurrency and Loose Semantics of Open Graph Transformation Systems,” Mathematical Structures in Computer Science, vol. 12, no. 4, pp. 349–376, 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 7387
G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction of Software Components,” Transactions of the SDPS: Journal of Integrated Design & Process Science, vol. 6, no. 4, pp. 2–22, 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 7388
R. Depke, R. Heckel, and J. Küster, “Formal Agent-Oriented Modeling with Graph Transformation,” Science of Computer Programming, vol. 44, pp. 229–252, 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 7389
E.-E. Doberkat and G. Engels, “MuSofT - Multimedia in der Softwaretechnik,” Informatik Forschung und Entwicklung, vol. 1, no. 17, pp. 41–44, 2002.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7524
H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel, “High-Level Net Processes,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa , Eds. Berlin/Heidelberg: Springer, 2002, pp. 191–219.
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7525
G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, Berlin/Heidelberg: Springer, 2002, pp. 257–276.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7526
G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics, vol. P-19, Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7527
H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel, “High-Level Net Processes,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa , Eds. Berlin/Heidelberg: Springer, 2002, pp. 191–219.
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7528
G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa, Eds. Berlin/Heidelberg: Springer, 2002, pp. 257–276.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7529
G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics, vol. P-19, S. Schubert, B. Reusch, and N. Jesse, Eds. Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8364
S. Thöne, R. Depke, and G. Engels, “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), 2002, vol. 2784, pp. 390–401.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8365
G. Engels, J. Küster, and R. Heckel, “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), 2002, pp. 129–132.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 8366
S. Gyapay and R. Heckel, “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), 2002, pp. 131–140.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8367
R. Heckel, J. Küster, and G. Taentzer, “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), 2002, pp. 11–21.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8368
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “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), 2002, pp. 61–74.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8369
K. Mehner and A. Rashid, “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
2002 | Conference Paper | LibreCat-ID: 8370
T. Schattkowsky, M. Lohmann, and R. Heckel, “Lightweight Modeling of Dynamic Websites using UML,” in Proceedings of Workshop on Web Engineering (satellite event of the ICSE 2002), Orlando, FL (USA), 2002.
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7787
K. Mehner, M. Mezini, E. Pulvermüller, and A. Speck, Eds., Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany), vol. tr-ri-01-223. University of Paderborn, 2001.
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7788
G. Engels, A. Oberweis, and A. Zündorf, Eds., Modellierung 2001, vol. 1. Bonn: Gesellschaft für Informatik (GI), 2001.
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7789
K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, and S. Hanenberg, Eds., Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany). 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7879
B. Lütkemeier and S. Thöne, “Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle,” in Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7880
P. Baldan, A. Corradini, H. Ehrig, and R. Heckel, “Compositional Modeling of Reactive Systems Using Open Nets,” in Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), 2001, vol. 2154, pp. 502–518.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7882
R. Depke, R. Heckel, and J. Küster, “Improving the Agent-Oriented Modeling Process with Roles,” in Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada), 2001, pp. 640–647.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7883
R. Depke and R. Heckel, “Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform,” in Proceedings of the 9. Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern (Germany), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7884
G. Engels, R. Heckel, and J. Küster, “Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model,” in Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), 2001, vol. 2185, pp. 272–287.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7885
G. Engels, J. Küster, L. Groenewegen, and R. Heckel, “A methodology for specifying and analyzing consistency of object-oriented behavioral models,” in Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria), 2001, vol. 26, no. 5, pp. 186–195.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7886
C. Geiger, S. Flake, and J. Küster, “Towards UML-based Analysis and Design of Multi-Agent Systems,” in Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7887
R. Heckel and G. Engels, “Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution,” in Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal), 2001, no. UNL-DI-1-2001, pp. 42–47.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7888
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams,” in Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), 2001, pp. 80–87.
LibreCat