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
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: 7893
S. Sauer and G. 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), 2001, pp. 248–255.
LibreCat | DOI
 

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 | 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: 7393
R. Depke, R. Heckel, and J. Küster, “Roles in Agent-Oriented Modeling,” International Journal of Software Engineering and Knowledge Engineering, vol. 11, no. 3, pp. 281–302, 2001.
LibreCat | DOI
 

2001 | Journal Article | LibreCat-ID: 7394
A. Corradini, M. Große-Rhode, and R. Heckel, “A Coalgebraic presentation of structured transition systems,” Theoretical Computer Science, vol. 260, no. 1–2, pp. 27–55, 2001.
LibreCat | DOI
 

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
 

2001 | Conference Paper | LibreCat-ID: 8355
M. Lohmann and A. Wagner, “Using an XML-capable mailtool for the communication in software development projects,” in Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; satellite event of the ICSE 2001), Toronto (Canada), 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8356
T. Schattkowsky, K. Mehner, and R. Depke, “Using UML models for the Description of Concurrent Behavior in Component Interfaces,” in Proceedings of the Workshop on Concurrency Issues of the UML (satellite event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada), 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8357
R. Depke, R. Heckel, and J. Küster, “Agent-oriented Modeling with Graph Transformation,” in Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland), 2001, vol. 1957, pp. 105–120.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 8358
R. Depke and K. Mehner, “‘Separation of Concern’ mit Rollen, Subjekten und Aspekten,” in Proceedings of the workshop on Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany), 2001, no. tr-ri-01-223, pp. 1–7.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8359
G. Engels and J. Küster, “Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models,” in Proceedings of the 1st Workshop on Describing Software Architecture with UML (satellite event of the ICSE 2001), Toronto (Canada), 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8360
J. Hendrik Hausmann, J. Küster, and S. Sauer, “Identifiying Semantic Dimensions of (UML) Sequence Diagrams,” in Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada), 2001, vol. 7, pp. 142–157.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8361
R. Heckel and J. Küster, “Behavioral Constraints for Visual Models,” in Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, satellite event of the ICALP 2001), Heraklion (Greece), 2001, vol. 50, no. 3.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 8362
K. Mehner and B. Weymann, “Visualization and Debugging of Concurrent Java Programs with UML,” in Proceedings of the Workshop on Software Visualization (satellite event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada), 2001.
LibreCat
 

Filters and Search Terms

(department=66)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed