1. Home
  2. Proceedings
  3. ICSE
  4. ICSE 2004
Default Cover Image

Proceedings. 26th International Conference on Software Engineering

May 28 2004 to May 28 2004

Edinburgh, UK

Table of Contents

Letter from the chairsFull-text access may be available. Sign in or learn about subscription options.pp. 0_15-0_15
Introduction
Letter from the ChairsFreely available from IEEE.pp. xv
Introduction
Conference OrganizationFreely available from IEEE.pp. xvi-xvii
Keynote Talks
Controlling the Complexity of Software DesignsFull-text access may be available. Sign in or learn about subscription options.pp. 2-11
by Karl J. Lieberherr
Keynote Talks
Software Engineering Challenges in BioinformaticsFull-text access may be available. Sign in or learn about subscription options.pp. 12-15
by Jonathan Barker, Janet Thornton
Linkages
Adding High Availability and Autonomic Behavior to Web ServicesFull-text access may be available. Sign in or learn about subscription options.pp. 17-26
by Ken Birman, Robbert van Renesse, Werner Vogels
Linkages
Grid Small and Large: Distributed Systems and Global CommunitiesFull-text access may be available. Sign in or learn about subscription options.pp. 27
by Ian Foster
Invited Participants
A Model Driven Approach for Software Systems ReliabilityFull-text access may be available. Sign in or learn about subscription options.pp. 30-32
by Genaína Nunes Rodrigues
Invited Participants
Component-Based Self-Adaptability in Peer-to-Peer ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 33-35
by Sascha Alda
Invited Participants
One More Step in the Direction of Modularized Integration ConcernsFull-text access may be available. Sign in or learn about subscription options.pp. 36-38
by Hridesh Rajan
Invited Participants
Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation InterpretationFull-text access may be available. Sign in or learn about subscription options.pp. 39-41
by Eun Young Kang
Invited Participants
Empirical Studies on Requirement Management MeasuresFull-text access may be available. Sign in or learn about subscription options.pp. 42-44
by Annabella Loconsole
Invited Participants
Agile Process Tailoring and probLem analYsis (APTLY)Full-text access may be available. Sign in or learn about subscription options.pp. 45-47
by Frank Keenan
/spl chi/-SCTL/MUS: a formal methodology to evolve multi-perspective software requirements specificationsFull-text access may be available. Sign in or learn about subscription options.pp. 72-74
by A.B. Barragans Martinez, J.J. Pazos Arias
Invited Participants
Developing New Approaches for Software Design Quality Improvement Based on Subjective EvaluationsFull-text access may be available. Sign in or learn about subscription options.pp. 48-50
by Mika V. M?ntyl?
Invited Participants
Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 51-53
by Steffen Zschaler
Improving UML design tools by formal gamesFull-text access may be available. Sign in or learn about subscription options.pp. 75-77
by J. Tenzer
Behavior capture and test for verifying evolving component-based systemsFull-text access may be available. Sign in or learn about subscription options.pp. 78-80
by L. Mariani
Invited Participants
Fault Localization Using Visualization of Test InformationFull-text access may be available. Sign in or learn about subscription options.pp. 54-56
by James A. Jones
Invited Participants
A Flexible Software Process ModelFull-text access may be available. Sign in or learn about subscription options.pp. 57-59
by Diana Kirk
A constraint architectural description approach to self-organising component-based software systemsFull-text access may be available. Sign in or learn about subscription options.pp. 81-83
by P. Waewsawangwong
Invited Participants
Toward a Software Testing and Reliability Early Warning Metric SuiteFull-text access may be available. Sign in or learn about subscription options.pp. 60-62
by Nachiappan Nagappan
Invited Participants
Software Visualisation for Object-Oriented Program ComprehensionFull-text access may be available. Sign in or learn about subscription options.pp. 63-65
by Michael J. Pacione
Invited Participants
A Weakly Constrained Approach to Software Change CoordinationFull-text access may be available. Sign in or learn about subscription options.pp. 66-68
by Ciaran O?Reilly
Invited Participants
Calculating Architectural Reliability via Modeling and AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 69-71
by Roshanak Roshandel
Invited Participants
SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 72-74
Invited Participants
Improving UML Design Tools by Formal GamesFull-text access may be available. Sign in or learn about subscription options.pp. 75-77
Invited Participants
Behavior Capture and Test for Verifying Evolving Component-Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 78-80
Invited Participants
A Constraint Architectural Description Approach to Self-Organising Component-Based Software SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 81-83
Testing I
Using Simulation to Empirically Investigate Test Coverage Criteria Based on StatechartFull-text access may be available. Sign in or learn about subscription options.pp. 86-95
by L. C. Briand, Y. Labiche, Y. Wang
Testing I
Automated Generation of Test Programs from Closed Specifications of Classes and Test CasesFull-text access may be available. Sign in or learn about subscription options.pp. 96-105
by Wee Kheng Leow, Siau Cheng Khoo, Yi Sun
Testing I
Bi-Criteria Models for All-Uses Test Suite ReductionFull-text access may be available. Sign in or learn about subscription options.pp. 106-115
by Jennifer Black, Emanuel Melachrinoudis, David Kaeli
Patterns and Frameworks
The Dublo Architecture Pattern for Smooth Migration of Business Information Systems: An Experience ReportFull-text access may be available. Sign in or learn about subscription options.pp. 117-126
by Wilhelm Hasselbring, Ralf Reussner, Holger Jaekel, Jürgen Schlegelmilch, Thorsten Teschke, Stefan Krieghoff
Patterns and Frameworks
Comparison of Software Product Line Architecture Design Methods: COPA, FAST, FORM, KobrA and QADAFull-text access may be available. Sign in or learn about subscription options.pp. 127-136
by Mari Matinlassi
Patterns and Frameworks
Oil and Water? High Performance Garbage Collection in Java with MMTkFull-text access may be available. Sign in or learn about subscription options.pp. 137-146
by Stephen M Blackburn, Perry Cheng, Kathryn S McKinley
Requirements
Elaborating Security Requirements by Construction of Intentional Anti-ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 148-157
by Axel van Lamsweerde
Requirements
Theme: An Approach for Aspect-Oriented Analysis and DesignFull-text access may be available. Sign in or learn about subscription options.pp. 158-167
by Elisa Baniassad, Siobhán Clarke
Requirements
Visual Timed Event ScenariosFull-text access may be available. Sign in or learn about subscription options.pp. 168-177
by A. Alfonso, V. Braberman, N. Kicillof, A. Olivero
Quality of Service
Precise Service Level AgreementsFull-text access may be available. Sign in or learn about subscription options.pp. 179-188
by James Skene, D. Davide Lamanna, Wolfgang Emmerich
Quality of Service
GlueQoS: Middleware to Sweeten Quality-of-Service Policy InteractionsFull-text access may be available. Sign in or learn about subscription options.pp. 189-199
by Eric Wohlstadter, Stefan Tai, Thomas Mikalsen, Isabelle Rouvellou, Premkumar Devanbu
Verification
Verifying DAML+OIL and Beyond in Z/EVESFull-text access may be available. Sign in or learn about subscription options.pp. 201-210
by Jin Song Dong, Chew Hung Lee, Yuan Fang Li, Hai Wang
Verification
Assume-Guarantee Verification of Source Code with Design-Level AssumptionsFull-text access may be available. Sign in or learn about subscription options.pp. 211-220
by Dimitra Giannakopoulou, Corina S. Păsăreanu, Jamieson M. Cobleigh
Verification
Compositional Verification of Middleware-Based Software Architecture DescriptionsFull-text access may be available. Sign in or learn about subscription options.pp. 221-230
by Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione
Unified Modeling Language
The Evaluation of Large, Complex UML Analysis and Design ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 232-241
by Brian Berenbach
Unified Modeling Language
Revisiting Statechart Synthesis with an Algebraic ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 242-251
by Tewfic Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
Unified Modeling Language
Precise Modeling of Design Patterns in UMLFull-text access may be available. Sign in or learn about subscription options.pp. 252-261
by Jeffrey K. H. Mak, Clifford S. T. Choy, Daniel P. K. Lun
Empirical Methods
Team-Based Fault Content Estimation in the Software Inspection ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 263-272
by Thomas Thelin
Empirical Methods
Evidence-Based Software EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 273-281
by Barbara A. Kitchenham, Tore Dyb?, Magne J?rgensen
Empirical Methods
An Empirical Study of Software Reuse vs. Defect-Density and StabilityFull-text access may be available. Sign in or learn about subscription options.pp. 282-292
by Parastoo Mohagheghi, Reidar Conradi, Ole M. Killi, Henrik Schwarz
Feature-Based Software Engineering
SNIAFL: Towards a Static Non-Interactive Approach to Feature LocationFull-text access may be available. Sign in or learn about subscription options.pp. 293-303
by Wei Zhao, Lu Zhang, Yin Liu, Jiasu Sun, Fuqing Yang
Feature-Based Software Engineering
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience ReportFull-text access may be available. Sign in or learn about subscription options.pp. 304-313
by Vu Ha, Murali Rangarajan, Darren Cofer, Harald Rue?, Bruno Dutertre
Testing II
Using Data Versioning in Database Application DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 315-325
by Ramkrishna Chatterjee, Gopalan Arun, Sanjay Agarwal, Ben Speckhard, Ramesh Vasudevan
Testing II
Generating Tests from CounterexamplesFull-text access may be available. Sign in or learn about subscription options.pp. 326-335
by Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
Testing II
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control FlowFull-text access may be available. Sign in or learn about subscription options.pp. 336-345
by Saurabh Sinha, Alessandro Orso, Mary Jean Harrold
Software Architecture I
Towards Safe Distributed Application DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 347-356
by Patrick Thomas Eugster, Christian Heide Damm, Rachid Guerraoui
Software Architecture I
Design of Large-Scale Polylingual SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 357-366
by Mark Grechanik, Don Batory, Dewayne E. Perry
Software Architecture I
A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data StreamsFull-text access may be available. Sign in or learn about subscription options.pp. 367-376
by Alexandre R.J. François
Process and Project Management
Breaking the Ice for Agile Development of Embedded Software: An Industry Experience ReportFull-text access may be available. Sign in or learn about subscription options.pp. 378-386
by Peter Manhart, Kurt Schneider
Process and Project Management
Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development TeamsFull-text access may be available. Sign in or learn about subscription options.pp. 387-396
by Jon Froehlich, Paul Dourish
Process and Project Management
Making Resource Decisions for Software ProjectsFull-text access may be available. Sign in or learn about subscription options.pp. 397-406
by Norman Fenton, William Marsh, Martin Neil, Patrick Cates, Simon Forey, Manesh Tailor
Decentralized Systems
Using Event-Based Translation to Support Dynamic Protocol EvolutionFull-text access may be available. Sign in or learn about subscription options.pp. 408-417
by Nathan D. Ryan, Alexander L. Wolf
Decentralized Systems
Efficient Decentralized Monitoring of Safety in Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 418-427
by Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Roşu
Decentralized Systems
Extending the Representational State Transfer (REST) Architectural Style for Decentralized SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 428-437
by Rohit Khare, Richard N. Taylor
Analysis Tools
Validating the Unit Correctness of Spreadsheet ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 439-448
by Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen
Analysis Tools
A Tool for Writing and Debugging Algebraic SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 449-458
by Johannes Henkel, Amer Diwan
Analysis Tools
Skoll: Distributed Continuous Quality AssuranceFull-text access may be available. Sign in or learn about subscription options.pp. 459-468
by A. Memon, A. Porter, C. Yilmaz, A. Nagarajan, D. Schmidt, B. Natarajan
Dynamic Analysis
DiscoTect: A System for Discovering Architectures from Running SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 470-479
by Hong Yan, David Garlan, Bradley Schmerl, Jonathan Aldrich, Rick Kazman
Dynamic Analysis
Finding Latent Code Errors via Machine Learning over Program ExecutionsFull-text access may be available. Sign in or learn about subscription options.pp. 480-490
by Yuriy Brun, Michael D. Ernst
Dynamic Analysis
An Empirical Comparison of Dynamic Impact Analysis AlgorithmsFull-text access may be available. Sign in or learn about subscription options.pp. 491-500
by Alessandro Orso, Taweesup Apiwattanapong, James Law, Gregg Rothermel, Mary Jean Harrold
Slicing
Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 502-511
by Xiangyu Zhang, Rajiv Gupta, Youtao Zhang
Slicing
Using Compressed Bytecode Traces for Slicing Java ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 512-521
by Tao Wang, Abhik Roychoudhury
Slicing
A Fast Assembly Level Reverse Execution Method via Dynamic SlicingFull-text access may be available. Sign in or learn about subscription options.pp. 522-531
by Tankut Akgul, Vincent J. Mooney III, Santosh Pande
Software Architecture II
Polyphony in ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 533-542
by Bas van der Raadt, Jasper Soetendal, Michiel Perdeck, Hans van Vliet
Software Architecture II
Architecting in the Face of Uncertainty: An Experience ReportFull-text access may be available. Sign in or learn about subscription options.pp. 543-551
by Ian Gorton, Jereme Haack
Software Architecture II
Using Web Service Technologies to Create an Information Broker: An Experience ReportFull-text access may be available. Sign in or learn about subscription options.pp. 552-561
by Mark Turner, Fujun Zhu, Ioannis Kotsiopoulos, Michelle Russell, David Budgen, Keith Bennett, Pearl Brereton, John Keane, Paul Layzell, Michael Rigby
Software Configuration Management and Deployment
Mining Version Histories to Guide Software ChangesFull-text access may be available. Sign in or learn about subscription options.pp. 563-572
by Thomas Zimmermann, Peter Wei?gerber, Stephan Diehl, Andreas Zeller
Software Configuration Management and Deployment
An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy CompositionFull-text access may be available. Sign in or learn about subscription options.pp. 573-582
by Ronald van der Lingen, Andr? van der Hoek
Software Configuration Management and Deployment
Imposing a Memory Management Discipline on Software DeploymentFull-text access may be available. Sign in or learn about subscription options.pp. 583-592
by Eelco Dolstra, Eelco Visser, Merijn de Jonge
Dynamic Reconfiguration
An Open Framework for Dynamic ReconfigurationFull-text access may be available. Sign in or learn about subscription options.pp. 594-603
by Jamie Hillman, Ian Warren
Dynamic Reconfiguration
Dynamic Configuration of Resource-Aware ServicesFull-text access may be available. Sign in or learn about subscription options.pp. 604-613
by Vahe Poladian, Jo?o Pedro Sousa, David Garlan, Mary Shaw
Panel MDA in practiceFreely available from IEEE.pp. 691-691
by J.-M. Jezequel, W. Emmerich
Dynamic Reconfiguration
Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component ModelFull-text access may be available. Sign in or learn about subscription options.pp. 614-623
by Humberto Cervantes, Richard S. Hall
Static Analysis
DMS?: Program Transformations for Practical Scalable Software EvolutionFull-text access may be available. Sign in or learn about subscription options.pp. 625-634
by Ira D. Baxter, Christopher Pidgeon, Michael Mehlich
Static Analysis
Heuristic-Based Model Refinement for FLAVERSFull-text access may be available. Sign in or learn about subscription options.pp. 635-644
by Jianbin Tan, George S. Avrunin, Lori A. Clarke
BoF: new directions in UK software engineering researchFull-text access may be available. Sign in or learn about subscription options.pp. 693-694
by D. Bustard, M. Holcombe, I. Sommerville
Static Analysis
Static Checking of Dynamically Generated Queries in Database ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 645-654
by Carl Gould, Zhendong Su, Premkumar Devanbu
Object-Oriented Programming
Evaluating Object-Oriented Designs with Link AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 656-665
by Alexander Chatzigeorgiou, Spiros Xanthos, George Stephanides
Object-Oriented Programming
Responsibilities and Rewards: Specifying Design PatternsFull-text access may be available. Sign in or learn about subscription options.pp. 666-675
by Neelam Soundarajan, Jason O. Hallstrom
Object-Oriented Programming
Traits: Tools and MethodologyFull-text access may be available. Sign in or learn about subscription options.pp. 676-686
by Andrew P. Black, Nathanael Schärli
Panels
Supporting Reflective PractitionersFull-text access may be available. Sign in or learn about subscription options.pp. 688-690
by David Redmiles, Kumiyo Nakakoji
Panels
Panel MDA in PracticeFull-text access may be available. Sign in or learn about subscription options.pp. 691
by Jean-Marc Jézéquel, Wolfgang Emmerich
Panels
Agile Development: Evaluation and ExperienceFull-text access may be available. Sign in or learn about subscription options.pp. 692
by Walter F. Tichy
Panels
BoF: New Directions in UK Software Engineering ResearchFull-text access may be available. Sign in or learn about subscription options.pp. 693-694
by Dave Bustard, Mike Holcombe, Ian Sommerville
Analysis and Visualization
JDBC Checker: A Static Analysis Tool for SQL/JDBC ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 697-698
by Carl Gould, Zhendong Su, Premkumar Devanbu
Analysis and Visualization
Gammatella: Visualization of Program-Execution Data for Deployed SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 699-700
by Alessandro Orso, James A. Jones, Mary Jean Harrold, John Stasko
Design Tools
Feature-Oriented Programming and the AHEAD Tool SuiteFull-text access may be available. Sign in or learn about subscription options.pp. 702-703
by Don Batory
Design Tools
AcmeStudio: Supporting Style-Centered Architecture DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 704-705
by Bradley Schmerl, David Garlan
Design Tools
Design and Implementation of Distributed Crosscutting Features with DADOFull-text access may be available. Sign in or learn about subscription options.pp. 706-707
by Eric Wohlstadter, Stoney Jackson, Premkumar Devanbu
Requirements and Specifications
The CommUnity WorkbenchFull-text access may be available. Sign in or learn about subscription options.pp. 709-710
by Cristóvão Oliveira, Michel Wermelinger
Requirements and Specifications
Statestep: A Tool for Systematic, Incremental SpecificationFull-text access may be available. Sign in or learn about subscription options.pp. 711-712
by Michael Breen
Showing 100 out of 154
Load More
Load All