Sciweavers

    15951 search results - page 310 / 3191
    » Lawful software engineering
    Sort
    View
    140
    Voted
    SIGSOFT
    2009
    ACM
    138views Software Engineering» more  SIGSOFT 2009»
    Api hyperlinking via structural overlap
    16 years 8 months ago
    Api hyperlinking via structural overlap
    Download  pdos.csail.mit.edu
    Fan Long, Xi Wang, Yang Cai
    claim paper
    Read More »
    138
    Voted
    SIGSOFT
    2009
    ACM
    119views Software Engineering» more  SIGSOFT 2009»
    Smart views for analyzing problem reports: tool demo
    16 years 8 months ago
    Smart views for analyzing problem reports: tool demo
    Download  swerl.tudelft.nl
    Patrick Knab, Harald Gall, Martin Pinzger
    claim paper
    Read More »
    181
    Voted
    SIGSOFT
    2009
    ACM
    91views Software Engineering» more  SIGSOFT 2009»
    Behavioral automata composition for automatic topology independent verification of parameterized systems
    16 years 8 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 »
    159
    Voted
    SIGSOFT
    2007
    ACM
    138views Software Engineering» more  SIGSOFT 2007»
    Formal modeling of BPEL workflows including fault and compensation handling
    16 years 8 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 »
    153
    Voted
    SIGSOFT
    2007
    ACM
    119views Software Engineering» more  SIGSOFT 2007»
    Automated size analysis for OCL
    16 years 8 months ago
    Automated size analysis for OCL
    Download  www.cs.ucsb.edu
    Fang Yu, Tevfik Bultan, Erik Peterson
    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.