Sciweavers

    1949 search results - page 10 / 390
    » Protective Interface Specifications
    Sort
    View
    ZUM
    1997
    Springer
    104views Formal Methods» more  ZUM 1997»
    Preliminary Evaluation of a Formal Approach to User Interface Specification
    15 years 9 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 »
    134
    Voted
    ESAW
    2009
    Springer
    133views Intelligent Agents» more  ESAW 2009»
    Navigational Web-Interfaces from Formal Tropos Specification
    15 years 8 months ago
    Navigational Web-Interfaces from Formal Tropos Specification
    Download  www.cs.uu.nl
    Komminist Weldemariam
    claim paper
    Read More »
    119
    Voted
    COOTS
    1998
    103views Programming Languages» more  COOTS 1998»
    IBDL: A Language for Interface Behavior Specification and Testing
    15 years 6 months ago
    IBDL: A Language for Interface Behavior Specification and Testing
    Download  www.usenix.org
    Sreenivasa Viswanadha, Deepak Kapur
    claim paper
    Read More »
    JOT
    2006
    46views more  JOT 2006»
    Reasoning About Method Calls in Interface Specifications
    15 years 5 months ago
    Reasoning About Method Calls in Interface Specifications
    Download  www.jot.fm
    Ádám Darvas, Peter Müller
    claim paper
    Read More »
    IJMI
    2002
    88views more  IJMI 2002»
    XML-based application interface services - a method to enhance integrability of disease specific systems
    15 years 4 months ago
    XML-based application interface services - a method to enhance integrability of disease specific systems
    Download  www.epj.co.jp
    Udo Altmann, Ali Gerhard Tafazzoli, Frank Rüd...
    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.