Sciweavers

    16725 search results - page 85 / 3345
    » Engineering Software Correctness
    Sort
    View
    88
    Voted
    LSO
    2001
    Springer
    97views Software Engineering» more  LSO 2001»
    The Organic and the Mechanistic Form of Managing Knowledge in Software Development
    15 years 7 months ago
    The Organic and the Mechanistic Form of Managing Knowledge in Software Development
    Download  www.systementwicklung.uni-koeln.de
    Ralph Trittmann
    claim paper
    Read More »
    102
    Voted
    APSEC
    2000
    IEEE
    95views Software Engineering» more  APSEC 2000»
    Building Formal Models for Software Requirements
    15 years 7 months ago
    Building Formal Models for Software Requirements
    Download  plone.mat.univie.ac.at
    Axel van Lamsweerde
    claim paper
    Read More »
    76
    Voted
    COMPSAC
    2000
    IEEE
    130views Software Engineering» more  COMPSAC 2000»
    A Phase-Based Approach to Creating Highly Reliable Software
    15 years 7 months ago
    A Phase-Based Approach to Creating Highly Reliable Software
    Download  www.cse.cuhk.edu.hk
    Michael R. Lyu
    claim paper
    Read More »
    121
    Voted
    ICSM
    2000
    IEEE
    140views Software Engineering» more  ICSM 2000»
    Identifying Reasons for Software Changes using Historic Databases
    15 years 7 months ago
    Identifying Reasons for Software Changes using Historic Databases
    Download  libresoft.es
    Audris Mockus, Lawrence G. Votta
    claim paper
    Read More »
    121
    Voted
    ICSM
    2000
    IEEE
    103views Software Engineering» more  ICSM 2000»
    Metrics of Software Evolution as Effort Predictors - A Case Study
    15 years 7 months ago
    Metrics of Software Evolution as Effort Predictors - A Case Study
    Download  www.doc.ic.ac.uk
    Juan F. Ramil, M. M. Lehman
    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.