Sciweavers

    42 search results - page 8 / 9
    » fmoods 2007
    Sort
    View
    FMOODS
    2006
    81views Formal Methods» more  FMOODS 2006»
    Generating Instance Models from Meta Models
    13 years 6 months ago
    Generating Instance Models from Meta Models
    Download  tfs.cs.tu-berlin.de
    Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling such as ease of use, the...
    Karsten Ehrig, Jochen Malte Küster, Gabriele ...
    claim paper
    Read More »
    FMOODS
    2006
    111views Formal Methods» more  FMOODS 2006»
    KM3: A DSL for Metamodel Specification
    13 years 6 months ago
    KM3: A DSL for Metamodel Specification
    Download  atlanmod.emn.fr
    Abstract. We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL progra...
    Frédéric Jouault, Jean Bézivi...
    claim paper
    Read More »
    FMOODS
    2003
    117views Formal Methods» more  FMOODS 2003»
    Design and Verification of Distributed Multi-media Systems
    13 years 6 months ago
    Design and Verification of Distributed Multi-media Systems
    Download  www.cs.kent.ac.uk
    Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
    David H. Akehurst, John Derrick, A. Gill Waters
    claim paper
    Read More »
    FMOODS
    2003
    125views Formal Methods» more  FMOODS 2003»
    Managing the Evolution of .NET Programs
    13 years 6 months ago
    Managing the Evolution of .NET Programs
    Download  www.eis.mdx.ac.uk
    Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
    Susan Eisenbach, Vladimir Jurisic, Chris Sadler
    claim paper
    Read More »
    FMOODS
    2003
    102views Formal Methods» more  FMOODS 2003»
    Inheritance of Temporal Logic Properties
    13 years 6 months ago
    Inheritance of Temporal Logic Properties
    Download  www.cs.uni-paderborn.de
    Abstract. Inheritance is one of the key features for the success of objectoriented languages. Inheritance (or specialisation) supports incremental design and re-use of already writ...
    Heike Wehrheim
    claim paper
    Read More »
    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.