Sciweavers

    1856 search results - page 5 / 372
    » Formal Dialectic Specification
    Sort
    View
    111
    Voted
    CIBSE
    2009
    ACM
    163views Software Engineering» more  CIBSE 2009»
    A two-level formal semantics for the QVT language
    15 years 9 months ago
    A two-level formal semantics for the QVT language
    Download  www.lifia.info.unlp.edu.ar
    Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
    Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...
    claim paper
    Read More »
    168
    Voted
    FMCAD
    2009
    Springer
    171views Formal Methods» more  FMCAD 2009»
    Debugging formal specifications using simple counterstrategies
    15 years 9 months ago
    Debugging formal specifications using simple counterstrategies
    Download  fmv.jku.at
    Robert Könighofer, Georg Hofferek, Roderick B...
    claim paper
    Read More »
    ZUM
    1997
    Springer
    104views Formal Methods» more  ZUM 1997»
    Preliminary Evaluation of a Formal Approach to User Interface Specification
    15 years 6 months ago
    Preliminary Evaluation of a Formal Approach to User Interface Specification
    Download  www.cs.virginia.edu
    John C. Knight, Susan S. Brilliant
    claim paper
    Read More »
    133
    Voted
    FMICS
    2010
    Springer
    157views Formal Methods» more  FMICS 2010»
    Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study
    15 years 3 months ago
    Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study
    Download  www.brucker.ch
    Michael Altenhofen, Achim D. Brucker
    claim paper
    Read More »
    114
    Voted
    TFM
    2009
    Springer
    144views Formal Methods» more  TFM 2009»
    Teaching Program Specification and Verification Using JML and ESC/Java2
    15 years 9 months ago
    Teaching Program Specification and Verification Using JML and ESC/Java2
    Download  www.di.uminho.pt
    Erik Poll
    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.