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: 7889
Hendrik Hausmann, Jan, and Reiko Heckel. “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), 1:595–99. Wien (Österreich): Österreichische Computer Gesellschaft, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7890
Heckel, Reiko. “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, 129–34. DFG Research Group “Petri Net Technology,” 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7891
Heckel, Reiko, and Stefan Sauer. “Strengthening UML Collaboration Diagrams by State Transformations.” In Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), 2029:109–23. LNCS. London, UK: Springer, 2001. http://dx.doi.org/10.1007/3-540-45314-8_9.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7892
Küster, Jochen. “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, Stefan, and Gregor Engels. “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), 248–55. Washington, DC, USA: IEEE Computer Society, 2001. http://dx.doi.org/10.1109/HCC.2001.995271.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7894
Heckel, Reiko, and Albert Zündorf. “How to Specify a Graph Transformation Approach - A Meta Model for Fujaba.” In Proceeding of the Workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite Event of the ETAPS 2001), edited by H. Ehrig and J. Padberg, 44:41–51. Electronic Notes in Theoretical Computer Science. Genova (Italy): Elsevier, 2001.
LibreCat
2001 | Report | LibreCat-ID: 8211
Engels, Gregor, Jochen Küster, and Luuk Groenewegen. 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, Julia, Lars Jansen, Hartmut Ehrig, E. Schnieder, and Reiko Heckel. “Cooperability in Train Control Systems: Specification of Scenarios Using Open Nets.” Transactions of the Society for Design and Process Science 5, no. 1 (2001): 3–21.
LibreCat
2001 | Journal Article | LibreCat-ID: 7392
Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. “Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.” Applied Categorical Structures 9, no. 1 (2001): 83–110.
LibreCat
2001 | Journal Article | LibreCat-ID: 7393
Depke, Ralph, Reiko Heckel, and Jochen Küster. “Roles in Agent-Oriented Modeling.” International Journal of Software Engineering and Knowledge Engineering 11, no. 3 (2001): 281–302. http://dx.doi.org/10.1142/S0218194001000529.
LibreCat
| DOI