Sciweavers

    ECEASST
    2008
    67views more  ECEASST 2008»
    Negative Application Conditions for Reconfigurable Algebraic High-Level Systems
    13 years 11 months ago
    Negative Application Conditions for Reconfigurable Algebraic High-Level Systems
    Download  tfs.cs.tu-berlin.de
    Alexander Rein
    claim paper
    Read More »
    ECEASST
    2008
    84views more  ECEASST 2008»
    An Incremental OCL Compiler for Modeling Environments
    13 years 11 months ago
    An Incremental OCL Compiler for Modeling Environments
    Download  fots.ua.ac.be
    In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
    Tamás Vajk, Gergely Mezei, Tihamer Levendov...
    claim paper
    Read More »
    ECEASST
    2008
    85views more  ECEASST 2008»
    Survey: Agent-based Middlewares for Context Awareness
    13 years 11 months ago
    Survey: Agent-based Middlewares for Context Awareness
    Download  opus.kobv.de
    Nabil Sahli
    claim paper
    Read More »
    ECEASST
    2006
    111views more  ECEASST 2006»
    Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns
    13 years 11 months ago
    Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns
    Download  st.inf.tu-dresden.de
    OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
    Juan Martin Chiaradía, Claudia Pons
    claim paper
    Read More »
    ECEASST
    2006
    92views more  ECEASST 2006»
    An MDA Framework Supporting OCL
    13 years 11 months ago
    An MDA Framework Supporting OCL
    Download  kisogawa.inf.ethz.ch
    We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
    Achim D. Brucker, Jürgen Doser, Burkhart Wolf...
    claim paper
    Read More »
    ECEASST
    2006
    101views more  ECEASST 2006»
    Integrating OCL and Model Transformations in Fujaba
    13 years 11 months ago
    Integrating OCL and Model Transformations in Fujaba
    Download  st.inf.tu-dresden.de
    This paper discusses the integration of the Dresden OCL Toolkit into the Fujaba Tool Suite. The integration not only adds OCL support for class diagrams but also makes OCL usable i...
    Mirko Stölzel, Steffen Zschaler, Leif Geiger
    claim paper
    Read More »
    ECEASST
    2006
    67views more  ECEASST 2006»
    Model-Driven Constraint Engineering
    13 years 11 months ago
    Model-Driven Constraint Engineering
    Download  www.brucker.ch
    Michael Wahler, Jana Koehler, Achim D. Brucker
    claim paper
    Read More »
    ECEASST
    2006
    114views more  ECEASST 2006»
    Semantic Issues of OCL: Past, Present, and Future
    13 years 11 months ago
    Semantic Issues of OCL: Past, Present, and Future
    Download  kisogawa.inf.ethz.ch
    We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
    Achim D. Brucker, Jürgen Doser, Burkhart Wolf...
    claim paper
    Read More »
    ECEASST
    2006
    56views more  ECEASST 2006»
    Semantical Correctness of Simulation-to-Animation Model and Rule Transformation
    13 years 11 months ago
    Semantical Correctness of Simulation-to-Animation Model and Rule Transformation
    Download  tfs.cs.tu-berlin.de
    Claudia Ermel, Hartmut Ehrig, Karsten Ehrig
    claim paper
    Read More »
    ECEASST
    2006
    60views more  ECEASST 2006»
    Incremental Graph Pattern Matching: Data Structures and Initial Experiments
    13 years 11 months ago
    Incremental Graph Pattern Matching: Data Structures and Initial Experiments
    Download  tfs.cs.tu-berlin.de
    Gergely Varró, Dániel Varró, ...
    claim paper
    Read More »
    123next ›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.