Sciweavers

    ENTCS
    2008
    118views more  ENTCS 2008»
    Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
    13 years 4 months ago
    Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
    Download  maude.sip.ucm.es
    There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
    David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...
    claim paper
    Read More »
    ENTCS
    2008
    100views more  ENTCS 2008»
    On Challenges for a Graphical Transformation Notation and the UMLX Approach
    13 years 4 months ago
    On Challenges for a Graphical Transformation Notation and the UMLX Approach
    Download  www.eclipse.org
    Freely available experimental transformation languages have begun to stimulate practical usage of textual transformation notations. The forthcoming QVT transformation languages ma...
    Edward D. Willink
    claim paper
    Read More »
    ENTCS
    2008
    114views more  ENTCS 2008»
    Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse
    13 years 4 months ago
    Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse
    Download  tfs.cs.tu-berlin.de
    Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...
    Paolo Bottoni, Francesco Parisi-Presicce, Simone P...
    claim paper
    Read More »
    ENTCS
    2008
    100views more  ENTCS 2008»
    Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries
    13 years 4 months ago
    Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries
    Download  www.cs.bme.hu
    The current paper presents a novel approach to implement a graph transformation engine as an EJB3-specific plugin by using EJB QL queries for pattern matching. The essence of the ...
    Gergely Varró
    claim paper
    Read More »
    ENTCS
    2008
    99views more  ENTCS 2008»
    Visual Specification of Metrics for Domain Specific Visual Languages
    13 years 4 months ago
    Visual Specification of Metrics for Domain Specific Visual Languages
    Download  arantxa.ii.uam.es
    We present a Domain Specific Visual Language (DSVL) for the definition of metrics for other DSVLs. The metrics language has been defined using meta-modelling, and includes some of...
    Esther Guerra, Paloma Díaz, Juan de Lara
    claim paper
    Read More »
    ENTCS
    2008
    80views more  ENTCS 2008»
    A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems
    13 years 4 months ago
    A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems
    Download  www.bbraatz.eu
    Benjamin Braatz
    claim paper
    Read More »
    ENTCS
    2008
    119views more  ENTCS 2008»
    An Example of Cloning Graph Transformation Rules for Programming
    13 years 4 months ago
    An Example of Cloning Graph Transformation Rules for Programming
    Download  www.informatik.uni-bremen.de
    Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
    Mark Minas, Berthold Hoffmann
    claim paper
    Read More »
    ENTCS
    2008
    67views more  ENTCS 2008»
    Copying Subgraphs Within Model Repositories
    13 years 4 months ago
    Copying Subgraphs Within Model Repositories
    Download  is.tm.tue.nl
    Pieter Van Gorp, Hans Schippers, Dirk Janssens
    claim paper
    Read More »
    ENTCS
    2008
    152views more  ENTCS 2008»
    Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems
    13 years 4 months ago
    Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems
    Download  www.ti.inf.uni-due.de
    We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
    Barbara König, Vitali Kozioura
    claim paper
    Read More »
    ENTCS
    2008
    106views more  ENTCS 2008»
    Towards Verifying Model Transformations
    13 years 4 months ago
    Towards Verifying Model Transformations
    Download  people.vanderbilt.edu
    In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
    Anantha Narayanan, Gabor Karsai
    claim paper
    Read More »
    « first‹ previous…91011121314151617…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.