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.
9332 Publications
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
2001 | Conference Paper | LibreCat-ID: 7889
J. Hendrik Hausmann and R. 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), 2001, vol. 1, pp. 595–599.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7890
R. Heckel, “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, 2001, pp. 129–134.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7891
R. Heckel and S. 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), 2001, vol. 2029, pp. 109–123.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7892
J. Küster, “Towards Behavior Consistent Modeling in UML-RT,” in Proceedings of the Forum on Design Languages (FDL’01), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7894
R. Heckel and A. 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), 2001, vol. 44, pp. 41–51.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8130
F. Ochs and S. Krauter, “Online Energy Monitoring and Control of a School Building,” in Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 2, S. 917–919, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8131
S. Krauter, “Façade Elements for Combined Photovoltaic–Solar Thermal Energy Generation and Building Insulation,” in Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 275–262, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8132
S. Krauter and G. Valentin, “Software for Simulation of Photovoltaic Systems in Buildings,” in Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 283–285, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8133
S. Krauter, “RIO 02 – The World Energy and Climate Event,” in Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band. 2, S. 1049–1052, 2001.
LibreCat
2001 | Report | LibreCat-ID: 8211
G. Engels, J. Küster, and L. 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
J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, and R. Heckel, “Cooperability in Train Control Systems: Specification of Scenarios using Open Nets,” Transactions of the Society for Design and Process Science, vol. 5, no. 1, pp. 3–21, 2001.
LibreCat
2001 | Journal Article | LibreCat-ID: 7392
R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, “Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems,” Applied Categorical Structures, vol. 9, no. 1, pp. 83–110, 2001.
LibreCat
2001 | Journal Article | LibreCat-ID: 7395
G. Engels, J. Gaulke, and S. Sauer, “Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil,” Forschungsforum Paderborn, vol. 4, pp. 24–29, 2001.
LibreCat