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


2002 | Conference Paper | LibreCat-ID: 8364
Process-Oriented, Flexible Composition of Web Services with UML
S. Thöne, R. Depke, G. Engels, in: Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland), Springer, Berlin/Heidelberg, 2002, pp. 390–401.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8365
Towards Consistency-Preserving Model Evolution
G. Engels, J. Küster, R. Heckel, in: Proceedings of the International Workshop on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA), ACM Press, New York, NY, USA, 2002, pp. 129–132.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 8366
Towards Graph Transformation with Time
S. Gyapay, R. Heckel, in: Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), Universität Bremen, 2002, pp. 131–140.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8367
Towards Automatic Translation of UML Models into Semantic Domains
R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), Universität Bremen, 2002, pp. 11–21.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8368
Extended Model Relations with Graphical Consistency Conditions
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceeding of the Workshop on Consistency Problems in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany), Department of Software Engineering and Computer Science, Blekinge Institute of Technology, 2002, pp. 61–74.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8369
Towards a Standard Interface for Runtime Inspection in AOP Environments
K. Mehner, A. Rashid, 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
Lightweight Modeling of Dynamic Websites using UML
T. Schattkowsky, M. Lohmann, R. Heckel, in: Proceedings of Workshop on Web Engineering (Satellite Event of the ICSE 2002), Orlando, FL (USA), 2002.
LibreCat
 

2001 | Conference (Editor) | LibreCat-ID: 7787
Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)
K. Mehner, M. Mezini, E. Pulvermüller, A. Speck, eds., Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany), University of Paderborn, 2001.
LibreCat
 

2001 | Conference (Editor) | LibreCat-ID: 7788
Modellierung 2001
G. Engels, A. Oberweis, A. Zündorf, eds., Modellierung 2001, Gesellschaft für Informatik (GI), Bonn, 2001.
LibreCat
 

2001 | Conference (Editor) | LibreCat-ID: 7789
Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE '01), Erfurt (Germany)
K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, 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
Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle
B. Lütkemeier, S. Thöne, in: Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany), Konradin-Verlag, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7880
Compositional Modeling of Reactive Systems Using Open Nets
P. Baldan, A. Corradini, H. Ehrig, R. Heckel, in: Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), Springer, Berlin/Heidelberg, 2001, pp. 502–518.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7881
Consistent Design of Embedded Real-Time Systems with UML-RT
J. Küster, J. Stroop, in: Proceedings of the Conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany), IEEE Computer Society, Washington, DC, USA, 2001, pp. 31–40.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7882
Improving the Agent-Oriented Modeling Process with Roles
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada), ACM Press, New York, NY, USA, 2001, pp. 640–647.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7883
Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform
R. Depke, R. Heckel, 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
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
G. Engels, R. Heckel, J. Küster, in: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), Springer, Berlin/Heidelberg, 2001, pp. 272–287.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7885
A methodology for specifying and analyzing consistency of object-oriented behavioral models
G. Engels, J. Küster, L. Groenewegen, R. Heckel, 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), ACM Press, New York, NY, USA, 2001, pp. 186–195.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7886
Towards UML-based Analysis and Design of Multi-Agent Systems
C. Geiger, S. Flake, J. Küster, 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
Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution
R. Heckel, G. Engels, 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), Universidade Nova de Lisboa, Lisbon, 2001, pp. 42–47.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7888
Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 80–87.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7889
Use Cases as views: A formal approach to Requirements engineering in the Unified Process
J. Hendrik Hausmann, R. Heckel, in: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich), Österreichische Computer Gesellschaft, Wien (Österreich), 2001, pp. 595–599.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7890
Open Petri Nets as Semantic Model for Business Process Integration
R. Heckel, in: Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, DFG Research Group “Petri Net Technology,” 2001, pp. 129–134.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7891
Strengthening UML Collaboration Diagrams by State Transformations
R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), Springer, London, UK, 2001, pp. 109–123.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7892
Towards Behavior Consistent Modeling in UML-RT
J. Küster, in: Proceedings of the Forum on Design Languages (FDL’01), Lyon, France, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7893
UML-based Behavior Specification of Interactive Multimedia Applications
S. Sauer, G. Engels, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 248–255.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7894
How to Specify a Graph Transformation Approach - A Meta Model for Fujaba
R. Heckel, A. Zündorf, in: H. Ehrig, J. Padberg (Eds.), Proceeding of the Workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite Event of the ETAPS 2001), Elsevier, Genova (Italy), 2001, pp. 41–51.
LibreCat
 

