Sciweavers

    16725 search results - page 394 / 3345
    » Engineering Software Correctness
    Sort
    View
    SEFM
    2005
    IEEE
    70views Software Engineering» more  SEFM 2005»
    Pragmatic Consistency Management in Industrial Requirements Specifications
    15 years 10 months ago
    Pragmatic Consistency Management in Industrial Requirements Specifications
    Download  www.icsi.berkeley.edu
    Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk, Joh...
    claim paper
    Read More »
    STEP
    2005
    IEEE
    102views Software Engineering» more  STEP 2005»
    Open Challenges in Ubiquitous and Net-Centric Computing Middleware
    15 years 10 months ago
    Open Challenges in Ubiquitous and Net-Centric Computing Middleware
    Download  www.netcentriccomputing.org
    Thierry Bodhuin, Gerardo Canfora, Rosa Preziosi, M...
    claim paper
    Read More »
    PASTE
    2005
    ACM
    87views Software Engineering» more  PASTE 2005»
    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs
    15 years 10 months ago
    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs
    Download  www-users.cs.umn.edu
    Donglin Liang, Maikel Pennings, Mary Jean Harrold
    claim paper
    Read More »
    AADEBUG
    2005
    Springer
    228views Software Engineering» more  AADEBUG 2005»
    Divide-and-query and subterm dependency tracking in the mercury declarative debugger
    15 years 10 months ago
    Divide-and-query and subterm dependency tracking in the mercury declarative debugger
    Download  www.mercury.csse.unimelb.edu.au
    Ian MacLarty, Zoltan Somogyi, Mark Brown
    claim paper
    Read More »
    FASE
    2005
    Springer
    101views Software Engineering» more  FASE 2005»
    Automated Compositional Proofs for Real-Time Systems
    15 years 10 months ago
    Automated Compositional Proofs for Real-Time Systems
    Download  se.ethz.ch
    Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...
    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.