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.
897 Publications
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
B. Lütkemeier, S. Thöne, in: Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany), Konradin-Verlag, 2001.
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
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.
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
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.
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
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.
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
R. Depke, R. Heckel, in: Proceedings of the 9. Kolloquium Software-Entwicklung Für Internet Und Intranet, Ostfildern (Germany), Technische Akademie Esslingen, 2001.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
J. Küster, in: Proceedings of the Forum on Design Languages (FDL’01), Lyon, France, 2001.
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
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.
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
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.
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
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.
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
J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, R. Heckel, Transactions of the Society for Design and Process Science 5 (2001) 3–21.
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
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Applied Categorical Structures 9 (2001) 83–110.
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
R. Depke, R. Heckel, J. Küster, International Journal of Software Engineering and Knowledge Engineering 11 (2001) 281–302.
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
A. Corradini, M. Große-Rhode, R. Heckel, Theoretical Computer Science 260 (2001) 27–55.
2001 | Journal Article | LibreCat-ID: 7395
Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil
G. Engels, J. Gaulke, S. Sauer, Forschungsforum Paderborn 4 (2001) 24–29.
LibreCat
G. Engels, J. Gaulke, S. Sauer, Forschungsforum Paderborn 4 (2001) 24–29.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
H. Ehrig, G. Engels, H.-J. Kreowksi, G. Taentzer, eds., Special Issue: Selected Papers of GRATRA 2000, Elsevier, Amsterdam, The Netherlands, 2000.
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
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.
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
M. Lohmann, A. Wagner, in: Proceedings of Net.Object Days 2000, Erfurt (Germany), 2000.
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
S. Thöne, in: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), Konradin-Verlag, Leinfelden - Echterdingen, 2000.
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
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.
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
R. Depke, M. Langham, B. Lütkemeier, S. Thöne, in: Proceedings of the Net.ObjectDays (2000), Erfurt (Germany), 2000.
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
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.
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
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.
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
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.
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
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.
2000 | Conference Paper | LibreCat-ID: 7876
Graphtransitionsregeln zur Beschreibung der Semantik von UML
J. Hendrik Hausmann, in: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), Konradin Verlag, Leinfelden - Echterdingen, 2000, pp. 103–107.
LibreCat
J. Hendrik Hausmann, in: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), Konradin Verlag, Leinfelden - Echterdingen, 2000, pp. 103–107.
2000 | Conference Paper | LibreCat-ID: 7877
Visualizing the Synchronization of Java-Threads with UML
K. Mehner, A. Wagner, in: Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington), IEEE Computer Society, Washington, DC, USA, 2000, pp. 199–206.
LibreCat
K. Mehner, A. Wagner, in: Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington), IEEE Computer Society, Washington, DC, USA, 2000, pp. 199–206.
2000 | Conference Paper | LibreCat-ID: 7878
Integrating visual modeling of agent-based and object-oriented systems
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Conference on Autonomous Agents (AGENTS 2000), Barcelona (Spain), ACM Press, New York, NY, USA, 2000, pp. 82–83.
LibreCat
| DOI
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Conference on Autonomous Agents (AGENTS 2000), Barcelona (Spain), ACM Press, New York, NY, USA, 2000, pp. 82–83.
2000 | Report | LibreCat-ID: 8207
On the Integration of Roles in the UML
R. Depke, G. Engels, J. Küster, On the Integration of Roles in the UML, University of Paderborn, Department of Computer Science, 2000.
LibreCat
R. Depke, G. Engels, J. Küster, On the Integration of Roles in the UML, University of Paderborn, Department of Computer Science, 2000.
2000 | Report | LibreCat-ID: 8208
Modeling Agent-Based Systems with Graph Transformation
R. Depke, R. Heckel, J. Küster, Modeling Agent-Based Systems with Graph Transformation, University of Paderborn, Department of Computer Science, 2000.
LibreCat
R. Depke, R. Heckel, J. Küster, Modeling Agent-Based Systems with Graph Transformation, University of Paderborn, Department of Computer Science, 2000.
2000 | Report | LibreCat-ID: 8209
On the Concurrent Semantics of Open Graph Transformation Systems and Views
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, On the Concurrent Semantics of Open Graph Transformation Systems and Views, 2000.
LibreCat
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, On the Concurrent Semantics of Open Graph Transformation Systems and Views, 2000.
2000 | Report | LibreCat-ID: 8210
Ablaufvisualisierung für nebenläufige Java-Programme mit UML Interaktionsdiagrammen
K. Mehner, A. Wagner, Ablaufvisualisierung Für Nebenläufige Java-Programme Mit UML Interaktionsdiagrammen, University of Saarbrücken, 2000.
LibreCat
K. Mehner, A. Wagner, Ablaufvisualisierung Für Nebenläufige Java-Programme Mit UML Interaktionsdiagrammen, University of Saarbrücken, 2000.
2000 | Conference Paper | LibreCat-ID: 8329
Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), 2000.
LibreCat
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), 2000.
2000 | Conference Paper | LibreCat-ID: 8330
Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specifcation to Object-Oriented Design
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop on Graph Transformation Systems (GraTra 2000), Berlin (Germany), Berlin, Germany, 2000.
LibreCat
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop on Graph Transformation Systems (GraTra 2000), Berlin (Germany), Berlin, Germany, 2000.
2000 | Conference Paper | LibreCat-ID: 8331
Concurrency of Double-Pullback Graph Transitions
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, in: Proceedings of Workshop on Graph Transformation Systems (GraTra; Satellite Event of the ETAPS 2000), Berlin (Germany), 2000.
LibreCat
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, in: Proceedings of Workshop on Graph Transformation Systems (GraTra; Satellite Event of the ETAPS 2000), Berlin (Germany), 2000.
2000 | Conference Paper | LibreCat-ID: 8332
A Framework for Adding Packages to Graph Transformation Approaches
G. Busatto, G. Engels, K. Mehner, A. Wagner, in: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany), Springer, Berlin/Heidelberg, 2000, pp. 352–367.
LibreCat
| DOI
G. Busatto, G. Engels, K. Mehner, A. Wagner, in: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany), Springer, Berlin/Heidelberg, 2000, pp. 352–367.
2000 | Conference Paper | LibreCat-ID: 8333
Graphical Operational Semantics
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 411–418.
LibreCat
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 411–418.
2000 | Conference Paper | LibreCat-ID: 8334
Towards Role-based Modeling of Autonomous Agents
R. Depke, R. Heckel, in: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), 2000.
LibreCat
R. Depke, R. Heckel, in: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), 2000.
2000 | Conference Paper | LibreCat-ID: 8335
Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML
R. Depke, R. Heckel, J. Küster, in: Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (Satellite Event of the ICSE 2000), Limerick (Ireland), University of Limerick, Limerick, Ireland, 2000.
LibreCat
R. Depke, R. Heckel, J. Küster, in: Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (Satellite Event of the ICSE 2000), Limerick (Ireland), University of Limerick, Limerick, Ireland, 2000.
2000 | Conference Paper | LibreCat-ID: 8336
Deploying Agents in an Electronic Banking Environment
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop on Agents in Industry (Agents 2000; Satellite Event of the 4th International Conference on Autonomous Agents), Barcelona (Spain), 2000.
LibreCat
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop on Agents in Industry (Agents 2000; Satellite Event of the 4th International Conference on Autonomous Agents), Barcelona (Spain), 2000.
2000 | Conference Paper | LibreCat-ID: 8337
Rollenbasierte Modellierung autonomer Agenten
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), Universität Münster, Münster, 2000.
LibreCat
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), Universität Münster, Münster, 2000.
2000 | Conference Paper | LibreCat-ID: 8338
Formalizing the Development of Agent-Based Systems Using Graph Processes
R. Depke, R. Heckel, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 419–426.
LibreCat
R. Depke, R. Heckel, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 419–426.
2000 | Conference Paper | LibreCat-ID: 8339
From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation
G. Engels, R. Heckel, in: Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland), Carleton Scientific, 2000, pp. 373–382.
LibreCat
G. Engels, R. Heckel, in: Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland), Carleton Scientific, 2000, pp. 373–382.
2000 | Conference Paper | LibreCat-ID: 8340
Modeling Concurrent Behavior through Consistent Statechart Views
G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 44–49.
LibreCat
G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 44–49.
2000 | Journal Article | LibreCat-ID: 7396
Graph Transformation and Visual Modeling Techniques
G. Engels, R. Heckel, Bulletin of the EATCS (2000) 186–202.
LibreCat
G. Engels, R. Heckel, Bulletin of the EATCS (2000) 186–202.
2000 | Journal Article | LibreCat-ID: 7397
Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo
A. Corradini, R. Heckel, Bulletin of the EATCS (2000) 69–76.
LibreCat
A. Corradini, R. Heckel, Bulletin of the EATCS (2000) 69–76.
2000 | Journal Article | LibreCat-ID: 7398
Agenten im Auftrag des Bankkunden
R. Depke, R. Heckel, J. Küster, M. Langham, Geldinstitute 31 (2000) 32–33.
LibreCat
R. Depke, R. Heckel, J. Küster, M. Langham, Geldinstitute 31 (2000) 32–33.
2000 | Book | LibreCat-ID: 7509
Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht
E.-E. Doberkat, Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht, LIT Verlag Münster, 2000.
LibreCat
E.-E. Doberkat, Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht, LIT Verlag Münster, 2000.
2000 | Book Chapter | LibreCat-ID: 7520
Unterstützende Angebote der Softwarebegleitgruppe
G. Engels, U. Kelter, R. Depke, K. Mehner, in: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, LIT, Münster, 2000, pp. 27–56.
LibreCat
G. Engels, U. Kelter, R. Depke, K. Mehner, in: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, LIT, Münster, 2000, pp. 27–56.
2000 | Book Chapter | LibreCat-ID: 7521
Ergebnisse - vergleichende Darstellung
G. Engels, R. Depke, K. Mehner, in: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, LIT, Münster, 2000, pp. 277–294.
LibreCat
G. Engels, R. Depke, K. Mehner, in: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, LIT, Münster, 2000, pp. 277–294.
2000 | Book Chapter | LibreCat-ID: 7522
Coordinated Collaboration of Objects
G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–332.
LibreCat
G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–332.
2000 | Conference Paper | LibreCat-ID: 8341
A Fully Abstract Model for Graph-Interpreted Temporal Logic
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, London, UK, 2000, pp. 310–322.
LibreCat
| DOI
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, London, UK, 2000, pp. 310–322.
2000 | Conference Paper | LibreCat-ID: 8342
Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!
G. Engels, A. Zamperoni, in: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), Springer, Berlin/Heidelberg, 2000, pp. 359–368.
LibreCat
| DOI
G. Engels, A. Zamperoni, in: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), Springer, Berlin/Heidelberg, 2000, pp. 359–368.
2000 | Conference Paper | LibreCat-ID: 8343
Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML
R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.
LibreCat
R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.
2000 | Conference Paper | LibreCat-ID: 8344
Strengthening the Semantics of UML Collaboration Diagrams
R. Heckel, S. Sauer, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 63–69.
LibreCat
R. Heckel, S. Sauer, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 63–69.
2000 | Conference Paper | LibreCat-ID: 8345
Towards Consistency of Dynamic Models and Analysis of Timing Constraints
J. Küster, J. Stroop, in: Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK), University of York, York, UK, 2000.
LibreCat
J. Küster, J. Stroop, in: Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK), University of York, York, UK, 2000.
2000 | Conference Paper | LibreCat-ID: 8346
Methodische Aspekte von Modellierungssprachen für nebenläufige Software
K. Mehner, T. Schattkowsky, in: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), Universität Münster, 2000, pp. 14–18.
LibreCat
K. Mehner, T. Schattkowsky, in: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), Universität Münster, 2000, pp. 14–18.
2000 | Conference Paper | LibreCat-ID: 8347
Visualisierung der Synchronisation von Java-Threads mit UML
K. Mehner, A. Wagner, in: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), Fölbach, 2000.
LibreCat
K. Mehner, A. Wagner, in: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), Fölbach, 2000.
1999 | Conference (Editor) | LibreCat-ID: 7792
Informatik '99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
LibreCat
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
1999 | Conference Paper | LibreCat-ID: 7849
Patterns as a Means for Intelligent Software Engineering
D. Deugo, J. Küster, F. Oppacher, I. von Otte, in: Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), CSREA Press, 1999, pp. 605–611.
LibreCat
D. Deugo, J. Küster, F. Oppacher, I. von Otte, in: Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), CSREA Press, 1999, pp. 605–611.
1999 | Conference Paper | LibreCat-ID: 7850
Tile Transition Systems as Structured Coalgebras
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), Springer, Berlin/Heidelberg, 1999, pp. 13–38.
LibreCat
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), Springer, Berlin/Heidelberg, 1999, pp. 13–38.
1999 | Conference Paper | LibreCat-ID: 7851
Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development
A. Cherchago, in: Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia), 1999.
LibreCat
A. Cherchago, in: Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia), 1999.
1999 | Conference Paper | LibreCat-ID: 7852
Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung
G. Engels, R. Depke, C. Borowski, in: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, Technische Akademie Esslingen, Ostfildern, 1999, pp. 531–540.
LibreCat
G. Engels, R. Depke, C. Borowski, in: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, Technische Akademie Esslingen, Ostfildern, 1999, pp. 531–540.
1999 | Conference Paper | LibreCat-ID: 7856
UML Collaboration Diagrams and Their Transformation to Java
G. Engels, R. Hücking, S. Sauer, A. Wagner, in: Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, Springer, Berlin/Heidelberg, 1999, pp. 473–488.
LibreCat
G. Engels, R. Hücking, S. Sauer, A. Wagner, in: Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, Springer, Berlin/Heidelberg, 1999, pp. 473–488.
1999 | Conference Paper | LibreCat-ID: 7858
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), Elsevier, 1999, pp. 80–100.
LibreCat
| DOI
F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), Elsevier, 1999, pp. 80–100.
1999 | Conference Paper | LibreCat-ID: 7859
Modeling Agent-Based Systems with Graph Transformation and UML
R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.
LibreCat
R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.
1999 | Conference Paper | LibreCat-ID: 7860
Extending UML for Modeling of Multimedia Applications
S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan), IEEE Computer Society, Tokyo, Japan, 1999, pp. 80–87.
LibreCat
| DOI
S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan), IEEE Computer Society, Tokyo, Japan, 1999, pp. 80–87.
1999 | Report | LibreCat-ID: 8203
Basic Properties of Double Pullback Graph Transitions
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, Basic Properties of Double Pullback Graph Transitions, Technical University of Berlin, 1999.
LibreCat
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, Basic Properties of Double Pullback Graph Transitions, Technical University of Berlin, 1999.
1999 | Report | LibreCat-ID: 8204
UML Collaboration Diagrams and Their Transformation to Java
G. Engels, R. Hücking, S. Sauer, A. Wagner, UML Collaboration Diagrams and Their Transformation to Java, University of Paderborn, Department of Computer Science, 1999.
LibreCat
G. Engels, R. Hücking, S. Sauer, A. Wagner, UML Collaboration Diagrams and Their Transformation to Java, University of Paderborn, Department of Computer Science, 1999.
1999 | Report | LibreCat-ID: 8205
SOCCA Extended with UML like Packages
G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, SOCCA Extended with UML like Packages, Leiden Institute of Advanced Computer Science, 1999.
LibreCat
G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, SOCCA Extended with UML like Packages, Leiden Institute of Advanced Computer Science, 1999.
1999 | Report | LibreCat-ID: 8206
A Formalisation of SOCCA using Z, part 1: The Type Level Concepts
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts, Leiden Institute of Advanced Computer Science, 1999.
LibreCat
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts, Leiden Institute of Advanced Computer Science, 1999.
1999 | Conference Paper | LibreCat-ID: 8321
UML-basierte Modellierung von Multimediaanwendungen
S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe, Germany, 1999, pp. 155–170.
LibreCat
S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe, Germany, 1999, pp. 155–170.
1999 | Conference Paper | LibreCat-ID: 8322
OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems
S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999, pp. 64–71.
LibreCat
S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999, pp. 64–71.
1999 | Conference Paper | LibreCat-ID: 8323
An Algebra of Graph Derivations using Finite (co-) limit Double Theories
A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106.
LibreCat
| DOI
A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106.
1999 | Conference Paper | LibreCat-ID: 8324
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), Elsevier, Amsterdam, The Netherlands, 1999, pp. 118–141.
LibreCat
| DOI
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), Elsevier, Amsterdam, The Netherlands, 1999, pp. 118–141.
1999 | Conference Paper | LibreCat-ID: 8325
Dynamic Meta Modelling: A Graphical Approach to Operational Semantics
G. Engels, R. Heckel, S. Sauer, in: Proceedings of the Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA), 1999.
LibreCat
G. Engels, R. Heckel, S. Sauer, in: Proceedings of the Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA), 1999.
1999 | Conference Paper | LibreCat-ID: 8326
MVC-Based Modeling Support for Embedded Real-Time Systems
G. Engels, S. Sauer, in: Proceedings of OMER Workshop, Herrsching, Germany, Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999, pp. 11–14.
LibreCat
G. Engels, S. Sauer, in: Proceedings of OMER Workshop, Herrsching, Germany, Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999, pp. 11–14.
1999 | Conference Paper | LibreCat-ID: 8327
An Assessment of Aspect Language Design
K. Mehner, A. Wagner, in: Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
LibreCat
K. Mehner, A. Wagner, in: Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
1999 | Conference Paper | LibreCat-ID: 8328
On the Role of Method Families in Aspect Oriented Programming
K. Mehner, A. Wagner, in: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain), Springer, Berlin/Heidelberg, 1999, pp. 305–306.
LibreCat
K. Mehner, A. Wagner, in: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain), Springer, Berlin/Heidelberg, 1999, pp. 305–306.
1999 | Journal Article | LibreCat-ID: 7399
Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen
R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, Informatik Forschung Und Entwicklung 14 (1999) 83–94.
LibreCat
| DOI
R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, Informatik Forschung Und Entwicklung 14 (1999) 83–94.
1999 | Journal Article | LibreCat-ID: 7400
Formalization of the development process for a software-hardware reflexodiagnostic tool
A. Cherchago, V. Finaev, Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology 3 (1999).
LibreCat
A. Cherchago, V. Finaev, Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology 3 (1999).
1999 | Journal Article | LibreCat-ID: 7401
Graph Transformation for Specification and Programming
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.
LibreCat
| DOI
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.
1999 | Book | LibreCat-ID: 7510
Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools
H. Ehrig, G. Engels, H.J. Kreowski, G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools, World Scientific Publishing Co., Inc., River Edge, NJ, USA, 1999.
LibreCat
H. Ehrig, G. Engels, H.J. Kreowski, G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools, World Scientific Publishing Co., Inc., River Edge, NJ, USA, 1999.
1999 | Book Chapter | LibreCat-ID: 7518
A View-based Approach to System Modeling Based on Open Graph Transformation Systems
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 639–668.
LibreCat
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 639–668.
1999 | Book Chapter | LibreCat-ID: 7519
Classification and Comparison of Module Concepts for Graph Transformation Systems
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 669–689.
LibreCat
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 669–689.