Sciweavers

    1855 search results - page 1 / 371
    » Composing model programs for analysis
    Sort
    View
    JLP
    2010
    73views more  JLP 2010»
    Composing model programs for analysis
    13 years 3 months ago
    Composing model programs for analysis
    Download  research.microsoft.com
    Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
    Margus Veanes, Jonathan Jacky
    claim paper
    Read More »
    ECOOP
    2004
    Springer
    89views Programming Languages» more  ECOOP 2004»
    Composable Encapsulation Policies
    14 years 1 months ago
    Composable Encapsulation Policies
    Download  scg.unibe.ch
    Given the importance of encapsulation to object-oriented programming, it is surprising to note that mainstream object-oriented languages offer only limited and fixed ways of enca...
    Nathanael Schärli, Stéphane Ducasse, O...
    claim paper
    Read More »
    COOPIS
    2002
    IEEE
    271views Information Technology» more  COOPIS 2002»
    Composing and Deploying Grid Middleware Web Services Using Model Driven Architecture
    14 years 1 months ago
    Composing and Deploying Grid Middleware Web Services Using Model Driven Architecture
    Download  www.dre.vanderbilt.edu
    Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...
    Aniruddha S. Gokhale, Balachandran Natarajan
    claim paper
    Read More »
    FORTE
    2007
    164views Formal Methods» more  FORTE 2007»
    Composition of Model Programs
    13 years 10 months ago
    Composition of Model Programs
    Download  research.microsoft.com
    Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
    Margus Veanes, Colin Campbell, Wolfram Schulte
    claim paper
    Read More »
    LCPC
    2007
    Springer
    116views System Software» more  LCPC 2007»
    Capsules: Expressing Composable Computations in a Parallel Programming Model
    14 years 2 months ago
    Capsules: Expressing Composable Computations in a Parallel Programming Model
    Download  etd.gatech.edu
    Hasnain A. Mandviwala, Umakishore Ramachandran, Ka...
    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.