registrieren | anmelden | FAQ      [?] 

Tag graph_transformation [35 articles]

Recent papers classified by the tag graph_transformation.
  • Reusable Idioms and Patterns in Graph Transformation Languages
    Electronic Notes in Theoretical Computer Science, Vol. 127, No. 1. (30 March 2005), pp. 181-192.
    by Aditya Agrawal, Attila Vizhanyo, Zsolt Kalmar, Feng Shi, Anantha Narayanan, Gábor Karsai
    posted to 2005 graph_transformation idioms patterns by leonardo on 2007-12-26 00:42:33 as ***** along with 1 person klinsz
  • Applying a Model Transformation Taxonomy to Graph Transformation Technology
    Electronic Notes in Theoretical Computer Science, Vol. 152 (27 March 2006), pp. 143-159.
    by Tom Mens, Pieter Van Gorp, Dániel Varró, Gábor Karsai
    posted to 2006 _hardcopy graph_transformation model_transformation taxonomy by leonardo on 2007-04-26 02:11:36 as **** along with 1 person arv852
  • A graph rewriting framework for Statecharts semantics
    Lecture Notes in Computer Science : Graph Grammars and Their Application to Computer Science (1996), pp. 107-121.
    by Andrea M Schettini, Adriano Peron
    posted to 1996 graph_transformation semantics statecharts by leonardo on 2006-10-06 23:10:41 as **
  • Compositional verification of reactive systems specified by graph transformation
    Fundamental Approaches to Software Engineering (1998), pp. 138-153.
    by Reiko Heckel
    posted to 1998 graph_transformation reactive_systems by leonardo on 2007-08-23 10:46:20 as ***
  • Event-driven grammars: relating abstract and concrete levels of visual languages
    Software and Systems Modeling, Vol. 6, No. 3. (September 2007), pp. 317-347.
    by Esther Guerra, Juan de Lara
    posted to 2007 consistency grammars graph graph_transformation meta-modelling uml visual_languages by leonardo on 2007-03-30 21:47:14 as ****
  • On the Use of Graph Transformations for Model Refactoring
    : Generative and Transformational Techniques in Software Engineering (2006), pp. 219-257.
    by Tom Mens
    posted to 2006 _hardcopy graph_transformation refactoring by leonardo on 2007-04-15 16:14:35 as *** along with 1 person segura
  • Generation of visual editors as Eclipse plug-ins
    (7--11 November 2005), pp. 134-143.
    by Karsten Ehrig, Claudia Ermel, Stefan Hansgen, Gabriele Taentzer
    posted to 2005 eclipse graph_transformation tool by leonardo on 2006-10-10 00:47:36 as **** along with 3 people and 2 groups neilernst smazanek Scis0000002 GraphTheory modeling
  • Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation
    Visual Languages and Human-Centric Computing, 2005 IEEE Symposium on (2005), pp. 125-133.
    by Claudia Ermel, Karsten Holscher, Sabine Kuske, Paul Ziemann
    posted to 2005 graph_transformation simulation uml visualization by leonardo on 2008-01-03 22:26:49 as *** along with 1 person scis0000001
  • Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
    Theory and Application of Graph Transformations (2000), pp. 296-309.
    by Thorsten Fischer, Jörg Niere, Lars Torunski, Albert Zündorf
    posted to 2000 graph_transformation _hardcopy java _no_doi uml by leonardo on 2007-06-01 14:27:56 as *****
  • Statechart Modeling with Fujaba
    Electronic Notes in Theoretical Computer Science, Vol. 127, No. 1. (30 March 2005), pp. 37-49.
    by Leif Geiger, Albert Zündorf
    posted to 2005 _hardcopy graph_transformation mda meta-modelling statecharts by leonardo on 2006-09-27 19:44:09 as ****
  • Definition and Correct Refinement of Operation Specifications
    : Dependable Systems: Software, Computing, Networks (2006), pp. 127-144.
    by Thomas Baar, Slaviša Marković, Frédéric Fondement, Alfred Strohmeier
    posted to 2006 _hardcopy graph_transformation ocl qvt refactoring refinement uml by leonardo on 2007-04-15 16:19:16 as ****
  • VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)
    Software and Systems Modeling, Vol. V2, No. 3. (1 October 2003), pp. 187-210.
    by Dániel Varró, András Pataricza
    posted to 2003 graph_transformation meta-modelling model_transformation refinement semantics by leonardo on 2006-10-09 23:19:53 as ***** along with 1 person scis0000001
  • Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
    Electronic Notes in Theoretical Computer Science, Vol. 130 (12 May 2005), pp. 263-280.
    by Paul Ziemann, Karsten Holscher, Martin Gogolla
    posted to 2005 graph_transformation ocl semantics statecharts uml by leonardo on 2007-03-09 12:22:41 as ****
  • Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
    (14 March 2006)
    by Hartmut Ehrig, Karsten Ehrig, U Prange, G Taentzer
    posted to 2006 graph_transformation by leonardo on 2007-12-08 00:44:49 as *** along with 2 people and 1 group dlobo AbnerCYH GEB
  • Attributed graph transformation with node type inheritance
    Theoretical Computer Science, Vol. 376, No. 3. (15 May 2007), pp. 139-163.
    by Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
    posted to 2007 graph_transformation _hardcopy meta-modelling statecharts by leonardo on 2007-06-07 12:56:33 as ***
  • Graph Transformation in a Nutshell
    Electronic Notes in Theoretical Computer Science, Vol. 148, No. 1. (1 February 2006), pp. 187-198.
    by Reiko Heckel
    posted to 2006 _hardcopy graph_transformation tutorial by leonardo on 2006-09-27 18:59:23 as ** along with 2 people and 2 groups kayani smazanek GraphTheory modeling
  • On translating UML models into graph transformation systems
    Journal of Visual Languages & Computing, Vol. 17, No. 1. (February 2006), pp. 78-105.
    by Karsten Holscher, Paul Ziemann, Martin Gogolla
    posted to 2006 graph_transformation translation uml by leonardo on 2007-04-19 04:16:12 as ***
  • From Graph Transformation to Software Engineering and Back
    Formal Methods in Software and Systems Modeling (2005), pp. 24-37.
    by Luciano Baresi, Mauro Pezzè
    posted to 2005 graph_transformation _no_doi by leonardo on 2007-09-01 15:33:58 as **
  • A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules
    Perspectives of Systems Informatics (2007), pp. 70-83.
    by Thomas Baar, Slaviša Marković
    posted to 2007 graph_transformation _hardcopy ocl refactoring semantic_preservation uml by leonardo on 2007-08-24 15:37:07 as ****
  • Implementation of Typed Attributed Graph Transformation by AGG
    Fundamentals of Algebraic Graph Transformation (2006), pp. 305-323.
    posted to 2006 agg graph_transformation _to_download_springer by leonardo on 2007-12-08 00:42:22 as ***
  • Graph transformations for object-oriented refinement
    Formal Aspects of Computing (2008)
    by Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu
    posted to 2008 graph_transformation object refinement _to_appear by leonardo on 2008-01-15 13:59:22 as **
  • Model Checking Graph Transformations: A Comparison of Two Approaches
    Graph Transformations (2004), pp. 226-241.
    by Arend Rensink, Ákos Schmidt, Dániel Varró
    posted to 2004 comparison graph_transformation model_checking _no_doi by leonardo on 2007-08-23 11:03:30 as ****
  • Formalizing refactorings with graph transformations
    Journal of Software Maintenance and Evolution: Research and Practice, Vol. 17, No. 4. (27 July 2005), pp. 247-276.
    by Tom Mens, Niels Van Eetvelde, Serge Demeyer, Dirk Janssens
    posted to 2005 graph_transformation refactoring by leonardo on 2007-05-22 13:04:32 as ***** along with 2 people and 1 group dannydig hannes Refactoring
  • Metamodel-Based Model Transformation with Aspect-Oriented Constraints
    Electronic Notes in Theoretical Computer Science, Vol. 152 (27 March 2006), pp. 111-123.
    by Laszlo Lengyel, Tihamer Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf
    posted to 2006 _marcia aspects graph_transformation metamodel model_transformation ocl by leonardo on 2007-04-19 13:04:15 as *** along with 2 people marcia hugoarboleda
  • Methods of checking general safety criteria in UML statechart specifications
    Reliability Engineering & System Safety, Vol. 87, No. 1. (January 2005), pp. 89-107.
    by Zsigmond Pap, Istvan Majzik, Andras Pataricza, Andras Szegi
    posted to 2005 graph_transformation ocl statecharts uml by leonardo on 2006-01-17 16:42:53 as **
  • On the Use of Alloy to Analyze Graph Transformation Systems
    Graph Transformations (2006), pp. 306-320.
    by Luciano Baresi, Paola Spoletini
    posted to 2006 alloy graph_transformation _hardcopy by leonardo on 2007-08-16 14:42:45 as *****
  • Object-Oriented Structure Refinement - A Graph Transformational Approach
    Electronic Notes in Theoretical Computer Science, Vol. 187 (15 July 2007), pp. 145-159.
    by Xiaojian Liu, Zhiming Liu, Liang Zhao
    posted to 2007 graph_transformation refinement uml by leonardo on 2007-11-29 12:12:35 as ****
  • Model-driven development of reactive information systems: from graph transformation rules to JML contracts
    International Journal on Software Tools for Technology Transfer, Vol. 9, No. 2. (March 2007), pp. 193-207.
    by Reiko Heckel, Marc Lohmann
    posted to 2007 graph_transformation jml mdd rules statecharts by leonardo on 2007-10-18 23:56:13 as **
  • Designing the automatic transformation of visual languages
    Science of Computer Programming, Vol. 44, No. 2. (August 2002), pp. 205-227.
    by Dániel Varró, Gergely Varró, András Pataricza
    posted to 2002 _hardcopy graph_transformation statecharts by leonardo on 2006-09-28 15:15:30 as **** along with 1 person scis0000001
  • On the Use of Graph Transformation in the Formal Specification of Model Interpreters
    J. UCS, Vol. 9, No. 11. (2003), pp. 1296-1321.
    by Gábor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle
    posted to 2003 graph_transformation _no_doi semantics statecharts by leonardo on 2007-11-23 16:58:44 as ****
  • Transformations of Petri Nets
    Electronic Notes in Theoretical Computer Science, Vol. 148, No. 1. (1 February 2006), pp. 151-172.
    by Hartmut Ehrig, K Hoffmann, Julia Padberg
    posted to 2006 graph_transformation petrinets refinement by leonardo on 2007-04-19 12:55:43 as **** along with 1 person samsalisbury
  • Analysing refactoring dependencies using graph transformation
    Software and Systems Modeling, Vol. 6, No. 3. (15 September 2007), pp. 269-285.
    by Tom Mens, Gabriele Taentzer, Olga Runge
    posted to 2007 agg graph_transformation refactoring by leonardo on 2007-02-26 17:36:49 as **** along with 2 people emerson kazato
  • Graph Transformation Systems
    Fundamentals of Algebraic Graph Transformation (2006), pp. 37-71.
    posted to 2006 graph_transformation _to_download_springer by leonardo on 2007-12-08 00:41:41 as ***
  • A visual environment for visual languages
    Science of Computer Programming, Vol. 44, No. 2. (August 2002), pp. 181-203.
    by Roswitha Bardohl
    posted to 2002 graph_transformation statecharts by leonardo on 2006-01-17 16:48:05 as **
  • Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
    (2002), pp. 402-429.
    by Luciano Baresi, Reiko Heckel
    posted to graph_transformation software_engineering tutorial by bastl on 2007-08-31 08:59:43 as ***
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/graph_transformation

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.