Sciweavers

    ICSE
    2003
    IEEE-ACM
    96views Software Engineering» more  ICSE 2003»
    Sound Methods and Effective Tools for Engineering Modeling and Analysis
    14 years 11 months ago
    Sound Methods and Effective Tools for Engineering Modeling and Analysis
    Download  www.cs.wm.edu
    Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
    David Coppit, Kevin J. Sullivan
    claim paper
    Read More »
    ICSE
    2003
    IEEE-ACM
    124views Software Engineering» more  ICSE 2003»
    Constructing Test Suites for Interaction Testing
    14 years 11 months ago
    Constructing Test Suites for Interaction Testing
    Download  www.cse.unl.edu
    Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...
    Myra B. Cohen, Peter B. Gibbons, Warwick B. Mugrid...
    claim paper
    Read More »
    ICSE
    2003
    IEEE-ACM
    134views Software Engineering» more  ICSE 2003»
    Demonstration of AGENDA Tool Set for Testing Relational Database Applications
    14 years 11 months ago
    Demonstration of AGENDA Tool Set for Testing Relational Database Applications
    Download  ase.informatik.uni-essen.de
    Database systems play an important role in nearly every modern organization, yet relatively little research effort has focused on how to test them. AGENDA, A (test) GENerator for ...
    David Chays, Yuetang Deng
    claim paper
    Read More »
    ICSE
    2003
    IEEE-ACM
    125views Software Engineering» more  ICSE 2003»
    Modular Verification of Software Components in C
    14 years 11 months ago
    Modular Verification of Software Components in C
    Download  www.cs.cmu.edu
    We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
    Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...
    claim paper
    Read More »
    ICSE
    2003
    IEEE-ACM
    137views Software Engineering» more  ICSE 2003»
    Comparison of Two Component Frameworks: The FIPA-Compliant Multi-Agent System and The Web-Centric J2EE Platform
    14 years 11 months ago
    Comparison of Two Component Frameworks: The FIPA-Compliant Multi-Agent System and The Web-Centric J2EE Platform
    Download  www.cs.unicam.it
    This work compares and contrasts two component frameworks: (1) the web-centric Java 2 Enterprise Edition (J2EE) framework and (2) the FIPA-compliant multi-agent system (MAS). FIPA...
    Michelle Casagni, Margaret Lyell
    claim paper
    Read More »
    ICSE
    2003
    IEEE-ACM
    125views Software Engineering» more  ICSE 2003»
    End-User Software Engineering with Assertions in the Spreadsheet Paradigm
    14 years 11 months ago
    End-User Software Engineering with Assertions in the Spreadsheet Paradigm
    Download  www.cse.unl.edu
    There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
    Margaret M. Burnett, Curtis R. Cook, Omkar Pendse,...
    claim paper
    Read More »
    ICSE
    2003
    IEEE-ACM
    81views Software Engineering» more  ICSE 2003»
    A Framework for Component Deployment Testing
    14 years 11 months ago
    A Framework for Component Deployment Testing
    Download  cs.ecs.baylor.edu
    Component-based development is the emerging paradigm in software production, though several challenges still slow down its full taking up. In particular, the "component trust...
    Antonia Bertolino, Andrea Polini
    claim paper
    Read More »
    ICSE
    2003
    IEEE-ACM
    105views Software Engineering» more  ICSE 2003»
    Scaling Step-Wise Refinement
    14 years 11 months ago
    Scaling Step-Wise Refinement
    Download  www.cs.utexas.edu
    Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
    Don S. Batory, Jacob Neal Sarvela, Axel Rauschmaye...
    claim paper
    Read More »
    ICSE
    2003
    IEEE-ACM
    68views Software Engineering» more  ICSE 2003»
    On the Uniformity of Software Evolution Patterns
    14 years 11 months ago
    On the Uniformity of Software Evolution Patterns
    Download  www.pitt.edu
    Preparations for Y2K reminded the software engineering community of the extent to which long-lived software systems are embedded in our daily environments. As systems are maintain...
    Evelyn J. Barry, Chris F. Kemerer, Sandra Slaughte...
    claim paper
    Read More »
    ICSE
    2003
    IEEE-ACM
    77views Software Engineering» more  ICSE 2003»
    Design Pattern Rationale Graphs: Linking Design to Source
    14 years 11 months ago
    Design Pattern Rationale Graphs: Linking Design to Source
    Download  www.cs.ubc.ca
    Elisa L. A. Baniassad, Gail C. Murphy, Christa Sch...
    claim paper
    Read More »
    « first‹ previous…112011211122112311241125112611271128…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.