2001 | Report | LibreCat-ID: 8211
On the Specification and Analysis of Protocols in UML-RT
G. Engels, J. Küster, 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
Cooperability in Train Control Systems: Specification of Scenarios using Open Nets
J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, R. Heckel, Transactions of the Society for Design and Process Science 5 (2001) 3–21.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 7392
Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Applied Categorical Structures 9 (2001) 83–110.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 7393
Roles in Agent-Oriented Modeling
R. Depke, R. Heckel, J. Küster, International Journal of Software Engineering and Knowledge Engineering 11 (2001) 281–302.
LibreCat | DOI
 

2001 | Journal Article | LibreCat-ID: 7394
A Coalgebraic presentation of structured transition systems
A. Corradini, M. Große-Rhode, R. Heckel, Theoretical Computer Science 260 (2001) 27–55.
LibreCat | DOI
 

2001 | Journal Article | LibreCat-ID: 7395 LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8355
Using an XML-capable mailtool for the communication in software development projects
M. Lohmann, A. Wagner, 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
Using UML models for the Description of Concurrent Behavior in Component Interfaces
T. Schattkowsky, K. Mehner, R. Depke, 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
Agent-oriented Modeling with Graph Transformation
R. Depke, R. Heckel, J. Küster, in: Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland), Springer, Berlin/Heidelberg, 2001, pp. 105–120.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 8358
"Separation of Concern" mit Rollen, Subjekten und Aspekten
R. Depke, K. Mehner, in: Proceedings of the Workshop on Aspektorientierung - Workshop Der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany), Universität Paderborn, 2001, pp. 1–7.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8359
Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models
G. Engels, J. Küster, 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
Identifiying Semantic Dimensions of (UML) Sequence Diagrams
J. Hendrik Hausmann, J. Küster, S. Sauer, 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), Gesellschaft für Informatik (GI), Bonn, 2001, pp. 142–157.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8361
Behavioral Constraints for Visual Models
R. Heckel, J. Küster, in: Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, Satellite Event of the ICALP 2001), Heraklion (Greece), Elsevier, 2001.
LibreCat | DOI
 

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

2000 | Conference (Editor) | LibreCat-ID: 7790
Special Issue: Selected Papers of GRATRA 2000
H. Ehrig, G. Engels, H.-J. Kreowksi, G. Taentzer, eds., Special Issue: Selected Papers of GRATRA 2000, Elsevier, Amsterdam, The Netherlands, 2000.
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 7791
Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland)
J.D.P. Rolim, A.Z. Broder, A. Corradini, R. Gorrieri, R. Heckel, J. Hromkovic, U. Vaccaro, J.B. Wells, eds., Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland), Carleton Scientific, Waterloo, Ontario, Canada, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7861
Konzeption eines XML-fähigen Mailtools
M. Lohmann, A. Wagner, in: Proceedings of Net.Object Days 2000, Erfurt (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7862
Entwicklung eines Übersetzers von Nachrichtenaustauschformaten für Bankselbstbedienungssysteme in XML-Formate
S. Thöne, in: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), Konradin-Verlag, Leinfelden - Echterdingen, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7863
A Model of a Physician’s Decision-Making Process using Electropunctural Methods of Diagnostics
A. Cherchago, N. Alexandrova, in: Proceedings of the All-Russia Students, Young Scientists and Specialists Scientific and Technical Conference on Biotechnical, Medical and Environmental Systems and Complexes (Ryazan, Russia), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7864
Ein Konzept zur Generierung von XSL-Transformationen und dessen Anwendung bei Bankselbstbedienungssystemen
R. Depke, M. Langham, B. Lütkemeier, S. Thöne, in: Proceedings of the Net.ObjectDays (2000), Erfurt (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7872
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution
G. Engels, R. Heckel, in: Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland), Springer, Berlin/Heidelberg, 2000, pp. 127–150.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 7873
UML - A Universal Modeling Language?
G. Engels, R. Heckel, S. Sauer, in: Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), Springer, Berlin/Heidelberg, 2000, pp. 24–38.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7874
Object-Oriented Modeling - A Roadmap
G. Engels, L. Groenewegen, in: Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland), ACM Press, New York, NY, USA, 2000, pp. 103–116.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7875
Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK), Springer, Berlin/Heidelberg, 2000, pp. 323–337.
LibreCat | DOI
 

Filters and Search Terms

department=66

Search

Filter Publications

Display / Sort

Export / Embed