Sciweavers

    15777 search results - page 322 / 3156
    » The Reformulation-Optimization Software Engine
    Sort
    View
    96
    Voted
    PEPM
    1999
    ACM
    96views Software Engineering» more  PEPM 1999»
    An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework
    15 years 8 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 »
    113
    Voted
    RE
    1999
    Springer
    84views Software Engineering» more  RE 1999»
    Human Errors and System Requirements
    15 years 8 months ago
    Human Errors and System Requirements
    Download  wwwbruegge.in.tum.de
    Alistair G. Sutcliffe, Julia Rose Galliers, Shaile...
    claim paper
    Read More »
    94
    Voted
    SCI
    1999
    Springer
    95views Software Engineering» more  SCI 1999»
    Monitoring SCI Clusters
    15 years 7 months ago
    Monitoring SCI Clusters
    Download  kbs.cs.tu-berlin.de
    Matthias Maier-Stahel, Roger Butenuth, Hans-Ulrich...
    claim paper
    Read More »
    103
    Voted
    WADT
    1999
    Springer
    73views Software Engineering» more  WADT 1999»
    Extraction of Structured Programs from Specification Proofs
    15 years 7 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 »
    96
    Voted
    METRICS
    1998
    IEEE
    85views Software Engineering» more  METRICS 1998»
    Experimenting with Error Abstraction in Requirements Documents
    15 years 7 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.