Guerra, Esther - Escuela Politécnica Superior, Universidad Autonoma de Madrid

• Formal Support for QVT-Relations with Coloured Petri Nets
• Tcnicas de Programacin -Curso 2008/09 (Esther Guerra Snchez)
• Tcnicas de Programacin -Curso 2008/09 (Esther Guerra Snchez)
• Visual Languages & Computing
• Tcnicas de Programacin -Curso 2008/09 (Esther Guerra Snchez)
• Supporting User-Oriented Analysis for Multi-View Domain-Specific Visual
• Tcnicas de Programacin -Curso 2008/09 (Esther Guerra Snchez)
• Integrating Measures and Redesigns in the Definition of Domain Specific Visual Languages
• A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views
• Event-Driven Grammars: Towards the Integration of Meta-Modelling and Graph Transformation
• Tcnicas de Programacin -Curso 2007/08 Patrones de Diseo
• Tcnicas de Programacin -Curso 2008/09 (Esther Guerra Snchez)
• Tcnicas de Programacin -Curso 2007/08 Patrones de Diseo
• Tcnicas de Programacin -Curso 2007/08 Patrones de Diseo
• Tcnicas de Programacin -Curso 2007/08 Patrones de Diseo
• Supporting the Automatic Generation of Advanced Modelling Environments with Graph Transformation Techniques
• Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
• Model View Management with Triple Graph Transformation Systems
• Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
• transML: A Family of Languages to Model Model Transformations
• Attributed Typed Triple Graph Transformation with Inheritance in the Double Pushout Approach
• Verification and Validation of Declarative Model-to-Model Transformations Through Invariants
• Tcnicas de Programacin -Curso 2007/08 Tcnicas bsicas de POO
• Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
• GT-VMT 2006 Visual Specification of Metrics for Domain
• Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages
• Tcnicas de Programacin -Curso 2007/08 Patrones de Diseo
• Tcnicas de Programacin -Curso 2007/08 Patrones de Diseo
• Software and Systems Modeling manuscript No. (will be inserted by the editor)
• An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
• A Framework for the Verification of UML Models. Examples using Petri Nets
• Tcnicas de Programacin -Curso 2007/08 Lenguaje Unificado de Modelado
• Meta-Modelling and Graph Transformation for the Definition of Multi-View Visual Languages
• Tcnicas de Programacin -Curso 2008/09 (Esther Guerra Snchez)
• Tcnicas de Programacin -Curso 2008/09 (Esther Guerra Snchez)
• Tcnicas de Programacin -Curso 2007/08 Patrones de Diseo
• Tcnicas de Desarrollo de Programas Ingeniera Informtica
• Software and Systems Modeling manuscript No. (will be inserted by the editor)
• Tcnicas de Programacin -Curso 2007/08 Patrones de Diseo
• A Transformation-Driven Approach to the Verification of Security Policies in Web Designs
• Tcnicas de Desarrollo de Programas Ingeniera Informtica
• Tcnicas de programacin -Curso 2008/09 (Esther Guerra Snchez)
• Tcnicas de Desarrollo de Programas Ingeniera Informtica
• Formal Foundation for Pattern-Based Modelling Paolo Bottoni1
• Enforced Generative Patterns for the Specification of the Syntax and Semantics of
• Tcnicas de Programacin -Curso 2007/08 Patrones de Diseo
• MODEL DRIVEN DEVELOPMENT OF DIGITAL LIBRARIES Validation, Analysis and Code Generation
• Domain Specific Languages with Graphical and Textual Views
• Tcnicas de Programacin -Curso 2008/09 (Esther Guerra Snchez)
• Tcnicas de Programacin -Curso 2007/08 Patrones de Diseo
• Tcnicas de Programacin -Curso 2008/09 (Esther Guerra Snchez)
• Tcnicas de Programacin -Curso 2008/09 (Esther Guerra Snchez)
• Tcnicas de Programacin -Curso 2007/08 Patrones de diseo
• Analysing Graph Transformation Through OCL Jordi Cabot1
• Tcnicas de Programacin -Curso 2008/09 (Esther Guerra Snchez)
• Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid
• El servicio de voluntariado de Proteccin Civil de Toledo para el control de incendios forestales est constituido por una jerarqua de bases de
• Deep Meta-Modelling with MetaDepth Juan de Lara1
• Tcnicas de Desarrollo de Programas Ingeniera Informtica
• Pattern-based Model-to-Model Transformation Juan de Lara1
• A Visual Specification Language for Model-to-Model Transformations Esther Guerra