Sciweavers

    16725 search results - page 366 / 3345
    » Engineering Software Correctness
    Sort
    View
    SIGSOFT
    2009
    ACM
    91views Software Engineering» more  SIGSOFT 2009»
    Behavioral automata composition for automatic topology independent verification of parameterized systems
    16 years 5 months ago
    Behavioral automata composition for automatic topology independent verification of parameterized systems
    Download  goedel.cs.uiowa.edu
    Youssef Hanna, Samik Basu, Hridesh Rajan
    claim paper
    Read More »
    SIGSOFT
    2007
    ACM
    138views Software Engineering» more  SIGSOFT 2007»
    Formal modeling of BPEL workflows including fault and compensation handling
    16 years 5 months ago
    Formal modeling of BPEL workflows including fault and compensation handling
    Download  www.inf.mit.bme.hu
    Dániel Varró, László G...
    claim paper
    Read More »
    103
    Voted
    SIGSOFT
    2007
    ACM
    119views Software Engineering» more  SIGSOFT 2007»
    Automated size analysis for OCL
    16 years 5 months ago
    Automated size analysis for OCL
    Download  www.cs.ucsb.edu
    Fang Yu, Tevfik Bultan, Erik Peterson
    claim paper
    Read More »
    SIGSOFT
    2005
    ACM
    109views Software Engineering» more  SIGSOFT 2005»
    HATARI: raising risk awareness
    16 years 5 months ago
    HATARI: raising risk awareness
    Download  pages.cpsc.ucalgary.ca
    Jacek Sliwerski, Thomas Zimmermann, Andreas Zeller
    claim paper
    Read More »
    101
    Voted
    SIGSOFT
    2003
    ACM
    100views Software Engineering» more  SIGSOFT 2003»
    Predicting problems caused by component upgrades
    16 years 5 months ago
    Predicting problems caused by component upgrades
    Download  publications.csail.mit.edu
    Stephen McCamant, Michael D. Ernst
    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.