Sciweavers

    16725 search results - page 422 / 3345
    » Engineering Software Correctness
    Sort
    View
    WCRE
    1997
    IEEE
    87views Software Engineering» more  WCRE 1997»
    How Do Program Understanding Tools Affect How Programmers Understand Programs?
    15 years 9 months ago
    How Do Program Understanding Tools Affect How Programmers Understand Programs?
    Download  www.st.cs.uni-saarland.de
    Margaret-Anne D. Storey, Kenny Wong, Hausi A. M&uu...
    claim paper
    Read More »
    121
    Voted
    AMAST
    1997
    Springer
    108views Software Engineering» more  AMAST 1997»
    From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics
    15 years 9 months ago
    From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics
    Download  www.dsi.uniroma1.it
    Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...
    claim paper
    Read More »
    125
    Voted
    AMAST
    1997
    Springer
    127views Software Engineering» more  AMAST 1997»
    The Circal System
    15 years 9 months ago
    The Circal System
    Download  grussell.org
    Antonio Cerone, Alex J. Cowie, George J. Milne
    claim paper
    Read More »
    115
    Voted
    EUROMICRO
    1996
    IEEE
    87views Software Engineering» more  EUROMICRO 1996»
    A Hybrid Approach to Trace Generation for Performance Evaluation of Shared-Bus Multiprocessors
    15 years 9 months ago
    A Hybrid Approach to Trace Generation for Performance Evaluation of Shared-Bus Multiprocessors
    Download  www.dii.unisi.it
    Roberto Giorgi, Cosimo Antonio Prete, Luigi M. Ric...
    claim paper
    Read More »
    100
    Voted
    ICRE
    1996
    IEEE
    90views Software Engineering» more  ICRE 1996»
    Combined Analysis of User Interface and Domain Requirements
    15 years 9 months ago
    Combined Analysis of User Interface and Domain Requirements
    Download  www.fernuni-hagen.de
    Georg Kösters, Hans-Werner Six, Josef Voss
    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.