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
2001 | Conference Paper | LibreCat-ID: 7879
Lütkemeier B, Thöne S. Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle. In: Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany). Konradin-Verlag; 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7880
Baldan P, Corradini A, Ehrig H, Heckel R. Compositional Modeling of Reactive Systems Using Open Nets. In: Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark). Vol 2154. LNCS. Berlin/Heidelberg: Springer; 2001:502-518.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7881
Küster J, Stroop J. Consistent Design of Embedded Real-Time Systems with UML-RT. In: Proceedings of the Conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany). Washington, DC, USA: IEEE Computer Society; 2001:31-40. doi:https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7882
Depke R, Heckel R, Küster J. Improving the Agent-Oriented Modeling Process with Roles. In: Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada). New York, NY, USA: ACM Press; 2001:640-647.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7883
Depke R, Heckel R. 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). Technische Akademie Esslingen; 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7884
Engels G, Heckel R, Küster J. 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). Vol 2185. Berlin/Heidelberg: Springer; 2001:272-287. doi:http://dx.doi.org/10.1007/3-540-45441-1_21
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7885
Engels G, Küster J, Groenewegen L, Heckel R. 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). Vol 26. New York, NY, USA: ACM Press; 2001:186-195. doi:http://dx.doi.org/10.1145/503271.503235
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7886
Geiger C, Flake S, Küster J. 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
Heckel R, Engels G. 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). Lisbon: Universidade Nova de Lisboa; 2001:42-47.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7888
Hendrik Hausmann J, Heckel R, Sauer S. 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). Washington, DC, USA: IEEE Computer Society; 2001:80-87.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7889
Hendrik Hausmann J, Heckel R. Use Cases as views: A formal approach to Requirements engineering in the Unified Process. In: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich). Vol 1. Wien (Österreich): Österreichische Computer Gesellschaft; 2001:595-599.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7890
Heckel R. Open Petri Nets as Semantic Model for Business Process Integration. In: Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems. DFG Research Group “Petri Net Technology”; 2001:129-134.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7891
Heckel R, Sauer S. Strengthening UML Collaboration Diagrams by State Transformations. In: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy). Vol 2029. LNCS. London, UK: Springer; 2001:109-123. doi:http://dx.doi.org/10.1007/3-540-45314-8_9
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7892
Küster J. Towards Behavior Consistent Modeling in UML-RT. In: Proceedings of the Forum on Design Languages (FDL’01). Lyon, France; 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7893
Sauer S, Engels G. UML-based Behavior Specification of Interactive Multimedia Applications. In: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy). Washington, DC, USA: IEEE Computer Society; 2001:248-255. doi:http://dx.doi.org/10.1109/HCC.2001.995271
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7894
Heckel R, Zündorf A. How to Specify a Graph Transformation Approach - A Meta Model for Fujaba. In: Ehrig H, Padberg J, eds. Proceeding of the Workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite Event of the ETAPS 2001). Vol 44. Electronic Notes in Theoretical Computer Science. Genova (Italy): Elsevier; 2001:41-51.
LibreCat
2001 | Report | LibreCat-ID: 8211
Engels G, Küster J, Groenewegen L. On the Specification and Analysis of Protocols in UML-RT. University of Paderborn, Department of Computer Science; 2001.
LibreCat
2001 | Journal Article | LibreCat-ID: 7391
Padberg J, Jansen L, Ehrig H, Schnieder E, Heckel R. Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. Transactions of the Society for Design and Process Science. 2001;5(1):3-21.
LibreCat
2001 | Journal Article | LibreCat-ID: 7392
Heckel R, Ehrig H, Wolter U, Corradini A. Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Applied Categorical Structures. 2001;9(1):83-110.
LibreCat
2001 | Journal Article | LibreCat-ID: 7393
Depke R, Heckel R, Küster J. Roles in Agent-Oriented Modeling. International Journal of Software Engineering and Knowledge Engineering. 2001;11(3):281-302. doi:http://dx.doi.org/10.1142/S0218194001000529
LibreCat
| DOI