| 2009 |
|---|
| 120 | | 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 |
| 119 | EE | Frank Salger,
Stefan Sauer,
Gregor Engels:
Integrated specification and quality assurance for large business information systems.
ISEC 2009: 129-130 |
| 2008 |
|---|
| 118 | EE | 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 |
| 117 | EE | 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 |
| 116 | EE | 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 |
| 115 | EE | Martin Assmann,
Gregor Engels:
Transition to Service-Oriented Enterprise Architecture.
ECSA 2008: 346-349 |
| 114 | EE | Gregor Engels,
Martin Assmann:
Service-Oriented Enterprise Architectures: Evolution of Concepts and Methods.
EDOC 2008 |
| 113 | | Jens Ellerweg,
Gregor Engels,
Baris Güldali:
Modellbasierter Komponententest mit visuellen Kontrakten.
GI Jahrestagung (1) 2008: 211-214 |
| 112 | | 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 |
| 111 | | Hendrik Voigt,
Gregor Engels:
Kontextsensitive Qualitätsplanung für Software-Modelle.
Modellierung 2008: 165-180 |
| 110 | EE | Frank Salger,
Marcel Bennicke,
Gregor Engels,
Claus Lewerentz:
Comprehensive Architecture Evaluation and Management in Large Software-Systems.
QoSA 2008: 205-219 |
| 109 | | Gregor Engels,
Markus Voß:
Quasar Enterprise - Anwendungslandschaften serviceorientiert gestalten.
Software Engineering 2008: 24-27 |
| 108 | EE | Gregor Engels,
Stefan Sauer,
Christian Soltenborn:
Unternehmensweit verstehen - unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode.
Informatik Spektrum 31(5): 451-459 (2008) |
| 107 | EE | Arndt Bode,
Manfred Broy,
Uwe Dumslaff,
Gregor Engels:
Architektur & Management im Großen meistern.
Informatik Spektrum 31(6): 523-525 (2008) |
| 106 | EE | Gregor Engels,
Markus Voß:
Quasar Enterprise.
Informatik Spektrum 31(6): 548-555 (2008) |
| 2007 |
|---|
| 105 | | 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 |
| 104 | | 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 |
| 103 | EE | 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 |
| 102 | EE | Andreas Hess,
Bernhard Humm,
Markus Voß,
Gregor Engels:
Structuring Software Cities A Multidimensional Approach.
EDOC 2007: 122-129 |
| 101 | EE | Margaret M. Burnett,
Gregor Engels,
Brad A. Myers,
Gregg Rothermel:
07081 Abstracts Collection - End-User Software Engineering.
End-User Software Engineering 2007 |
| 100 | EE | Margaret M. Burnett,
Gregor Engels,
Brad A. Myers,
Gregg Rothermel:
07081 Executive Summary - End-User Software Engineering.
End-User Software Engineering 2007 |
| 99 | EE | Gregor Engels:
Model-Driven Development for End-Users, too!?.
End-User Software Engineering 2007 |
| 98 | EE | Gregor Engels,
Christian Soltenborn,
Heike Wehrheim:
Analysis of UML Activities Using Dynamic Meta Modeling.
FMOODS 2007: 76-90 |
| 97 | EE | Stefan Sauer,
Gregor Engels:
Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder.
HCI (5) 2007: 537-546 |
| 96 | EE | 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 |
| 95 | EE | 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 |
| 94 | EE | 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 |
|---|
| 93 | EE | Marc Lohmann,
Gregor Engels,
Stefan Sauer:
Model-driven Monitoring: Generating Assertions from Visual Contracts.
ASE 2006: 355-356 |
| 92 | | Gregor Engels,
Matthias Gehrke,
Stefan Sauer:
Multi-Private Public Partnership (MPPP) - Softwaretechnik auf demWeg in die Industrie.
GI Jahrestagung (1) 2006: 281-287 |
| 91 | EE | Gregor Engels,
Marc Lohmann,
Stefan Sauer,
Reiko Heckel:
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.
ICGT 2006: 336-350 |
| 90 | EE | Tim Schattkowsky,
Jan Hendrik Hausmann,
Gregor Engels:
Using UML Activities for System-on-Chip Design and Synthesis.
MoDELS 2006: 737-752 |
| 89 | EE | Gregor Engels,
Baris Güldali,
Marc Lohmann:
Towards Model-Driven Unit Testing.
MoDELS Workshops 2006: 182-192 |
| 88 | EE | Christian Soltenborn,
Gregor Engels:
Analysis of UML Activities with Dynamic Meta Modeling Techniques.
MoDELS Workshops 2006: 329-330 |
| 87 | | 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 |
| 86 | EE | 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 |
| 85 | EE | Gregor Engels,
Fernando Orejas,
Francesco Parisi-Presicce:
Special Issue with Selected Papers from ICGT 2004.
Fundam. Inform. 74(1): (2006) |
| 2005 |
|---|
| 84 | EE | Ping Guo,
Gregor Engels,
Reiko Heckel:
Architectural Style - Based Modeling and Simulation of Complex Software Systems.
APSEC 2005: 367-374 |
| 83 | EE | Gregor Engels,
Martin Erwig:
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications.
ASE 2005: 124-133 |
| 82 | EE | Gregor Engels,
Reiko Heckel,
Alexey Cherchago:
Flexible Interconnection of Graph Transformation Modules.
Formal Methods in Software and Systems Modeling 2005: 38-63 |
| 81 | | Gregor Engels,
Marc Lohmann,
Stefan Sauer:
Modellbasierte Entwicklung von Web Services mit Design by Contract.
GI Jahrestagung (2) 2005: 491-495 |
| 80 | | Gregor Engels,
Marc Lohmann,
Stefan Sauer:
Design by Contract zur semantischen Beschreibung von Web Services.
GI Jahrestagung (2) 2005: 612-616 |
| 79 | EE | Alexander Förster,
Gregor Engels,
Tim Schattkowsky:
Activity Diagram Patterns for Modeling Quality Constraints in Business Processes.
MoDELS 2005: 2-16 |
| 78 | EE | Gregor Engels,
Jan Hendrik Hausmann,
Marc Lohmann,
Stefan Sauer:
Teaching UML Is Teaching Software Engineering Is Teaching Abstraction.
MoDELS Satellite Events 2005: 306-319 |
| 77 | EE | Marc Lohmann,
Stefan Sauer,
Gregor Engels:
Executable Visual Contracts.
VL/HCC 2005: 63-70 |
| 2004 |
|---|
| 76 | | 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 |
| 75 | | 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 |
| 74 | EE | Gregor Engels,
Stefan Sauer:
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering 14(6): 543-544 (2004) |
| 2003 |
|---|
| 73 | | Klaus Alfert,
Ernst-Erich Doberkat,
Gregor Engels:
MuSofT: Multimedia in der SoftwareTechnik.
DeLFI 2003: 115-119 |
| 72 | EE | Alexander Förster,
Gregor Engels:
Quality Ensuring Development of Software Processes.
EWSPT 2003: 62-73 |
| 71 | EE | Jochen Malte Küster,
Gregor Engels:
Consistency Management Within Model-Based Object-Oriented Development of Components.
FMCO 2003: 157-176 |
| 70 | | Jochen Malte Küster,
Reiko Heckel,
Gregor Engels:
Defining and validating transformations of UML models.
HCC 2003: 145-152 |
| 69 | | Gregor Engels,
Stefan Sauer,
Bettina Neu:
Integrating software engineering and user-centred design for multimedia software developments.
HCC 2003: 254-256 |
| 68 | | Klaus Alfert,
Ernst-Erich Doberkat,
Gregor Engels,
Marc Lohmann,
Johannes Magenheim,
Andy Schürr:
MuSoft: Multimedia in der Softwaretechnik.
SEUH 2003: 70-80 |
| 67 | EE | Gregor Engels,
Reiko Heckel,
Jochen Malte Küster:
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development.
UML 2003: 356-359 |
| 66 | | Gregor Engels,
Marc Lohmann,
Annika Wagner:
Entwicklungsprozess von Web-Anwendungen.
Web Engineering: Systematische Entwicklung von Web-Anwendungen 2003: 239-264 |
| 65 | EE | 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 |
|---|
| 64 | EE | Ralph Depke,
Gregor Engels,
Sebastian Thöne,
M. Langham,
B. Lütkemeier:
Process-Oriented, Consistent Integration of Software Components.
COMPSAC 2002: 13-18 |
| 63 | EE | Sebastian Thöne,
Ralph Depke,
Gregor Engels:
Process-Oriented, Flexible Composition of Web Services with UML.
ER (Workshops) 2002: 390-401 |
| 62 | EE | Gregor Engels,
Luuk Groenewegen:
Towards Team-Automata-Driven Object-Oriented Collaborative Work.
Formal and Natural Computing 2002: 257-276 |
| 61 | | Ernst-Erich Doberkat,
Gregor Engels:
Multimedia in der Informatik-Lehre.
GI Jahrestagung 2002: 377-384 |
| 60 | EE | Gregor Engels,
Reiko Heckel,
Jochen Malte Küster,
Luuk Groenewegen:
Consistency-Preserving Model Evolution through Transformations.
UML 2002: 212-226 |
| 59 | EE | Ernst-Erich Doberkat,
Gregor Engels:
MuSofT - Multimedia in der Softwaretechnik.
Inform., Forsch. Entwickl. 17(1): 41-44 (2002) |
| 58 | EE | Reiko Heckel,
Gregor Engels:
Relating functional requirements and software architecture: separation and consistency of concerns.
Journal of Software Maintenance 14(5): 371-388 (2002) |
| 57 | | Ernst-Erich Doberkat,
Gregor Engels:
Multimedia in der Informatik-Lehre.
Softwaretechnik-Trends 22(3): (2002) |
| 2001 |
|---|
| 56 | | 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 |
| 55 | EE | 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 |
| 54 | EE | Stefan Sauer,
Gregor Engels:
UML-based Behavior Specification of Interactive Multimedia Applications.
HCC 2001: 248-255 |
| 53 | EE | Gregor Engels,
Reiko Heckel,
Jochen Malte Küster:
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model.
UML 2001: 272-286 |
| 52 | EE | Reiko Heckel,
Gregor Engels:
Towards a Formal Framework for Inter-Enterprise Application Integration.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 2000 |
|---|
| 51 | | 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 |
| 50 | EE | Gregor Engels,
Reiko Heckel:
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution.
ICALP 2000: 127-150 |
| 49 | | Gregor Engels,
Reiko Heckel:
From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation.
ICALP Satellite Workshops 2000: 373-382 |
| 48 | EE | Gregor Engels,
Reiko Heckel,
Stefan Sauer:
UML - A Universal Modeling Language?
ICATPN 2000: 24-38 |
| 47 | EE | Gregor Engels,
Luuk Groenewegen:
Object-oriented modeling: a roadmap.
ICSE - Future of SE Track 2000: 103-116 |
| 46 | EE | 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 |
| 45 | | Gregor Engels,
Luuk Groenewegen,
Gerti Kappel:
Coordinated Collaboration of Objects.
Advances in Object-Oriented Data Modeling 2000: 307-331 |
| 1999 |
|---|
| 44 | EE | Andreas Zamperoni,
Gregor Engels:
Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!
AGTIVE 1999: 359-367 |
| 43 | | Stefan Sauer,
Gregor Engels:
UML-basierte Modellierung von Multimediaanwendungen.
Modellierung 1999: 155-170 |
| 42 | | Stefan Sauer,
Gregor Engels:
OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems.
Multimedia Information Systems 1999: 64-71 |
| 41 | | Gregor Engels,
Roland Huecking,
Stefan Sauer,
Annika Wagner:
UML Collaboration Diagrams and their Transformation to Java.
UML 1999: 473-488 |
| 40 | EE | Stefan Sauer,
Gregor Engels:
Extending UML for Modeling of Multimedia Applications.
VL 1999: 80- |
| 39 | EE | 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) |
| 38 | | 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 |
|---|
| 37 | | Gregor Engels,
Luuk Groenewegen,
Ray Dassen:
Formalization of the Software Process Modelling Language SOCCA.
EWSPT 1998: 151 |
| 36 | EE | Gregor Engels:
Objektorientierte Software-Entwicklung.
Modellierung 1998 |
| 35 | | Giorgio Busatto,
Gregor Engels,
Katharina Mehner,
Annika Wagner:
A Framework for Adding Packages to Graph Transformation Approaches.
TAGT 1998: 352-367 |
| 34 | | Silvia Kolmschlag,
Gregor Engels:
Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken.
Workshop Integration heterogener Softwaresysteme 1998: 13-24 |
| 1997 |
|---|
| 33 | EE | 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 |
| 32 | EE | Gregor Engels,
Hans Jürgen Schneider:
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering 7(4): 397-400 (1997) |
| 31 | EE | 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 |
|---|
| 30 | | 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 |
| 29 | | Tineke de Bunje,
Gregor Engels,
Luuk Groenewegen,
Michael Heus,
Aart A. J. Matsinger:
Towards Measurable Process Models.
EWSPT 1996: 183-187 |
| 28 | | Gregor Engels,
Luuk Groenewegen,
Gerti Kappel:
Object-oriented specification of coordinated collaboration.
IFIP World Conference on IT Tools 1996: 437-452 |
| 27 | | Gregor Engels,
Manfred Nagl,
Wilhelm Schäfer,
Bernhard Westfechtel:
Tight Integration on One Document: The Programming Environment.
IPSEN Book 1996: 170-177 |
| 26 | | Marc Andries,
Gregor Engels:
A Hybrid Query Language for an Extended Entity-Relationship Model.
J. Vis. Lang. Comput. 7(3): 321-352 (1996) |
| 1995 |
|---|
| 25 | | Gregor Engels:
Distributed Modelling Session.
EWSPT 1995: 162 |
| 24 | | Luuk Groenewegen,
Gregor Engels:
Coordination by Behavioural Views and Communication Patterns.
EWSPT 1995: 189-192 |
| 23 | EE | Gregor Engels,
Andy Schürr:
Encapsulated hierarchical graphs, graph types, and meta types.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 1994 |
|---|
| 22 | | Gregor Engels,
Luuk Groenewegen:
Specifications of Coordinated Behaviour by SOCCA.
EWSPT 1994: 128-151 |
| 21 | | Gregor Engels,
Perdita Löhr:
Visual Specification of Complex Database Actions.
East/West Database Workshop 1994: 303-314 |
| 20 | | Gregor Engels,
Gerti Kappel:
Object-Oriented System Development: Will the New Approach Solve Old Problems?
IFIP Congress (3) 1994: 434-441 |
| 19 | | Jürgen Ebert,
Gregor Engels:
Structural and Behavioural Views on OMT-Classes.
ISOOMS 1994: 142-157 |
| 18 | | Hartmut Ehrig,
Gregor Engels:
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems.
TAGT 1994: 137-154 |
| 1993 |
|---|
| 17 | | Marc Andries,
Gregor Engels:
Syntax and Semantics of Hybrid Database Languages.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 19-36 |
| 16 | | Gregor Engels,
Luuk Groenewegen:
Modular, Visual Specifications of Software Processes.
ISPW 1993: 66-68 |
| 1992 |
|---|
| 15 | | Gregor Engels,
Luuk Groenewegen:
Specification of Coordinated Behaviour in the Software Development Process.
EWSPT 1992: 58-60 |
| 14 | EE | 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) |
| 13 | | 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) |
| 12 | | Uwe Hohenstein,
Gregor Engels:
SQL/EER - syntax and semantics of an Entity-Relationship-based query language.
Inf. Syst. 17(3): 209-242 (1992) |
| 1990 |
|---|
| 11 | EE | Uwe Hohenstein,
Gregor Engels:
Formal Semantics of an Entity-Relationship-Based Query Language.
ER 1990: 171-188 |
| 10 | | Gregor Engels:
Elementary Actions on an Extended Entity-Relationship Database.
Graph-Grammars and Their Application to Computer Science 1990: 344-362 |
| 1989 |
|---|
| 9 | | Gregor Engels:
Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY.
Grundlagen von Datenbanken 1989 |
| 8 | | Jürgen Ebert,
Gregor Engels:
Konzepte einer Software-Architektur-Beschreibungssprache.
Software-Entwicklung 1989: 238-250 |
| 1988 |
|---|
| 7 | EE | Gregor Engels,
Thorsten Janning,
Wilhelm Schäfer:
A Highly Integrated Tool Set for Program Development Support.
SIGSMALL/PC 1988: 1-10 |
| 1987 |
|---|
| 6 | | Gregor Engels,
Andy Schürr:
A Hybrid Interpreter in a Software Development Environment.
ESEC 1987: 80-88 |
| 1986 |
|---|
| 5 | | 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 |
|---|
| 4 | | 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 |
|---|
| 3 | | 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) |
| 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 |
