433 Publications
2003 | Conference Paper | LibreCat-ID: 8376
A. Förster and G. Engels, “Quality Ensuring Development of Software Processes,” in Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland), 2003, vol. 2786, pp. 62–73.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7896
R. Depke, G. Engels, M. Langham, B. Lütkemeier, and S. Thöne, “Process-Oriented, Consistent Integration of Software Components,” in Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England), 2002, pp. 13–18.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7897
G. Engels, R. Heckel, J. Küster, and L. Groenewegen, “Consistency-Preserving Model Evolution through Transformations,” in Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), 2002, vol. 2460, pp. 212–226.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7898
G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction Of Software Components,” in Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002, vol. 6, no. 4, pp. 2–22.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7899
G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Testing the Consistency of Dynamic UML Diagrams,” in Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 7387
G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction of Software Components,” Transactions of the SDPS: Journal of Integrated Design & Process Science, vol. 6, no. 4, pp. 2–22, 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 7389
E.-E. Doberkat and G. Engels, “MuSofT - Multimedia in der Softwaretechnik,” Informatik Forschung und Entwicklung, vol. 1, no. 17, pp. 41–44, 2002.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7525
G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, Berlin/Heidelberg: Springer, 2002, pp. 257–276.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7526
G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics, vol. P-19, Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7528
G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa, Eds. Berlin/Heidelberg: Springer, 2002, pp. 257–276.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7529
G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics, vol. P-19, S. Schubert, B. Reusch, and N. Jesse, Eds. Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8364
S. Thöne, R. Depke, and G. Engels, “Process-Oriented, Flexible Composition of Web Services with UML,” in Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland), 2002, vol. 2784, pp. 390–401.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8365
G. Engels, J. Küster, and R. Heckel, “Towards Consistency-Preserving Model Evolution,” in Proceedings of the International Workshop on Principles of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA), 2002, pp. 129–132.
LibreCat
| DOI
2001 | Conference (Editor) | LibreCat-ID: 7788
G. Engels, A. Oberweis, and A. Zündorf, Eds., Modellierung 2001, vol. 1. Bonn: Gesellschaft für Informatik (GI), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7884
G. Engels, R. Heckel, and J. Küster, “Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model,” in Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), 2001, vol. 2185, pp. 272–287.
LibreCat
| DOI
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: 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 | 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: 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: 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
2000 | Conference (Editor) | LibreCat-ID: 7790
H. Ehrig, G. Engels, H.-J. Kreowksi, and G. Taentzer, Eds., Special Issue: Selected Papers of GRATRA 2000, vol. 44, no. 2. Amsterdam, The Netherlands: Elsevier, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
G. Engels and R. Heckel, “Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution,” in Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland), 2000, vol. 1853, pp. 127–150.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7873
G. Engels, R. Heckel, and S. Sauer, “UML - A Universal Modeling Language?,” in Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), 2000, vol. 1825, pp. 24–38.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7874
G. Engels and L. Groenewegen, “Object-Oriented Modeling - A Roadmap,” in Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland), 2000, pp. 103–116.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7875
G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML,” in Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK), 2000, vol. 1939, pp. 323–337.
LibreCat
| DOI
2000 | Report | LibreCat-ID: 8207
R. Depke, G. Engels, and J. Küster, On the Integration of Roles in the UML. University of Paderborn, Department of Computer Science, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8332
G. Busatto, G. Engels, K. Mehner, and A. Wagner, “A Framework for Adding Packages to Graph Transformation Approaches,” in Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany), 2000, vol. 1764, pp. 352–367.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8339
G. Engels and R. Heckel, “From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation,” in Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland), 2000, pp. 373–382.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8340
G. Engels, J. Küster, and L. Groenewegen, “Modeling Concurrent Behavior through Consistent Statechart Views,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 44–49.
LibreCat
2000 | Journal Article | LibreCat-ID: 7396
G. Engels and R. Heckel, “Graph Transformation and Visual Modeling Techniques,” Bulletin of the EATCS, no. 71, pp. 186–202, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7520
G. Engels, U. Kelter, R. Depke, and K. Mehner, “Unterstützende Angebote der Softwarebegleitgruppe,” in Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, Münster: LIT, 2000, pp. 27–56.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7521
G. Engels, R. Depke, and K. Mehner, “Ergebnisse - vergleichende Darstellung,” in Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, Münster: LIT, 2000, pp. 277–294.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7522
G. Engels, L. Groenewegen, and G. Kappel, “Coordinated Collaboration of Objects,” in Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–332.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8342
G. Engels and A. Zamperoni, “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!,” in Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), 2000, vol. 1779, pp. 359–368.
LibreCat
| DOI
1999 | Conference (Editor) | LibreCat-ID: 7792
G. Engels, K. Beiersdörfer, and W. Schäfer, Eds., Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7852
G. Engels, R. Depke, and C. Borowski, “Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung,” in Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, 1999, vol. 8, pp. 531–540.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
G. Engels, R. Hücking, S. Sauer, and A. Wagner, “UML Collaboration Diagrams and Their Transformation to Java,” in Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, 1999, vol. 1723, pp. 473–488.
LibreCat
1999 | Report | LibreCat-ID: 8204
G. Engels, R. Hücking, S. Sauer, and A. Wagner, UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science, 1999.
LibreCat
1999 | Report | LibreCat-ID: 8205
G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, and P. Koopman, SOCCA Extended with UML like Packages. Leiden Institute of Advanced Computer Science, 1999, pp. 99–06.
LibreCat
1999 | Report | LibreCat-ID: 8206
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, and P. Jan t’Hoen, A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
S. Sauer and G. Engels, “UML-basierte Modellierung von Multimediaanwendungen,” in Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe, 1999, pp. 155–170.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
S. Sauer and G. Engels, “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems,” in Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), 1999, pp. 64–71.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8325
G. Engels, R. Heckel, and S. Sauer, “Dynamic Meta Modelling: A Graphical Approach to Operational Semantics,” 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
1999 | Conference Paper | LibreCat-ID: 8326
G. Engels and S. Sauer, “MVC-Based Modeling Support for Embedded Real-Time Systems,” in Proceedings of OMER Workshop, Herrsching, Germany, 1999, no. 01, pp. 11–14.
LibreCat
1999 | Book | LibreCat-ID: 7510
H. Ehrig, G. Engels, H. J. Kreowski, and G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools. River Edge, NJ, USA: World Scientific Publishing Co., Inc., 1999.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7518
R. Heckel, G. Engels, H. Ehrig, and G. Taentzer, “A View-based Approach to System Modeling Based on Open Graph Transformation Systems,” in Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, Singapore: World Scientific, 1999, pp. 639–668.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7519
R. Heckel, G. Engels, H. Ehrig, and G. Taentzer, “Classification and Comparison of Module Concepts for Graph Transformation Systems,” in Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, vol. 2, Singapore: World Scientific, 1999, pp. 669–689.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7793
G. Engels, H. Ehrig, F. Orejas, and M. Wirsing, Eds., Semi-Formal and Formal Specification Techniques, vol. 218. Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7794
G. Engels, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds., 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers, vol. 1764. Berlin/Heidelberg: Springer, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7843
R. Depke, G. Engels, K. Mehner, S. Sauer, and A. Wagner, “Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen,” in Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), 1998, vol. 18, no. 3, pp. 12–19.
LibreCat
1998 | Report | LibreCat-ID: 8202
G. Engels and S. Kolmschlag, Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken. University of Paderborn, C-LAB, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8280
S. Kolmschlag and G. Engels, “Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken,” in Proceedings of the workshop on “Integration heterogener Softwaresysteme” (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany), 1998, pp. 13–24.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8285
H. Ehrig, G. Engels, R. Heckel, and G. Taentzer, “Classification and Comparison of Modularity Concepts for Graph Transformation Systems,” in Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany), 1998, no. tr-ri-98-201, pp. 122–131.
LibreCat
1997 | Conference Paper | LibreCat-ID: 7839
G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A View-Oriented Approach to System Modelling Using Graph Transformations,” in Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), 1997, vol. 1301, pp. 327–343.
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 7403
G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A Combined Reference Model- and View-Based Approach to System Specification,” Int. Journal of Software and Knowledge Engeneering, vol. 7, no. 4, pp. 457–477, 1997.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7516
G. Engels, J. Rekers, and M. Andries, “How to represent a visual specification,” in Visual Language Theory, Berlin/Heidelberg: Springer, 1997, pp. 241–255.
LibreCat
1996 | Conference (Editor) | LibreCat-ID: 7796
G. Engels, H. Ehrig, G. Rozenberg, and A. Skowron, Eds., Special Issue on Graph Transformations, vol. 26, no. 3–4. Amsterdam: IOS Press, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7834
H. Ehrig et al., “Synchronization of Views and Loose Semantics of Typed Graph Productions,” in Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, no. 155, pp. 11–12.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7836
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, and M. Rijnbeek, “Industrial maintenance modelled in SOCCA: an experience report,” in Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), 1996, pp. 13–26.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 7837
G. Engels, H. Ehrig, R. Heckel, G. Taentzer, and A. Corradini, “A View-Based Approach to System Modelling,” in Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, vol. 155, p. 11.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7838
G. Engels, L. Groenewegen, and G. Kappel, “Object-oriented specification of coordinated collaboration,” in Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), 1996, pp. 437–452.
LibreCat
1996 | Report | LibreCat-ID: 8197
M. Andries et al., Graph Transformation for Specification and Programming. University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
1996 | Report | LibreCat-ID: 8198
G. Busatto and G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
1996 | Report | LibreCat-ID: 8199
G. Engels, L. Groenewegen, and G. Kappel, Object-oriented Specification of Coordinated Collaboration. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8272
H. Ehrig and G. Engels, “Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems,” in Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), 1996, vol. 1073, pp. 137–154.
LibreCat
| Download (ext.)
1996 | Conference Paper | LibreCat-ID: 8273
G. Engels and A. Zamperoni, “Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper),” in Proceedings of the Workshop on Requirements Engineering in a Changing World (satellite event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8274
L. Groenewegen and G. Engels, “Reuse of Software Process Fragments is Reuse of Software, too,” in Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), 1996, p. 68.
LibreCat
1996 | Book Chapter | LibreCat-ID: 7514
G. Engels, M. Nagl, W. Schäfer, and B. Westfechtel, “Tight Integration on One Document: The Programming Environment,” in Building Tightly Integrated Software Development Environments: The IPSEN Approach, vol. 1170, Berlin/Heidelberg: Springer, 1996, pp. 170–177.
LibreCat
1995 | Report | LibreCat-ID: 8195
J. Ebert and G. Engels, Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau, 1995.
LibreCat
1995 | Report | LibreCat-ID: 8196
G. Engels and A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8266
L. Groenewegen and G. Engels, “Coordination by Behavioural Views and Communication Patterns,” in Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), 1995, vol. 913, pp. 189–192.
LibreCat
| DOI
1994 | Conference (Editor) | LibreCat-ID: 7797
H.-D. Ehrich, G. Engels, J. Paredaens, and J. Wegner, Eds., Fundamentals of Object-Oriented Languages, Systems, and Methods, vol. 95. Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7828
J. Ebert and G. Engels, “Structural and Behavioural Views on OMT-Classes,” in Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), 1994, vol. 858, pp. 142–157.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7829
G. Engels and G. Kappel, “Object-Oriented System Development: Will the New Approach Solve Old Problems?,” in Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), 1994, vol. 3, pp. 434–441.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7830
G. Engels and H. Ehrig, “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective,” in Proceedings Colloquium on Graph Transformation and its Application in Computer Science, 1994, vol. B-19.
LibreCat
1994 | Report | LibreCat-ID: 8193
J. Ebert and G. Engels, Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 8265
G. Engels and P. Löhr, “Visual Specification of Complex Database Actions,” in Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), 1994, pp. 303–314.
LibreCat
1994 | Journal Article | LibreCat-ID: 7407
P. Löhr-Richter and G. Engels, “Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen,” GI-Datenbank Rundbrief, vol. 13, pp. 33–35, 1994.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7512
J. Ebert and G. Engels, “Design Representation,” in Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–394.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7513
G. Engels and L. Groenewegen, “SOCCA: Specifications of Coordinated and Cooperative Activities,” in Software Process Modelling and Technology, Taunton: Research Studies Press, 1994, pp. 71–102.
LibreCat
1993 | Conference Paper | LibreCat-ID: 7826
G. Engels and A. A. Verrijn-Stuart, “Integrationsaspekte bei verteilter Software-Entwicklung,” in Fortschritt-Berichte VDI, 1993, no. 251, pp. 45–53.
LibreCat
1993 | Report | LibreCat-ID: 8190
M. Andries and G. Engels, A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
1993 | Report | LibreCat-ID: 8191
H. Ehrig and G. Engels, Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
1993 | Report | LibreCat-ID: 8192
G. Engels and G. Rozenberg, Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 8262
G. Engels and L. Groenewegen, “Modular, Visual Specifications of Software Processes,” in Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), 1993, pp. 66–68.
LibreCat
1992 | Conference Paper | LibreCat-ID: 7825
P. Koopman, L. Groenewegen, and G. Engels, “Functional Description of Parallel Processes,” in Proceedings of the conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 1992, pp. 156–167.
LibreCat
1992 | Report | LibreCat-ID: 8189
G. Engels, Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University, 1992.
LibreCat
1992 | Conference Paper | LibreCat-ID: 8260
G. Engels and P. Löhr-Richter, “CADDY: A Highly Integrated Environment to Support Conceptual Database Design,” in Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada), 1992, pp. 19–22.
LibreCat
1992 | Conference Paper | LibreCat-ID: 8261
G. Engels and L. Groenewegen, “Specification of Coordinated Behaviour in the Software Development Process,” in Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, 1992, vol. 635, pp. 58–60.
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 7409
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, and A. Schürr, “Building Integrated Software Development Environments, Part I: Tool Specification,” ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 1, no. 2, pp. 135–167, 1992.
LibreCat
1991 | Report | LibreCat-ID: 8188
P. Löhr-Richter and G. Engels, Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands: Leiden University, 1991.
LibreCat
1990 | Conference Paper | LibreCat-ID: 7824
U. Hohenstein and G. Engels, “Formal Semantics of an Entity-Relationship Query Language,” in Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, 1990, pp. 177–188.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7821
J. Ebert and G. Engels, “Konzepte einer Software-Architektur-Beschreibungssprache,” in Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), 1989, vol. 212, pp. 238–250.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7822
G. Engels, “CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata,” in Tagungsband GI-Fachtagung “Interaktive Schnittstellen für Informationssysteme”, TU Clausthal, Notizen zu Interaktive Systeme, 1989, vol. 18, pp. 1–16.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7823
G. Engels, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, and H.-D. Ehrich, “CADDY: Computer-Aided Design of Non-Standard Databases,” in Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany, 1989.
LibreCat
1989 | Report | LibreCat-ID: 8187
G. Engels, Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig, 1989.
LibreCat
1989 | Book | LibreCat-ID: 7511
G. Engels and W. Schäfer, Programmentwicklungsumgebungen: Konzepte und Realisierung. Stuttgart: Teubner, 1989.
LibreCat
1988 | Conference Paper | LibreCat-ID: 7819
G. Engels, U. Hohenstein, L. Neugebauer, G. Saake, and H.-D. Ehrich, “Konzeption einer integrierten Datenbank-Entwurfsumgebung,” in Proceedings of DBTA/SI Data Dictionaries und Entwicklungswerkzeuge für Datenbank-Anwendungen, Zürich, Switzerland, 1988, pp. 151–157.
LibreCat
1988 | Conference Paper | LibreCat-ID: 7820
G. Engels, U. Hohenstein, G. Saake, and H.-D. Ehrich, “Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung,” in Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen,” 1988, pp. 38–51.
LibreCat
1988 | Report | LibreCat-ID: 8186
J. Ebert and G. Engels, Ein Konzept zur Beschreibung von Software-Architekturen. EWH Koblenz, 1988.
LibreCat
1988 | Conference Paper | LibreCat-ID: 8258
G. Engels, T. Janning, and W. Schäfer, “Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung,” in Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany, 1988.
LibreCat
1987 | Conference Paper | LibreCat-ID: 7816
G. Engels and A. Schürr, “A Hybrid Interpreter in a Software Development Environment,” in Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), 1987, vol. 289, pp. 80–88.
LibreCat
1987 | Conference Paper | LibreCat-ID: 7817
G. Engels, M. Nagl, and W. Schäfer, “On the Structure of Structure-Oriented Editors for Different Applications,” in Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, 1987, vol. 22, no. 1, pp. 190–198.
LibreCat
1987 | Conference Paper | LibreCat-ID: 8257
G. Engels, C. Lewerentz, and W. Schäfer, “Graph Grammar Engineering: A Software Specification Method,” in Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), 1987, vol. 291, pp. 186–201.
LibreCat
| DOI
1986 | Conference Paper | LibreCat-ID: 7815
G. Engels, C. Lewerentz, M. Nagl, and W. Schäfer, “On the Structure of an Incremental and Integrated Software Development Environment,” in Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA, 1986, vol. 2a, pp. 585–597.
LibreCat
1986 | Conference Paper | LibreCat-ID: 8256
G. Engels and A. Sandbrink, “Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques,” in Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, 1986, vol. 12, pp. 172–184.
LibreCat
1986 | Dissertation | LibreCat-ID: 7588
G. Engels, Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung. 1986.
LibreCat
1985 | Conference Paper | LibreCat-ID: 7813
G. Engels and W. Schäfer, “Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment,” in Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany), 1985, vol. 186, pp. 179–193.
LibreCat
1985 | Conference Paper | LibreCat-ID: 7814
G. Engels and W. Schäfer, “The Design of an Adaptive and Portable Programming Support Environment,” in Proceedings of the International Computing Symposium, Amsterdam (The Netherlands), 1985.
LibreCat
1983 | Conference Paper | LibreCat-ID: 8255
M. Nagl, G. Engels, R. Gall, and W. Schäfer, “Software Specification by Graph Grammars,” in Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), 1983, vol. 153, pp. 267–287.
LibreCat
| DOI
1982 | Conference Paper | LibreCat-ID: 7811
G. Engels and W. Schäfer, “Specification of a Programming Support Environment by Graph Grammars,” in Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), 1982, pp. 47–62.
LibreCat
1982 | Conference Paper | LibreCat-ID: 7812
U. Pletat, G. Engels, and H.-D. Ehrich, “An Operational Approach to Conditional Algebraic Specifications,” in Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France), 1982, vol. 82, pp. 254–270.
LibreCat
1981 | Report | LibreCat-ID: 8184
G. Engels, U. Pletat, and H.-D. Ehrich, Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
LibreCat
1981 | Report | LibreCat-ID: 8185
U. Pletat, G. Engels, and H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.
LibreCat
433 Publications
2003 | Conference Paper | LibreCat-ID: 8376
A. Förster and G. Engels, “Quality Ensuring Development of Software Processes,” in Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland), 2003, vol. 2786, pp. 62–73.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7896
R. Depke, G. Engels, M. Langham, B. Lütkemeier, and S. Thöne, “Process-Oriented, Consistent Integration of Software Components,” in Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England), 2002, pp. 13–18.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7897
G. Engels, R. Heckel, J. Küster, and L. Groenewegen, “Consistency-Preserving Model Evolution through Transformations,” in Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), 2002, vol. 2460, pp. 212–226.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7898
G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction Of Software Components,” in Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002, vol. 6, no. 4, pp. 2–22.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7899
G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Testing the Consistency of Dynamic UML Diagrams,” in Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 7387
G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction of Software Components,” Transactions of the SDPS: Journal of Integrated Design & Process Science, vol. 6, no. 4, pp. 2–22, 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 7389
E.-E. Doberkat and G. Engels, “MuSofT - Multimedia in der Softwaretechnik,” Informatik Forschung und Entwicklung, vol. 1, no. 17, pp. 41–44, 2002.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7525
G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, Berlin/Heidelberg: Springer, 2002, pp. 257–276.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7526
G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics, vol. P-19, Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7528
G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa, Eds. Berlin/Heidelberg: Springer, 2002, pp. 257–276.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7529
G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics, vol. P-19, S. Schubert, B. Reusch, and N. Jesse, Eds. Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8364
S. Thöne, R. Depke, and G. Engels, “Process-Oriented, Flexible Composition of Web Services with UML,” in Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland), 2002, vol. 2784, pp. 390–401.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8365
G. Engels, J. Küster, and R. Heckel, “Towards Consistency-Preserving Model Evolution,” in Proceedings of the International Workshop on Principles of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA), 2002, pp. 129–132.
LibreCat
| DOI
2001 | Conference (Editor) | LibreCat-ID: 7788
G. Engels, A. Oberweis, and A. Zündorf, Eds., Modellierung 2001, vol. 1. Bonn: Gesellschaft für Informatik (GI), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7884
G. Engels, R. Heckel, and J. Küster, “Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model,” in Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), 2001, vol. 2185, pp. 272–287.
LibreCat
| DOI
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: 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 | 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: 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: 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
2000 | Conference (Editor) | LibreCat-ID: 7790
H. Ehrig, G. Engels, H.-J. Kreowksi, and G. Taentzer, Eds., Special Issue: Selected Papers of GRATRA 2000, vol. 44, no. 2. Amsterdam, The Netherlands: Elsevier, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
G. Engels and R. Heckel, “Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution,” in Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland), 2000, vol. 1853, pp. 127–150.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7873
G. Engels, R. Heckel, and S. Sauer, “UML - A Universal Modeling Language?,” in Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), 2000, vol. 1825, pp. 24–38.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7874
G. Engels and L. Groenewegen, “Object-Oriented Modeling - A Roadmap,” in Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland), 2000, pp. 103–116.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7875
G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML,” in Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK), 2000, vol. 1939, pp. 323–337.
LibreCat
| DOI
2000 | Report | LibreCat-ID: 8207
R. Depke, G. Engels, and J. Küster, On the Integration of Roles in the UML. University of Paderborn, Department of Computer Science, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8332
G. Busatto, G. Engels, K. Mehner, and A. Wagner, “A Framework for Adding Packages to Graph Transformation Approaches,” in Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany), 2000, vol. 1764, pp. 352–367.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8339
G. Engels and R. Heckel, “From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation,” in Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland), 2000, pp. 373–382.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8340
G. Engels, J. Küster, and L. Groenewegen, “Modeling Concurrent Behavior through Consistent Statechart Views,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 44–49.
LibreCat
2000 | Journal Article | LibreCat-ID: 7396
G. Engels and R. Heckel, “Graph Transformation and Visual Modeling Techniques,” Bulletin of the EATCS, no. 71, pp. 186–202, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7520
G. Engels, U. Kelter, R. Depke, and K. Mehner, “Unterstützende Angebote der Softwarebegleitgruppe,” in Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, Münster: LIT, 2000, pp. 27–56.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7521
G. Engels, R. Depke, and K. Mehner, “Ergebnisse - vergleichende Darstellung,” in Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, Münster: LIT, 2000, pp. 277–294.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7522
G. Engels, L. Groenewegen, and G. Kappel, “Coordinated Collaboration of Objects,” in Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–332.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8342
G. Engels and A. Zamperoni, “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!,” in Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), 2000, vol. 1779, pp. 359–368.
LibreCat
| DOI
1999 | Conference (Editor) | LibreCat-ID: 7792
G. Engels, K. Beiersdörfer, and W. Schäfer, Eds., Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7852
G. Engels, R. Depke, and C. Borowski, “Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung,” in Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, 1999, vol. 8, pp. 531–540.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
G. Engels, R. Hücking, S. Sauer, and A. Wagner, “UML Collaboration Diagrams and Their Transformation to Java,” in Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, 1999, vol. 1723, pp. 473–488.
LibreCat
1999 | Report | LibreCat-ID: 8204
G. Engels, R. Hücking, S. Sauer, and A. Wagner, UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science, 1999.
LibreCat
1999 | Report | LibreCat-ID: 8205
G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, and P. Koopman, SOCCA Extended with UML like Packages. Leiden Institute of Advanced Computer Science, 1999, pp. 99–06.
LibreCat
1999 | Report | LibreCat-ID: 8206
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, and P. Jan t’Hoen, A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
S. Sauer and G. Engels, “UML-basierte Modellierung von Multimediaanwendungen,” in Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe, 1999, pp. 155–170.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
S. Sauer and G. Engels, “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems,” in Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), 1999, pp. 64–71.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8325
G. Engels, R. Heckel, and S. Sauer, “Dynamic Meta Modelling: A Graphical Approach to Operational Semantics,” 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
1999 | Conference Paper | LibreCat-ID: 8326
G. Engels and S. Sauer, “MVC-Based Modeling Support for Embedded Real-Time Systems,” in Proceedings of OMER Workshop, Herrsching, Germany, 1999, no. 01, pp. 11–14.
LibreCat
1999 | Book | LibreCat-ID: 7510
H. Ehrig, G. Engels, H. J. Kreowski, and G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools. River Edge, NJ, USA: World Scientific Publishing Co., Inc., 1999.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7518
R. Heckel, G. Engels, H. Ehrig, and G. Taentzer, “A View-based Approach to System Modeling Based on Open Graph Transformation Systems,” in Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, Singapore: World Scientific, 1999, pp. 639–668.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7519
R. Heckel, G. Engels, H. Ehrig, and G. Taentzer, “Classification and Comparison of Module Concepts for Graph Transformation Systems,” in Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, vol. 2, Singapore: World Scientific, 1999, pp. 669–689.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7793
G. Engels, H. Ehrig, F. Orejas, and M. Wirsing, Eds., Semi-Formal and Formal Specification Techniques, vol. 218. Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7794
G. Engels, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds., 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers, vol. 1764. Berlin/Heidelberg: Springer, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7843
R. Depke, G. Engels, K. Mehner, S. Sauer, and A. Wagner, “Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen,” in Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), 1998, vol. 18, no. 3, pp. 12–19.
LibreCat
1998 | Report | LibreCat-ID: 8202
G. Engels and S. Kolmschlag, Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken. University of Paderborn, C-LAB, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8280
S. Kolmschlag and G. Engels, “Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken,” in Proceedings of the workshop on “Integration heterogener Softwaresysteme” (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany), 1998, pp. 13–24.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8285
H. Ehrig, G. Engels, R. Heckel, and G. Taentzer, “Classification and Comparison of Modularity Concepts for Graph Transformation Systems,” in Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany), 1998, no. tr-ri-98-201, pp. 122–131.
LibreCat
1997 | Conference Paper | LibreCat-ID: 7839
G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A View-Oriented Approach to System Modelling Using Graph Transformations,” in Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), 1997, vol. 1301, pp. 327–343.
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 7403
G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A Combined Reference Model- and View-Based Approach to System Specification,” Int. Journal of Software and Knowledge Engeneering, vol. 7, no. 4, pp. 457–477, 1997.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7516
G. Engels, J. Rekers, and M. Andries, “How to represent a visual specification,” in Visual Language Theory, Berlin/Heidelberg: Springer, 1997, pp. 241–255.
LibreCat
1996 | Conference (Editor) | LibreCat-ID: 7796
G. Engels, H. Ehrig, G. Rozenberg, and A. Skowron, Eds., Special Issue on Graph Transformations, vol. 26, no. 3–4. Amsterdam: IOS Press, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7834
H. Ehrig et al., “Synchronization of Views and Loose Semantics of Typed Graph Productions,” in Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, no. 155, pp. 11–12.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7836
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, and M. Rijnbeek, “Industrial maintenance modelled in SOCCA: an experience report,” in Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), 1996, pp. 13–26.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 7837
G. Engels, H. Ehrig, R. Heckel, G. Taentzer, and A. Corradini, “A View-Based Approach to System Modelling,” in Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, vol. 155, p. 11.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7838
G. Engels, L. Groenewegen, and G. Kappel, “Object-oriented specification of coordinated collaboration,” in Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), 1996, pp. 437–452.
LibreCat
1996 | Report | LibreCat-ID: 8197
M. Andries et al., Graph Transformation for Specification and Programming. University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
1996 | Report | LibreCat-ID: 8198
G. Busatto and G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
1996 | Report | LibreCat-ID: 8199
G. Engels, L. Groenewegen, and G. Kappel, Object-oriented Specification of Coordinated Collaboration. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8272
H. Ehrig and G. Engels, “Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems,” in Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), 1996, vol. 1073, pp. 137–154.
LibreCat
| Download (ext.)
1996 | Conference Paper | LibreCat-ID: 8273
G. Engels and A. Zamperoni, “Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper),” in Proceedings of the Workshop on Requirements Engineering in a Changing World (satellite event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8274
L. Groenewegen and G. Engels, “Reuse of Software Process Fragments is Reuse of Software, too,” in Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), 1996, p. 68.
LibreCat
1996 | Book Chapter | LibreCat-ID: 7514
G. Engels, M. Nagl, W. Schäfer, and B. Westfechtel, “Tight Integration on One Document: The Programming Environment,” in Building Tightly Integrated Software Development Environments: The IPSEN Approach, vol. 1170, Berlin/Heidelberg: Springer, 1996, pp. 170–177.
LibreCat
1995 | Report | LibreCat-ID: 8195
J. Ebert and G. Engels, Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau, 1995.
LibreCat
1995 | Report | LibreCat-ID: 8196
G. Engels and A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8266
L. Groenewegen and G. Engels, “Coordination by Behavioural Views and Communication Patterns,” in Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), 1995, vol. 913, pp. 189–192.
LibreCat
| DOI
1994 | Conference (Editor) | LibreCat-ID: 7797
H.-D. Ehrich, G. Engels, J. Paredaens, and J. Wegner, Eds., Fundamentals of Object-Oriented Languages, Systems, and Methods, vol. 95. Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7828
J. Ebert and G. Engels, “Structural and Behavioural Views on OMT-Classes,” in Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), 1994, vol. 858, pp. 142–157.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7829
G. Engels and G. Kappel, “Object-Oriented System Development: Will the New Approach Solve Old Problems?,” in Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), 1994, vol. 3, pp. 434–441.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7830
G. Engels and H. Ehrig, “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective,” in Proceedings Colloquium on Graph Transformation and its Application in Computer Science, 1994, vol. B-19.
LibreCat
1994 | Report | LibreCat-ID: 8193
J. Ebert and G. Engels, Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 8265
G. Engels and P. Löhr, “Visual Specification of Complex Database Actions,” in Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), 1994, pp. 303–314.
LibreCat
1994 | Journal Article | LibreCat-ID: 7407
P. Löhr-Richter and G. Engels, “Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen,” GI-Datenbank Rundbrief, vol. 13, pp. 33–35, 1994.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7512
J. Ebert and G. Engels, “Design Representation,” in Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–394.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7513
G. Engels and L. Groenewegen, “SOCCA: Specifications of Coordinated and Cooperative Activities,” in Software Process Modelling and Technology, Taunton: Research Studies Press, 1994, pp. 71–102.
LibreCat
1993 | Conference Paper | LibreCat-ID: 7826
G. Engels and A. A. Verrijn-Stuart, “Integrationsaspekte bei verteilter Software-Entwicklung,” in Fortschritt-Berichte VDI, 1993, no. 251, pp. 45–53.
LibreCat
1993 | Report | LibreCat-ID: 8190
M. Andries and G. Engels, A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
1993 | Report | LibreCat-ID: 8191
H. Ehrig and G. Engels, Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
1993 | Report | LibreCat-ID: 8192
G. Engels and G. Rozenberg, Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 8262
G. Engels and L. Groenewegen, “Modular, Visual Specifications of Software Processes,” in Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), 1993, pp. 66–68.
LibreCat
1992 | Conference Paper | LibreCat-ID: 7825
P. Koopman, L. Groenewegen, and G. Engels, “Functional Description of Parallel Processes,” in Proceedings of the conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 1992, pp. 156–167.
LibreCat
1992 | Report | LibreCat-ID: 8189
G. Engels, Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University, 1992.
LibreCat
1992 | Conference Paper | LibreCat-ID: 8260
G. Engels and P. Löhr-Richter, “CADDY: A Highly Integrated Environment to Support Conceptual Database Design,” in Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada), 1992, pp. 19–22.
LibreCat
1992 | Conference Paper | LibreCat-ID: 8261
G. Engels and L. Groenewegen, “Specification of Coordinated Behaviour in the Software Development Process,” in Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, 1992, vol. 635, pp. 58–60.
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 7409
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, and A. Schürr, “Building Integrated Software Development Environments, Part I: Tool Specification,” ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 1, no. 2, pp. 135–167, 1992.
LibreCat
1991 | Report | LibreCat-ID: 8188
P. Löhr-Richter and G. Engels, Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands: Leiden University, 1991.
LibreCat
1990 | Conference Paper | LibreCat-ID: 7824
U. Hohenstein and G. Engels, “Formal Semantics of an Entity-Relationship Query Language,” in Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, 1990, pp. 177–188.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7821
J. Ebert and G. Engels, “Konzepte einer Software-Architektur-Beschreibungssprache,” in Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), 1989, vol. 212, pp. 238–250.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7822
G. Engels, “CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata,” in Tagungsband GI-Fachtagung “Interaktive Schnittstellen für Informationssysteme”, TU Clausthal, Notizen zu Interaktive Systeme, 1989, vol. 18, pp. 1–16.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7823
G. Engels, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, and H.-D. Ehrich, “CADDY: Computer-Aided Design of Non-Standard Databases,” in Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany, 1989.
LibreCat
1989 | Report | LibreCat-ID: 8187
G. Engels, Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig, 1989.
LibreCat
1989 | Book | LibreCat-ID: 7511
G. Engels and W. Schäfer, Programmentwicklungsumgebungen: Konzepte und Realisierung. Stuttgart: Teubner, 1989.
LibreCat
1988 | Conference Paper | LibreCat-ID: 7819
G. Engels, U. Hohenstein, L. Neugebauer, G. Saake, and H.-D. Ehrich, “Konzeption einer integrierten Datenbank-Entwurfsumgebung,” in Proceedings of DBTA/SI Data Dictionaries und Entwicklungswerkzeuge für Datenbank-Anwendungen, Zürich, Switzerland, 1988, pp. 151–157.
LibreCat
1988 | Conference Paper | LibreCat-ID: 7820
G. Engels, U. Hohenstein, G. Saake, and H.-D. Ehrich, “Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung,” in Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen,” 1988, pp. 38–51.
LibreCat
1988 | Report | LibreCat-ID: 8186
J. Ebert and G. Engels, Ein Konzept zur Beschreibung von Software-Architekturen. EWH Koblenz, 1988.
LibreCat
1988 | Conference Paper | LibreCat-ID: 8258
G. Engels, T. Janning, and W. Schäfer, “Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung,” in Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany, 1988.
LibreCat
1987 | Conference Paper | LibreCat-ID: 7816
G. Engels and A. Schürr, “A Hybrid Interpreter in a Software Development Environment,” in Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), 1987, vol. 289, pp. 80–88.
LibreCat
1987 | Conference Paper | LibreCat-ID: 7817
G. Engels, M. Nagl, and W. Schäfer, “On the Structure of Structure-Oriented Editors for Different Applications,” in Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, 1987, vol. 22, no. 1, pp. 190–198.
LibreCat
1987 | Conference Paper | LibreCat-ID: 8257
G. Engels, C. Lewerentz, and W. Schäfer, “Graph Grammar Engineering: A Software Specification Method,” in Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), 1987, vol. 291, pp. 186–201.
LibreCat
| DOI
1986 | Conference Paper | LibreCat-ID: 7815
G. Engels, C. Lewerentz, M. Nagl, and W. Schäfer, “On the Structure of an Incremental and Integrated Software Development Environment,” in Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA, 1986, vol. 2a, pp. 585–597.
LibreCat
1986 | Conference Paper | LibreCat-ID: 8256
G. Engels and A. Sandbrink, “Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques,” in Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, 1986, vol. 12, pp. 172–184.
LibreCat
1986 | Dissertation | LibreCat-ID: 7588
G. Engels, Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung. 1986.
LibreCat
1985 | Conference Paper | LibreCat-ID: 7813
G. Engels and W. Schäfer, “Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment,” in Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany), 1985, vol. 186, pp. 179–193.
LibreCat
1985 | Conference Paper | LibreCat-ID: 7814
G. Engels and W. Schäfer, “The Design of an Adaptive and Portable Programming Support Environment,” in Proceedings of the International Computing Symposium, Amsterdam (The Netherlands), 1985.
LibreCat
1983 | Conference Paper | LibreCat-ID: 8255
M. Nagl, G. Engels, R. Gall, and W. Schäfer, “Software Specification by Graph Grammars,” in Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), 1983, vol. 153, pp. 267–287.
LibreCat
| DOI
1982 | Conference Paper | LibreCat-ID: 7811
G. Engels and W. Schäfer, “Specification of a Programming Support Environment by Graph Grammars,” in Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), 1982, pp. 47–62.
LibreCat
1982 | Conference Paper | LibreCat-ID: 7812
U. Pletat, G. Engels, and H.-D. Ehrich, “An Operational Approach to Conditional Algebraic Specifications,” in Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France), 1982, vol. 82, pp. 254–270.
LibreCat
1981 | Report | LibreCat-ID: 8184
G. Engels, U. Pletat, and H.-D. Ehrich, Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
LibreCat
1981 | Report | LibreCat-ID: 8185
U. Pletat, G. Engels, and H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.
LibreCat