Sciweavers

    8828 search results - page 261 / 1766
    » Formal methods in practice
    Sort
    View
    FMCO
    2004
    Springer
    102views Formal Methods» more  FMCO 2004»
    A Fully Abstract Semantics for UML Components
    16 years 23 hour ago
    A Fully Abstract Semantics for UML Components
    Download  www.liacs.nl
    Frank S. de Boer, Marcello M. Bonsangue, Martin St...
    claim paper
    Read More »
    IFM
    2004
    Springer
    74views Formal Methods» more  IFM 2004»
    An Optimal Approach to Hardware/Software Partitioning for Synchronous Model
    16 years 8 hour ago
    An Optimal Approach to Hardware/Software Partitioning for Synchronous Model
    Download  www.iist.unu.edu
    Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi
    claim paper
    Read More »
    ISOLA
    2004
    Springer
    84views Formal Methods» more  ISOLA 2004»
    Model Checker Aided Design of a Controller for a Wafer Scanner
    16 years 5 hour ago
    Model Checker Aided Design of a Controller for a Wafer Scanner
    Download  ametist.cs.utwente.nl
    Martijn Hendriks, Barend van den Nieuwelaar, Frits...
    claim paper
    Read More »
    JOT
    2006
    64views more  JOT 2006»
    Game Development Using Design-by-Contract
    15 years 6 months ago
    Game Development Using Design-by-Contract
    Download  www.jot.fm
    There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based p...
    Richard F. Paige, Triston S. Attridge, Phillip J. ...
    claim paper
    Read More »
    IGPL
    2010
    113views more  IGPL 2010»
    Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
    15 years 3 months ago
    Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
    Download  www.gabbay.org.uk
    Gilles Dowek, Murdoch James Gabbay, Dominic P. Mul...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.