ICSE 2004
126 papers
- 1st International Workshop on Advances and Applications of Problem Frames
- 4th International Workshop on Adoption-Centric Software Engineering
- A Constraint Architectural Description Approach to Self-Organising Component-Based Software Systems
- A Fast Assembly Level Reverse Execution Method via Dynamic Slicing
- A Flexible Software Process Model
- A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams
- A Model Driven Approach for Software Systems Reliability
- A Tool for Writing and Debugging Algebraic Specifications
- A Weakly Constrained Approach to Software Change Coordination
- AcmeStudio: Supporting Style-Centered Architecture Development
- Adding High Availability and Autonomic Behavior to Web Services
- Agile Development: Evaluation and Experience
- Agile Process Tailoring and probLem analYsis (APTLY)
- An Empirical Comparison of Dynamic Impact Analysis Algorithms
- An Empirical Study of Software Reuse vs. Defect-Density and Stability
- An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition
- An Introduction to Computing System Dependability
- An Open Framework for Dynamic Reconfiguration
- Architecting in the Face of Uncertainty: An Experience Report
- Architectures and Technologies for Enterprise Application Integration
- Assume-Guarantee Verification of Source Code with Design-Level Assumptions
- Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
- Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
- Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model
- Balancing Agility and Discipline: Evaluating and Integrating Agile and Plan-Driven Methods
- Behavior Capture and Test for Verifying Evolving Component-Based Systems
- Bi-Criteria Models for All-Uses Test Suite Reduction
- BoF: New Directions in UK Software Engineering Research
- Breaking the Ice for Agile Development of Embedded Software: An Industry Experience Report
- Bridging the Gaps II: Bridging the Gaps between Software Engineering and Human-Computer Interaction
- Calculating Architectural Reliability via Modeling and Analysis
- Case Studies for Software Engineers
- Collaboration, Conflict and Control: The 4th Workshop on Open Source Software Engineering
- Comparison of Software Product Line Architecture Design Methods: COPA, FAST, FORM, KobrA and QADA
- Component-Based Self-Adaptability in Peer-to-Peer Architectures
- Compositional Verification of Middleware-Based Software Architecture Descriptions
- Controlling the Complexity of Software Design
- DMS®: Program Transformations for Practical Scalable Software Evolution
- Design and Implementation of Distributed Crosscutting Features with DADO
- Design of Large-Scale Polylingual Systems
- Developing New Approaches for Software Design Quality Improvement Based on Subjective Evaluations
- DiscoTect: A System for Discovering Architectures from Running Systems
- Dynamic Configuration of Resource-Aware Services
- Efficient Decentralized Monitoring of Safety in Distributed Systems
- Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams
- Elaborating Security Requirements by Construction of Intentional Anti-Models
- Empirical Studies on Requirement Management Measures
- Evaluating Object-Oriented Designs with Link Analysis
- Evidence-Based Software Engineering
- Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems
- Fault Localization Using Visualization of Test Information
- Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report
- Feature-Oriented Programming and the AHEAD Tool Suite
- Finding Latent Code Errors via Machine Learning over Program Executions
- Formal Concept Analysis in Software Engineering
- Gammatella: Visualization of Program-Execution Data for Deployed Software
- Generating Tests from Counterexamples
- Getting Results from Search-Based Approaches to Software Engineering
- GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions
- Grid Small and Large: Distributed Systems and Global Communities
- Heuristic-Based Model Refinement for FLAVERS
- ICSE Workshop: Software Engineering for Automotive Systems
- Imposing a Memory Management Discipline on Software Deployment
- Improving UML Design Tools by Formal Games
- JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications
- MSR 2004: International Workshop on Mining Software Repositories
- Making Resource Decisions for Software Projects
- Managing Commitments and Risks: Challenges in Distributed Agile Development
- Mining Version Histories to Guide Software Changes
- Models and Processes for the Evaluation of COTS Components
- Object-Oriented Reengineering Patterns
- Oil and Water? High Performance Garbage Collection in Java with MMTk
- One More Step in the Direction of Modularized Integration Concerns
- Panel MDA in Practice
- Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation
- Polyphony in Architecture
- Precise Modeling of Design Patterns in UML
- Precise Service Level Agreements
- ProSim'04 - The 5th International Workshop on Software Process Simulation and Modeling
- Requirements Engineering Tools Go Mobile
- Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software
- Responsibilities and Rewards: Specifying Design Patterns
- Revisiting Statechart Synthesis with an Algebraic Approach
- SNIAFL: Towards a Static Non-Interactive Approach to Feature Location
- Second ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS)
- Second International Workshop on Dynamic Analysis (WODA 2004)
- Second Workshop on Software Quality
- Skoll: Distributed Continuous Quality Assurance
- Software Architecture Reconstruction
- Software Engineering Challenges in Bioinformatics
- Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04
- Software Modeling Techniques and the Semantic Web
- Software Variability Management
- Software Visualisation for Object-Oriented Program Comprehension
- Statestep: A Tool for Systematic, Incremental Specification
- Static Checking of Dynamically Generated Queries in Database Applications
- Statistical Techniques for Software Engineering Practice
- Supporting Reflective Practitioners
- Team-Based Fault Content Estimation in the Software Inspection Process
- Testing Object Oriented Software
- The 3rd International Workshop on Global Software Development
- The CommUnity Workbench
- The Dublo Architecture Pattern for Smooth Migration of Business Information Systems: An Experience Report
- The Evaluation of Large, Complex UML Analysis and Design Model
- The Sixth International Workshop on Economics-Driven Software Engineering Research (EDSER-6)
- Theme: An Approach for Aspect-Oriented Analysis and Design
- Third International Workshop on Distributed Event-Based Systems - DEBS '04
- Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04)
- Toward a Software Testing and Reliability Early Warning Metric Suite
- Towards Safe Distributed Application Development
- Traits: Tools and Methodology
- Tutorial: An Overview of UML 2.0
- Twin Workshops on Architecting Dependable Systems (WADS 2004)
- Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams
- Usability-Supporting Architectural Patterns
- Using Compressed Bytecode Traces for Slicing Java Programs
- Using Data Versioning in Database Application Development
- Using Event-Based Translation to Support Dynamic Protocol Evolution
- Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart
- Using Web Service Technologies to Create an Information Broker: An Experience Report
- Validating the Unit Correctness of Spreadsheet Programs
- Verifying DAML+OIL and Beyond in Z/EVES
- Visual Timed Event Scenarios
- Workshop on Directions in Software Engineering Environments (WoDiSEE)
- Workshop on Software Engineering for High Performance Computing System (HPCS) Applications
- chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications