| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Enrico Biermann, Claudia Ermel, Gabriele Taentzer |
Formal foundation of consistent EMF model transformations by algebraic graph transformation.  |
Software and System Modeling  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Gabriele Taentzer |
Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection.  |
Autom. Softw. Eng.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Kehrer, Udo Kelter, Gabriele Taentzer |
A rule-based approach to the semantic lifting of model differences in the context of model versioning.  |
ASE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer |
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications.  |
FASE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer |
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior.  |
FASE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Arendt, Sieglinde Kranz, Florian Mantz, Nikolaus Regnat, Gabriele Taentzer |
Towards Syntactical Model Quality Assurance in Industrial Software Development: Process Definition and Tool Support.  |
Software Engineering  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Taentzer |
What Algebraic Graph Transformations Can Do For Model Transformations.  |
ECEASST  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer |
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface.  |
ECEASST  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Enrico Biermann, Claudia Ermel, Gabriele Taentzer |
Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework.  |
ECEASST  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer |
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System.  |
STTT  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer |
Conflict Detection for Model Versioning Based on Graph Modifications.  |
ICGT  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Jurack, Gabriele Taentzer |
A Component Concept for Typed Graphs with Inheritance and Containment Structures.  |
ICGT  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David S. Rosenblum, Gabriele Taentzer (eds.) |
Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings  |
FASE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, Gabriele Taentzer |
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations.  |
MoDELS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer |
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation.  |
Graph Transformations and Model-Driven Engineering  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Ehrig, Jochen Malte Küster, Gabriele Taentzer |
Generating instance models from meta models.  |
Software and System Modeling  |
2009 |
DBLP DOI BibTeX RDF |
Instance generation, UML, Meta model, Graph grammar |
| 1 | Katharina Mehner, Mattia Monga, Gabriele Taentzer |
Analysis of Aspect-Oriented Model Weaving.  |
T. Aspect-Oriented Software Development  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse |
Object Flow Definition for Refined Activity Diagrams.  |
FASE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Jurack, Gabriele Taentzer |
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts.  |
MoDELS  |
2009 |
DBLP DOI BibTeX RDF |
Eclipse, graph transformation, Distributed modeling |
| 1 | Jean Bézivin, Robert B. France, Martin Gogolla, Øystein Haugen, Gabriele Taentzer, Dániel Varró |
Teaching Modeling: Why, When, What?  |
MoDELS Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Leen Lambers, Hartmut Ehrig, Gabriele Taentzer |
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.  |
ECEASST  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jessica Winkelmann, Gabriele Taentzer, Karsten Ehrig, Jochen Malte Küster |
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars.  |
Electr. Notes Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Hermann, Hartmut Ehrig, Gabriele Taentzer |
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams.  |
Electr. Notes Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bottoni, Francesco Parisi-Presicce, Simone Pulcini, Gabriele Taentzer |
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse.  |
Electr. Notes Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (eds.) |
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings  |
ICGT  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Enrico Biermann, Claudia Ermel, Gabriele Taentzer |
Precise Semantics of EMF Model Transformations by Graph Transformation.  |
MoDELS  |
2008 |
DBLP DOI BibTeX RDF |
Eclipse Modeling Framework, model transformation, graph transformation, Model-driven software development |
| 1 | Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer |
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.  |
MoDELS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabor Karsai, Gabriele Taentzer |
Third international workshop on graph and model transformations.  |
ICSE Companion  |
2008 |
DBLP DOI BibTeX RDF |
model transformations, model-driven development, graph transformations |
| 1 | Christian Köhler 0001, Holger Lewin, Gabriele Taentzer |
Ensuring Containment Constraints in Graph-based Model Transformation Approaches.  |
ECEASST  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tom Mens, Gabriele Taentzer, Olga Runge |
Analysing refactoring dependencies using graph transformation.  |
Software and System Modeling  |
2007 |
DBLP DOI BibTeX RDF |
Critical pair analysis, AGG, Refactoring, Graph transformation, Dependency analysis |
| 1 | Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer |
Attributed graph transformation with node type inheritance.  |
Theor. Comput. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer |
Model Transformations should be Functors.  |
Bulletin of the EATCS  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer |
Information Preserving Bidirectional Model Transformations.  |
FASE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer, Dirk Müller 0002, Tom Mens |
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation.  |
AGTIVE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horvath, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk |
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.  |
AGTIVE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Biermann, Karsten Ehrig, Claudia Ermel, Gabriele Taentzer |
Generating Eclipse Editor Plug-Ins Using Tiger.  |
AGTIVE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink, Gabriele Taentzer |
AGTIVE 2007 Graph Transformation Tool Contest.  |
AGTIVE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler 0001, Gabriele Taentzer |
The EMF Model Transformation Framework.  |
AGTIVE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer, André Crema, René Schmutzler, Claudia Ermel |
Generating Domain-Specific Model Editors with Complex Editing Commands.  |
AGTIVE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Mens, Gabriele Taentzer |
Model-driven Software Refactoring.  |
WRT  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Claudia Ermel, Karsten Ehrig, Gabriele Taentzer, Eduard Weiss |
Object Oriented and Rule-based Design of Visual Languages using Tiger.  |
ECEASST  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Enrico Biermann, Karsten Ehrig, Christian Köhler 0001, Günter Kuhns, Gabriele Taentzer, Eduard Weiss |
EMF Model Refactoring based on Graph Transformation Concepts.  |
ECEASST  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Susanne Jucknath-John, Dennis Graf, Gabriele Taentzer |
Evolutionary Layout of Graph Transformation Sequences.  |
ECEASST  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gabor Karsai, Gabriele Taentzer |
Preface to GraMoT 2006 Workshop Proceedings.  |
ECEASST  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Julia Padberg, Tiziana Margaria, Gabriele Taentzer |
Editorial.  |
ECEASST  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gabor Karsai, Gabriele Taentzer |
Preface.  |
Electr. Notes Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer |
Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories.  |
Fundam. Inform.  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer |
Termination Analysis of Model Transformations by Petri Nets.  |
ICGT  |
2006 |
DBLP DOI BibTeX RDF |
Petri nets, model transformation, termination, graph transformation |
| 1 | Karsten Ehrig, Jochen Malte Küster, Gabriele Taentzer, Jessica Winkelmann |
Generating Instance Models from Meta Models.  |
FMOODS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Jucknath-John, Dennis Graf, Gabriele Taentzer |
Evolutionary layout: preserving the mental map during the development of class models.  |
SOFTVIS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer, Giovanni Toffetti Carughi |
A Graph-Based Approach to Transform XML Documents.  |
FASE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Katharina Mehner, Mattia Monga, Gabriele Taentzer |
Interaction Analysis in Aspect-Oriented Models.  |
RE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Biermann, Karsten Ehrig, Christian Köhler 0001, Günter Kuhns, Gabriele Taentzer, Eduard Weiss |
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework.  |
MoDELS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Mens, Andy Schürr, Gabriele Taentzer |
Preface.  |
Electr. Notes Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer |
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse.  |
Electr. Notes Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer |
Termination of High-Level Replacement Units with Application to Model Transformation.  |
Electr. Notes Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Mens, Gabriele Taentzer, Olga Runge |
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis.  |
Electr. Notes Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce, Gabriele Taentzer |
High-level replacement units and their termination properties.  |
J. Vis. Lang. Comput.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer |
Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.  |
VL/HCC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Gabriele Taentzer |
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation.  |
ACSD  |
2005 |
DBLP DOI BibTeX RDF |
Distributed Graph Transformation, Protocols, Discrete Event Simulation, Distributed Simulation |
| 1 | Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer |
Generation of visual editors as eclipse plug-ins.  |
ASE  |
2005 |
DBLP DOI BibTeX RDF |
visual editor plug-in, generation, eclipse, graph transformation |
| 1 | Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay |
Termination Criteria for Model Transformation.  |
Transformation Techniques in Software Engineering  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay |
Termination Criteria for Model Transformation.  |
FASE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer, Arend Rensink |
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance.  |
FASE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl |
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation.  |
Formal Methods in Software and Systems Modeling  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (eds.) |
Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday  |
Formal Methods in Software and Systems Modeling  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara Jaramillo, Claudia Ermel, Gabriele Taentzer, Karsten Ehrig |
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets.  |
Electr. Notes Theor. Comput. Sci.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer |
Fundamental Theory for Typed Attributed Graph Transformation.  |
ICGT  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Mens, Andy Schürr, Gabriele Taentzer |
Workshop on Graph-Based Tools.  |
ICGT  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer |
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation.  |
FASE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Gabriele Taentzer |
Automated Model Transformation and Its Validation Using AToM 3 and AGG.  |
Diagrams  |
2004 |
DBLP DOI BibTeX RDF |
Multi-Formalism Modelling, Meta-Modelling, Graph Transformation |
| 1 | Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer |
Coordinated Distributed Diagram Transformation for Software Evolution.  |
Electr. Notes Theor. Comput. Sci.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer |
Specifying Integrated Refactoring with Distributed Graph Transformations.  |
AGTIVE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer |
AGG: A Graph Transformation Environment for Modeling and Validation of Software.  |
AGTIVE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anilda Qemali, Gabriele Taentzer |
Towards Validation of Session Management in Web Applications based on Graph Transformation.  |
AGTIVE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer |
AGTIVE'03: Summary from the Theoretical Point of View.  |
AGTIVE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Mens, Andy Schürr, Gabriele Taentzer |
Graph-Based Tools (GraBaTs 2002).  |
Electr. Notes Theor. Comput. Sci.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer |
Confluence of Typed Attributed Graph Transformation Systems.  |
ICGT  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Mens, Andy Schürr, Gabriele Taentzer |
Workshop on Graph-Based Tools.  |
ICGT  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer |
A Visual Modeling Framework for Distributed Object Computing.  |
FMOODS  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jan Hendrik Hausmann, Reiko Heckel, Gabriele Taentzer |
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation.  |
ICSE  |
2002 |
DBLP DOI BibTeX RDF |
UML, use cases, requirements specification, graph transformation, unified process |
| 1 | Luciano Baresi, Mauro Pezzè, Gabriele Taentzer |
Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001.  |
Electr. Notes Theor. Comput. Sci.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Roswitha Bardohl, T. Schultzke, Gabriele Taentzer |
Visual Language Parsing in GenGEd.  |
Electr. Notes Theor. Comput. Sci.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer |
Towards Common Exchange Formats for Graphs and Graph Transformation Systems.  |
Electr. Notes Theor. Comput. Sci.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer |
Visual Modeling of Distributed Object Systems by Graph Transformation.  |
Electr. Notes Theor. Comput. Sci.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer |
A Visualization of OCL Using Collaborations.  |
UML  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bottoni, Gabriele Taentzer, Andy Schürr |
Efficient Parsing of Visual Languages Based on Critical Pair Analysis and Contextual Layered Graph Transformation. (PDF / PS)  |
VL  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Goedicke, Bettina Enders, Torsten Meyer, Gabriele Taentzer |
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation.  |
TACAS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer |
Consistency Checking and Visualization of OCL Constraints.  |
UML  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Gabriele Taentzer |
A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components.  |
ICALP Satellite Workshops  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gruner, Murat Kurt, Gabriele Taentzer |
A Visual Modeling Technique for Controlling Graph Transformation.  |
ICALP Satellite Workshops  |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Gabriele Taentzer |
Graphical Represenation and Graph Transformation.  |
ACM Comput. Surv.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer |
Distributed Graphs and Graph Transformation.  |
Applied Categorical Structures  |
1999 |
DBLP DOI BibTeX RDF |
distributed systems, formal specification, graph transformation |
| 1 | Gabriele Taentzer |
Adding Visual Rules to Object-Oriented Modeling Techniques.  |
TOOLS  |
1999 |
DBLP DOI BibTeX RDF |
Modeling, design, UML, constraints, rules, graph transformation |
| 1 | Gabriele Taentzer, Michael Goedicke, Torsten Meyer |
Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems. (PDF / PS)  |
ASE  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer |
AGG: A Tool Environment for Algebraic Graph Transformation.  |
AGTIVE  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Goedicke, Bettina Enders, Torsten Meyer, Gabriele Taentzer |
Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation.  |
AGTIVE  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer |
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.  |
AGTIVE  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Goedicke, Bettina Enders, Torsten Meyer, Gabriele Taentzer |
Tool Support for ViewPoint-oriented Software Development.  |
AGTIVE  |
1999 |
DBLP DOI BibTeX RDF |
|