2010 | ||
---|---|---|
130 | Gregor Engels, Markus Luckey, Wilhelm Schäfer: Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.2.2010 in Paderborn GI 2010 | |
129 | Gregor Engels: Guest Editorial to the Special Section on MODELS 2007. Software and System Modeling 9(1): 5-6 (2010) | |
2009 | ||
128 | Peter Liggesmeyer, Gregor Engels, Jürgen Münch, Jörg Dörr, Norman Riegel: Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in Kaiserslautern GI 2009 | |
127 | Baris Güldali, Holger Funke, Michael Jahnich, Stefan Sauer, Gregor Engels: Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering. ASE 2009: 29-39 | |
126 | Jochen Malte Küster, Christian Gerth, Gregor Engels: Dependent and Conflicting Change Operations of Process Models. ECMDA-FA 2009: 158-173 | |
125 | Baris Güldali, Michael Mlynarski, Andreas Wübbeke, Gregor Engels: Model-Based System Testing Using Visual Contracts. EUROMICRO-SEAA 2009: 121-124 | |
124 | Frank Salger, Stefan Sauer, Gregor Engels: Integrated specification and quality assurance for large business information systems. ISEC 2009: 129-130 | |
123 | Christian Gerth, Jochen Malte Küster, Gregor Engels: Language-Independent Change Management of Process Models. MoDELS 2009: 152-166 | |
122 | Christian Soltenborn, Gregor Engels: Towards Test-Driven Semantics Specification. MoDELS 2009: 378-392 | |
121 | Gregor Engels, Daniela Fisseler, Christian Soltenborn: Improving reusability of dynamic meta modeling specifications with rule overriding. VL/HCC 2009: 39-46 | |
120 | Gregor Engels, Michael Goedicke, Ursula Goltz, Andreas Rausch, Ralf Reussner: Design for Future - Legacy-Probleme von morgen vermeidbar? Informatik Spektrum 32(5): 393-397 (2009) | |
2008 | ||
119 | Jochen Malte Küster, Christian Gerth, Alexander Förster, Gregor Engels: Detecting and Resolving Process Model Differences in the Absence of a Change Log. BPM 2008: 244-260 | |
118 | Jochen Malte Küster, Christian Gerth, Alexander Förster, Gregor Engels: A Tool for Process Merging in Business-Driven Development. CAiSE Forum 2008: 89-92 | |
117 | Gregor Engels, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim: From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. ECMDA-FA 2008: 94-109 | |
116 | Martin Assmann, Gregor Engels: Transition to Service-Oriented Enterprise Architecture. ECSA 2008: 346-349 | |
115 | Gregor Engels, Martin Assmann: Service-Oriented Enterprise Architectures: Evolution of Concepts and Methods. EDOC 2008 | |
114 | Jens Ellerweg, Gregor Engels, Baris Güldali: Modellbasierter Komponententest mit visuellen Kontrakten. GI Jahrestagung (1) 2008: 211-214 | |
113 | Gregor Engels, Andreas Hess, Bernhard Humm, Oliver Juwig, Marc Lohmann, Jan-Peter Richter, Markus Voß, Johannes Willkomm: A Method for Engineering a True Service-Oriented Architecture. ICEIS (3-2) 2008: 272-281 | |
112 | Hendrik Voigt, Gregor Engels: Kontextsensitive Qualitätsplanung für Software-Modelle. Modellierung 2008: 165-180 | |
111 | Frank Salger, Marcel Bennicke, Gregor Engels, Claus Lewerentz: Comprehensive Architecture Evaluation and Management in Large Software-Systems. QoSA 2008: 205-219 | |
110 | Gregor Engels, Markus Voß: Quasar Enterprise - Anwendungslandschaften serviceorientiert gestalten. Software Engineering 2008: 24-27 | |
109 | Gregor Engels, Stefan Sauer, Christian Soltenborn: Unternehmensweit verstehen - unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode. Informatik Spektrum 31(5): 451-459 (2008) | |
108 | Arndt Bode, Manfred Broy, Uwe Dumslaff, Gregor Engels: Architektur & Management im Großen meistern. Informatik Spektrum 31(6): 523-525 (2008) | |
107 | Gregor Engels, Markus Voß: Quasar Enterprise. Informatik Spektrum 31(6): 548-555 (2008) | |
2007 | ||
106 | Margaret M. Burnett, Gregor Engels, Brad A. Myers, Gregg Rothermel: End-User Software Engineering, 18.02. - 23.02.2007 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2007 | |
105 | Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil: Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings Springer 2007 | |
104 | Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim: Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. AGTIVE 2007: 17-31 | |
103 | Andreas Hess, Bernhard Humm, Markus Voß, Gregor Engels: Structuring Software Cities A Multidimensional Approach. EDOC 2007: 122-129 | |
102 | Margaret M. Burnett, Gregor Engels, Brad A. Myers, Gregg Rothermel: 07081 Abstracts Collection - End-User Software Engineering. End-User Software Engineering 2007 | |
101 | Margaret M. Burnett, Gregor Engels, Brad A. Myers, Gregg Rothermel: 07081 Executive Summary - End-User Software Engineering. End-User Software Engineering 2007 | |
100 | Gregor Engels: Model-Driven Development for End-Users, too!?. End-User Software Engineering 2007 | |
99 | Gregor Engels, Christian Soltenborn, Heike Wehrheim: Analysis of UML Activities Using Dynamic Meta Modeling. FMOODS 2007: 76-90 | |
98 | Stefan Sauer, Gregor Engels: Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder. HCI (5) 2007: 537-546 | |
97 | Tim Schattkowsky, Gregor Engels, Alexander Förster: A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency. HICSS 2007: 286 | |
96 | Alexander Förster, Gregor Engels, Tim Schattkowsky, Ragnhild Van Der Straeten: Verification of Business Process Quality Constraints Based on Visual Process Patterns. TASE 2007: 197-208 | |
95 | Jan-Christopher Bals, Fabian Christ, Gregor Engels, Martin Erwig: ClassSheets - model-based, object-oriented design of spreadsheet applications. Journal of Object Technology 6(9): 383-398 (2007) | |
2006 | ||
94 | Marc Lohmann, Gregor Engels, Stefan Sauer: Model-driven Monitoring: Generating Assertions from Visual Contracts. ASE 2006: 355-356 | |
93 | Gregor Engels, Matthias Gehrke, Stefan Sauer: Multi-Private Public Partnership (MPPP) - Softwaretechnik auf demWeg in die Industrie. GI Jahrestagung (1) 2006: 281-287 | |
92 | Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel: Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. ICGT 2006: 336-350 | |
91 | Tim Schattkowsky, Jan Hendrik Hausmann, Gregor Engels: Using UML Activities for System-on-Chip Design and Synthesis. MoDELS 2006: 737-752 | |
90 | Gregor Engels, Baris Güldali, Marc Lohmann: Towards Model-Driven Unit Testing. MoDELS Workshops 2006: 182-192 | |
89 | Christian Soltenborn, Gregor Engels: Analysis of UML Activities with Dynamic Meta Modeling Techniques. MoDELS Workshops 2006: 329-330 | |
88 | Gregor Engels, Baris Güldali, Marc Lohmann, Oliver Juwig, Jan-Peter Richter: Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. Software Engineering 2006: 111-122 | |
87 | Alexander Förster, Gregor Engels, Tim Schattkowsky, Ragnhild Van Der Straeten: A Pattern-driven Development Process for Quality Standard-conforming Business Process Models. VL/HCC 2006: 135-142 | |
86 | Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce: Special Issue with Selected Papers from ICGT 2004. Fundam. Inform. 74(1): (2006) | |
2005 | ||
85 | Ping Guo, Gregor Engels, Reiko Heckel: Architectural Style - Based Modeling and Simulation of Complex Software Systems. APSEC 2005: 367-374 | |
84 | Gregor Engels, Martin Erwig: ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. ASE 2005: 124-133 | |
83 | Gregor Engels, Reiko Heckel, Alexey Cherchago: Flexible Interconnection of Graph Transformation Modules. Formal Methods in Software and Systems Modeling 2005: 38-63 | |
82 | Gregor Engels, Marc Lohmann, Stefan Sauer: Modellbasierte Entwicklung von Web Services mit Design by Contract. GI Jahrestagung (2) 2005: 491-495 | |
81 | Gregor Engels, Marc Lohmann, Stefan Sauer: Design by Contract zur semantischen Beschreibung von Web Services. GI Jahrestagung (2) 2005: 612-616 | |
80 | Alexander Förster, Gregor Engels, Tim Schattkowsky: Activity Diagram Patterns for Modeling Quality Constraints in Business Processes. MoDELS 2005: 2-16 | |
79 | Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann, Stefan Sauer: Teaching UML Is Teaching Software Engineering Is Teaching Abstraction. MoDELS Satellite Events 2005: 306-319 | |
78 | Marc Lohmann, Stefan Sauer, Gregor Engels: Executable Visual Contracts. VL/HCC 2005: 63-70 | |
2004 | ||
77 | Gregor Engels, Silke Seehusen: DeLFI 2004: Die e-Learning Fachtagung Informatik, Tagung der Fachgruppe e-Learning der Gesellschaft für Informatik e.V. (GI) 6.-8. September 2004 in Paderborn GI 2004 | |
76 | Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg: Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings Springer 2004 | |
75 | Gregor Engels, Stefan Sauer: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 14(6): 543-544 (2004) | |
2003 | ||
74 | Klaus Alfert, Ernst-Erich Doberkat, Gregor Engels: MuSofT: Multimedia in der SoftwareTechnik. DeLFI 2003: 115-119 | |
73 | Alexander Förster, Gregor Engels: Quality Ensuring Development of Software Processes. EWSPT 2003: 62-73 | |
72 | Jochen Malte Küster, Gregor Engels: Consistency Management Within Model-Based Object-Oriented Development of Components. FMCO 2003: 157-176 | |
71 | Jochen Malte Küster, Reiko Heckel, Gregor Engels: Defining and validating transformations of UML models. HCC 2003: 145-152 | |
70 | Gregor Engels, Stefan Sauer, Bettina Neu: Integrating software engineering and user-centred design for multimedia software developments. HCC 2003: 254-256 | |
69 | Klaus Alfert, Ernst-Erich Doberkat, Gregor Engels, Marc Lohmann, Johannes Magenheim, Andy Schürr: MuSoft: Multimedia in der Softwaretechnik. SEUH 2003: 70-80 | |
68 | Gregor Engels, Reiko Heckel, Jochen Malte Küster: The Consistency Workbench: A Tool for Consistency Management in UML-Based Development. UML 2003: 356-359 | |
67 | Gregor Engels, Marc Lohmann, Annika Wagner: Entwicklungsprozess von Web-Anwendungen. Web Engineering: Systematische Entwicklung von Web-Anwendungen 2003: 239-264 | |
66 | Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann: Model-Based Verification and Validation of Properties. Electr. Notes Theor. Comput. Sci. 82(7): (2003) | |
2002 | ||
65 | Ralph Depke, Gregor Engels, Sebastian Thöne, M. Langham, B. Lütkemeier: Process-Oriented, Consistent Integration of Software Components. COMPSAC 2002: 13-18 | |
64 | Sebastian Thöne, Ralph Depke, Gregor Engels: Process-Oriented, Flexible Composition of Web Services with UML. ER (Workshops) 2002: 390-401 | |
63 | Gregor Engels, Luuk Groenewegen: Towards Team-Automata-Driven Object-Oriented Collaborative Work. Formal and Natural Computing 2002: 257-276 | |
62 | Ernst-Erich Doberkat, Gregor Engels: Multimedia in der Informatik-Lehre. GI Jahrestagung 2002: 377-384 | |
61 | Gregor Engels, Reiko Heckel, Jochen Malte Küster, Luuk Groenewegen: Consistency-Preserving Model Evolution through Transformations. UML 2002: 212-226 | |
60 | Ernst-Erich Doberkat, Gregor Engels: MuSofT - Multimedia in der Softwaretechnik. Inform., Forsch. Entwickl. 17(1): 41-44 (2002) | |
59 | Reiko Heckel, Gregor Engels: Relating functional requirements and software architecture: separation and consistency of concerns. Journal of Software Maintenance 14(5): 371-388 (2002) | |
58 | Ernst-Erich Doberkat, Gregor Engels: Multimedia in der Informatik-Lehre. Softwaretechnik-Trends 22(3): (2002) | |
2001 | ||
57 | Gregor Engels, Andreas Oberweis, Albert Zündorf: Modellierung 2001, Workshop der Gesellschaft für Informatik e. V. (GI), 28.-30. März 2001 in Bad Lippspringe GI 2001 | |
56 | Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen: A methodology for specifying and analyzing consistency of object-oriented behavioral models. ESEC / SIGSOFT FSE 2001: 186-195 | |
55 | Stefan Sauer, Gregor Engels: UML-based Behavior Specification of Interactive Multimedia Applications. HCC 2001: 248-255 | |
54 | Gregor Engels, Reiko Heckel, Jochen Malte Küster: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. UML 2001: 272-286 | |
53 | Reiko Heckel, Gregor Engels: Towards a Formal Framework for Inter-Enterprise Application Integration. Electr. Notes Theor. Comput. Sci. 51: (2001) | |
2000 | ||
52 | Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg: Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers Springer 2000 | |
51 | Gregor Engels, Reiko Heckel: Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. ICALP 2000: 127-150 | |
50 | Gregor Engels, Reiko Heckel: From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. ICALP Satellite Workshops 2000: 373-382 | |
49 | Gregor Engels, Reiko Heckel, Stefan Sauer: UML - A Universal Modeling Language? ICATPN 2000: 24-38 | |
48 | Gregor Engels, Luuk Groenewegen: Object-oriented modeling: a roadmap. ICSE - Future of SE Track 2000: 103-116 | |
47 | Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer: Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. UML 2000: 323-337 | |
46 | Gregor Engels, Luuk Groenewegen, Gerti Kappel: Coordinated Collaboration of Objects. Advances in Object-Oriented Data Modeling 2000: 307-331 | |
1999 | ||
45 | Andreas Zamperoni, Gregor Engels: Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! AGTIVE 1999: 359-367 | |
44 | Stefan Sauer, Gregor Engels: UML-basierte Modellierung von Multimediaanwendungen. Modellierung 1999: 155-170 | |
43 | Stefan Sauer, Gregor Engels: OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems. Multimedia Information Systems 1999: 64-71 | |
42 | Gregor Engels, Roland Huecking, Stefan Sauer, Annika Wagner: UML Collaboration Diagrams and their Transformation to Java. UML 1999: 473-488 | |
41 | Stefan Sauer, Gregor Engels: Extending UML for Modeling of Multimedia Applications. VL 1999: 80- | |
40 | Ralph Depke, Gregor Engels, Katharina Mehner, Stefan Sauer, Annika Wagner: Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen. Inform., Forsch. Entwickl. 14(2): 83-94 (1999) | |
39 | Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer: Graph Transformation for Specification and Programming. Sci. Comput. Program. 34(1): 1-54 (1999) | |
1998 | ||
38 | Gregor Engels, Luuk Groenewegen, Ray Dassen: Formalization of the Software Process Modelling Language SOCCA. EWSPT 1998: 151 | |
37 | Gregor Engels: Objektorientierte Software-Entwicklung. Modellierung 1998 | |
36 | Giorgio Busatto, Gregor Engels, Katharina Mehner, Annika Wagner: A Framework for Adding Packages to Graph Transformation Approaches. TAGT 1998: 352-367 | |
35 | Silvia Kolmschlag, Gregor Engels: Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken. Workshop Integration heterogener Softwaresysteme 1998: 13-24 | |
1997 | ||
34 | Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig: A View-Oriented Approach to System Modelling Based on Graph Transformation. ESEC / SIGSOFT FSE 1997: 327-343 | |
33 | Gregor Engels, Hans Jürgen Schneider: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 7(4): 397-400 (1997) | |
32 | Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig: A Combined Reference Model- and View-Based Approach to System Specification. International Journal of Software Engineering and Knowledge Engineering 7(4): 457-477 (1997) | |
1996 | ||
31 | Janice E. Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg: Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers Springer 1996 | |
30 | Tineke de Bunje, Gregor Engels, Luuk Groenewegen, Michael Heus, Aart A. J. Matsinger: Towards Measurable Process Models. EWSPT 1996: 183-187 | |
29 | Gregor Engels, Luuk Groenewegen, Gerti Kappel: Object-oriented specification of coordinated collaboration. IFIP World Conference on IT Tools 1996: 437-452 | |
28 | Gregor Engels, Manfred Nagl, Wilhelm Schäfer, Bernhard Westfechtel: Tight Integration on One Document: The Programming Environment. IPSEN Book 1996: 170-177 | |
27 | Marc Andries, Gregor Engels: A Hybrid Query Language for an Extended Entity-Relationship Model. J. Vis. Lang. Comput. 7(3): 321-352 (1996) | |
1995 | ||
26 | Gregor Engels: Distributed Modelling Session. EWSPT 1995: 162 | |
25 | Luuk Groenewegen, Gregor Engels: Coordination by Behavioural Views and Communication Patterns. EWSPT 1995: 189-192 | |
24 | Gregor Engels, Andy Schürr: Encapsulated hierarchical graphs, graph types, and meta types. Electr. Notes Theor. Comput. Sci. 2: (1995) | |
1994 | ||
23 | Gregor Engels, Luuk Groenewegen: Specifications of Coordinated Behaviour by SOCCA. EWSPT 1994: 128-151 | |
22 | Gregor Engels, Perdita Löhr: Visual Specification of Complex Database Actions. East/West Database Workshop 1994: 303-314 | |
21 | Gregor Engels, Gerti Kappel: Object-Oriented System Development: Will the New Approach Solve Old Problems? IFIP Congress (3) 1994: 434-441 | |
20 | Jürgen Ebert, Gregor Engels: Structural and Behavioural Views on OMT-Classes. ISOOMS 1994: 142-157 | |
19 | Hartmut Ehrig, Gregor Engels: Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems. TAGT 1994: 137-154 | |
1993 | ||
18 | Marc Andries, Gregor Engels: Syntax and Semantics of Hybrid Database Languages. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 19-36 | |
17 | Gregor Engels, Luuk Groenewegen: Modular, Visual Specifications of Software Processes. ISPW 1993: 66-68 | |
1992 | ||
16 | Gregor Engels, Luuk Groenewegen: Specification of Coordinated Behaviour in the Software Development Process. EWSPT 1992: 58-60 | |
15 | Gregor Engels, Claus Lewerentz, Manfred Nagl, Wilhelm Schäfer, Andy Schürr: Building Integrated Software Development Environments Part I: Tool Specification. ACM Trans. Softw. Eng. Methodol. 1(2): 135-167 (1992) | |
14 | Gregor Engels, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, Hans-Dieter Ehrich: Conceptual modelling of database applications using extended ER model. Data Knowl. Eng. 9: 157-204 (1992) | |
13 | Uwe Hohenstein, Gregor Engels: SQL/EER - syntax and semantics of an Entity-Relationship-based query language. Inf. Syst. 17(3): 209-242 (1992) | |
1990 | ||
12 | Uwe Hohenstein, Gregor Engels: Formal Semantics of an Entity-Relationship-Based Query Language. ER 1990: 171-188 | |
11 | Gregor Engels: Elementary Actions on an Extended Entity-Relationship Database. Graph-Grammars and Their Application to Computer Science 1990: 344-362 | |
1989 | ||
10 | Gregor Engels: Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY. Grundlagen von Datenbanken 1989 | |
9 | Jürgen Ebert, Gregor Engels: Konzepte einer Software-Architektur-Beschreibungssprache. Software-Entwicklung 1989: 238-250 | |
1988 | ||
8 | Gregor Engels, Thorsten Janning, Wilhelm Schäfer: A Highly Integrated Tool Set for Program Development Support. SIGSMALL/PC 1988: 1-10 | |
1987 | ||
7 | Gregor Engels, Andy Schürr: A Hybrid Interpreter in a Software Development Environment. ESEC 1987: 80-88 | |
1986 | ||
6 | Gregor Engels, Claus Lewerentz, Wilhelm Schäfer: Graph Grammar Engineering: A Software Specification Method. Graph-Grammars and Their Application to Computer Science 1986: 186-201 | |
1985 | ||
5 | Gregor Engels, Wilhelm Schäfer: Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment. TAPSOFT, Vol.2 1985: 179-193 | |
1983 | ||
4 | Gregor Engels, Udo Pletat, Hans-Dieter Ehrich: An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Inf. 19: 235-253 (1983) | |
3 | Gregor Engels, Rupert Gall, Manfred Nagl, Wilhelm Schäfer: Software specification using graph grammars. Computing 31(4): 317-346 (1983) | |
1982 | ||
2 | Gregor Engels, Martin Gogolla: Error Handling in Algebraic Specifications. ADT 1982 | |
1 | Manfred Nagl, Gregor Engels, Rupert Gall, Wilhelm Schäfer: Software specification by graph grammars. Graph-Grammars and Their Application to Computer Science 1982: 267-287 |