Sciweavers

    3514 search results - page 14 / 703
    » Evolving Specification Engineering
    Sort
    View
    ICSE
    2007
    IEEE-ACM
    95views Software Engineering» more  ICSE 2007»
    Information Hiding and Visibility in Interface Specifications
    16 years 3 months ago
    Information Hiding and Visibility in Interface Specifications
    Download  sct.inf.ethz.ch
    Gary T. Leavens, Peter Müller
    claim paper
    Read More »
    SCAM
    2009
    IEEE
    123views Software Engineering» more  SCAM 2009»
    Recovering Grammar Relationships for the Java Language Specification
    15 years 10 months ago
    Recovering Grammar Relationships for the Java Language Specification
    Download  www.uni-koblenz.de
    Ralf Lämmel, Vadim Zaytsev
    claim paper
    Read More »
    KBSE
    2009
    IEEE
    110views Software Engineering» more  KBSE 2009»
    Automatic Generation of Object Usage Specifications from Large Method Traces
    15 years 10 months ago
    Automatic Generation of Object Usage Specifications from Large Method Traces
    Download  www.lst.inf.ethz.ch
    Michael Pradel, Thomas R. Gross
    claim paper
    Read More »
    CBSE
    2009
    Springer
    78views Software Engineering» more  CBSE 2009»
    Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations
    15 years 9 months ago
    Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations
    Download  secure.ucd.ie
    Joseph R. Kiniry, Fintan Fairmichael
    claim paper
    Read More »
    SEKE
    2009
    Springer
    141views Software Engineering» more  SEKE 2009»
    Improving Natural Language Specifications with Ontologies
    15 years 9 months ago
    Improving Natural Language Specifications with Ontologies
    Download  www.ipd.uka.de
    Sven J. Korner, Torben Brumm
    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.