Sciweavers

    4469 search results - page 16 / 894
    » A Language for Role Specifications
    Sort
    View
    122
    Voted
    PADL
    2010
    Springer
    138views Programming Languages» more  PADL 2010»
    Lazy Combinators for Executable Specifications of General Attribute Grammars
    16 years 2 months ago
    Lazy Combinators for Executable Specifications of General Attribute Grammars
    Download  cs.uwindsor.ca
    Rahmatullah Hafiz, Richard A. Frost
    claim paper
    Read More »
    114
    Voted
    MODELS
    2009
    Springer
    101views Natural Language Processing» more  MODELS 2009»
    Polymorphic Scenario-Based Specification Models: Semantics and Applications
    16 years 5 days ago
    Polymorphic Scenario-Based Specification Models: Semantics and Applications
    Download  www.cs.colostate.edu
    Shahar Maoz
    claim paper
    Read More »
    125
    Voted
    ICALP
    2001
    Springer
    102views Programming Languages» more  ICALP 2001»
    Distributed Controller Synthesis for Local Specifications
    15 years 10 months ago
    Distributed Controller Synthesis for Local Specifications
    Download  www.comp.nus.edu.sg
    P. Madhusudan, P. S. Thiagarajan
    claim paper
    Read More »
    124
    Voted
    ECOOP
    1999
    Springer
    82views Programming Languages» more  ECOOP 1999»
    Formal Specification and Prototyping of CORBA Systems
    15 years 10 months ago
    Formal Specification and Prototyping of CORBA Systems
    Download  www.ifs.uni-linz.ac.at
    Rémi Bastide, Ousmane Sy, Philippe A. Palan...
    claim paper
    Read More »
    126
    Voted
    POPL
    1996
    ACM
    102views Programming Languages» more  POPL 1996»
    Faster Checking of Software Specifications by Eliminating Isomorphs
    15 years 9 months ago
    Faster Checking of Software Specifications by Eliminating Isomorphs
    Download  www.cs.cmu.edu
    Daniel Jackson, Somesh Jha, Craig Damon
    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.