Sciweavers

    16725 search results - page 402 / 3345
    » Engineering Software Correctness
    Sort
    View
    107
    Voted
    KBSE
    2003
    IEEE
    76views Software Engineering» more  KBSE 2003»
    A Pragmatic Study of Binary Class Relationships
    15 years 10 months ago
    A Pragmatic Study of Binary Class Relationships
    Download  www-etud.iro.umontreal.ca
    Yann-Gaël Guéhéneuc, Herv&eacut...
    claim paper
    Read More »
    KBSE
    2003
    IEEE
    84views Software Engineering» more  KBSE 2003»
    Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
    15 years 10 months ago
    Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
    Download  ase.informatik.uni-essen.de
    Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...
    claim paper
    Read More »
    KBSE
    2003
    IEEE
    130views Software Engineering» more  KBSE 2003»
    SPQR: Flexible Automated Design Pattern Extraction From Source Code
    15 years 10 months ago
    SPQR: Flexible Automated Design Pattern Extraction From Source Code
    Download  rockfish.cs.unc.edu
    Jason McC. Smith, P. David Stotts
    claim paper
    Read More »
    QSIC
    2003
    IEEE
    84views Software Engineering» more  QSIC 2003»
    Verifying CIM Models of Apache Web-Server Configurations
    15 years 10 months ago
    Verifying CIM Models of Apache Web-Server Configurations
    Download  www.carstensinz.de
    Carsten Sinz, Amir Khosravizadeh, Wolfgang Kü...
    claim paper
    Read More »
    SCAM
    2003
    IEEE
    96views Software Engineering» more  SCAM 2003»
    Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs
    15 years 10 months ago
    Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs
    Download  www.codeboost.org
    Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Ha...
    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.