Sciweavers

    15885 search results - page 345 / 3177
    » The Modest Software Engineer
    Sort
    View
    132
    Voted
    PEPM
    1999
    ACM
    96views Software Engineering» more  PEPM 1999»
    An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework
    15 years 11 months ago
    An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework
    Download  www.cs.bris.ac.uk
    Germán Puebla, Manuel V. Hermenegildo, John...
    claim paper
    Read More »
    150
    Voted
    RE
    1999
    Springer
    84views Software Engineering» more  RE 1999»
    Human Errors and System Requirements
    15 years 11 months ago
    Human Errors and System Requirements
    Download  wwwbruegge.in.tum.de
    Alistair G. Sutcliffe, Julia Rose Galliers, Shaile...
    claim paper
    Read More »
    SCI
    1999
    Springer
    95views Software Engineering» more  SCI 1999»
    Monitoring SCI Clusters
    15 years 11 months ago
    Monitoring SCI Clusters
    Download  kbs.cs.tu-berlin.de
    Matthias Maier-Stahel, Roger Butenuth, Hans-Ulrich...
    claim paper
    Read More »
    WADT
    1999
    Springer
    73views Software Engineering» more  WADT 1999»
    Extraction of Structured Programs from Specification Proofs
    15 years 11 months ago
    Extraction of Structured Programs from Specification Proofs
    Download  www.pst.informatik.uni-muenchen.de
    John N. Crossley, Iman Poernomo, Martin Wirsing
    claim paper
    Read More »
    METRICS
    1998
    IEEE
    85views Software Engineering» more  METRICS 1998»
    Experimenting with Error Abstraction in Requirements Documents
    15 years 11 months ago
    Experimenting with Error Abstraction in Requirements Documents
    Download  www.di.uniba.it
    Filippo Lanubile, Forrest Shull, Victor R. Basili
    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.