The Community for Technology Leaders
Software Engineering, International Conference on (2004)
Edinburgh, Scotland, United Kingdom
May 23, 2004 to May 28, 2004
ISSN: 0270-5257
ISBN: 0-7695-2163-0
TABLE OF CONTENTS
Introduction

Conference Organization (PDF)

pp. xvi-xvii
Keynote Talks

Controlling the Complexity of Software Designs (Abstract)

Karl J. Lieberherr , Northeastern University
pp. 2-11

Software Engineering Challenges in Bioinformatics (Abstract)

Janet Thornton , European Bioinformatics Institute
Jonathan Barker , European Bioinformatics Institute
pp. 12-15
Linkages

Adding High Availability and Autonomic Behavior to Web Services (Abstract)

Ken Birman , Cornell University
Werner Vogels , Cornell University
Robbert van Renesse , Cornell University
pp. 17-26

Grid Small and Large: Distributed Systems and Global Communities (PDF)

Ian Foster , Argonne National Laboratory and University of Chicago
pp. 27
Invited Participants

Agile Process Tailoring and probLem analYsis (APTLY) (Abstract)

Frank Keenan , University of Ulster at Coleraine
pp. 45-47

Fault Localization Using Visualization of Test Information (Abstract)

James A. Jones , Georgia Institute of Technology
pp. 54-56

A Flexible Software Process Model (Abstract)

Diana Kirk , University of Auckland
pp. 57-59

Calculating Architectural Reliability via Modeling and Analysis (Abstract)

Roshanak Roshandel , University of Southern California
pp. 69-71
Testing I

Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart (Abstract)

Y. Wang , Carleton University
L. C. Briand , Carleton University
Y. Labiche , Carleton University
pp. 86-95

Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases (Abstract)

Yi Sun , National University of Singapore
Wee Kheng Leow , National University of Singapore
Siau Cheng Khoo , National University of Singapore
pp. 96-105

Bi-Criteria Models for All-Uses Test Suite Reduction (Abstract)

Emanuel Melachrinoudis , Northeastern University
David Kaeli , Northeastern University
Jennifer Black , Northeastern University
pp. 106-115
Patterns and Frameworks

Oil and Water? High Performance Garbage Collection in Java with MMTk (Abstract)

Perry Cheng , IBM T.J. Watson Research Center
Kathryn S McKinley , University of Texas at Austin
Stephen M Blackburn , Australian National University
pp. 137-146
Requirements

Visual Timed Event Scenarios (Abstract)

A. Olivero , Universidad Argentina de la Empresa
V. Braberman , Universidad de Buenos Aires
A. Alfonso , Universidad de Buenos Aires
N. Kicillof , Universidad de Buenos Aires
pp. 168-177
Quality of Service

Precise Service Level Agreements (Abstract)

D. Davide Lamanna , University College London
Wolfgang Emmerich , University College London
James Skene , University College London
pp. 179-188

GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions (Abstract)

Stefan Tai , IBM Watson Research Center
Thomas Mikalsen , IBM Watson Research Center
Premkumar Devanbu , University of California at Davis
Eric Wohlstadter , University of California at Davis
Isabelle Rouvellou , IBM Watson Research Center
pp. 189-199
Verification

Verifying DAML+OIL and Beyond in Z/EVES (Abstract)

Jin Song Dong , National University of Singapore
Yuan Fang Li , National University of Singapore
Chew Hung Lee , DSO National Laboratories
Hai Wang , University of Manchester
pp. 201-210

Assume-Guarantee Verification of Source Code with Design-Level Assumptions (Abstract)

Jamieson M. Cobleigh , University of Massachusetts at Amherst
Corina S. Păsăreanu , NASA Ames Research Center
Dimitra Giannakopoulou , NASA Ames Research Center
pp. 211-220

Compositional Verification of Middleware-Based Software Architecture Descriptions (Abstract)

Patrizio Pelliccione , Università delléAquila
Mauro Caporuscio , Università delléAquila
Paola Inverardi , Università delléAquila
pp. 221-230
Unified Modeling Language

The Evaluation of Large, Complex UML Analysis and Design Models (Abstract)

Brian Berenbach , Siemens Corporate Research, Inc.
pp. 232-241

Precise Modeling of Design Patterns in UML (Abstract)

Clifford S. T. Choy , Hong Kong Polytechnic University
Jeffrey K. H. Mak , Hong Kong Polytechnic University
Daniel P. K. Lun , Hong Kong Polytechnic University
pp. 252-261
Empirical Methods

Evidence-Based Software Engineering (Abstract)

Barbara A. Kitchenham , National ICT Australia and Keele University
Tore Dyb? , Simula Research Laboratory and SINTEF ICT
Magne J?rgensen , Simula Research Laboratory
pp. 273-281

An Empirical Study of Software Reuse vs. Defect-Density and Stability (Abstract)

Reidar Conradi , NTNU and Simula Research Laboratory
Parastoo Mohagheghi , Ericsson Norway-Grimstad, NTNU and Simula Research Laboratory
pp. 282-292
Feature-Based Software Engineering

SNIAFL: Towards a Static Non-Interactive Approach to Feature Location (Abstract)

Wei Zhao , Peking University
Jiasu Sun , Peking University
Fuqing Yang , Peking University
Yin Liu , Peking University
Lu Zhang , Peking University
pp. 293-303

Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report (Abstract)

Darren Cofer , Honeywell International
Bruno Dutertre , SRI International
Murali Rangarajan , Honeywell International
Vu Ha , Honeywell International
Harald Rue? , SRI International
pp. 304-313
Testing II

Using Data Versioning in Database Application Development (Abstract)

Ben Speckhard , Oracle Corporation
Ramesh Vasudevan , Oracle Corporation
Ramkrishna Chatterjee , Oracle Corporation
Gopalan Arun , Oracle Corporation
Sanjay Agarwal , Oracle Corporation
pp. 315-325

Generating Tests from Counterexamples (Abstract)

Thomas A. Henzinger , University of California at Berkeley
Rupak Majumdar , University of California at Los Angeles
Dirk Beyer , University of California at Berkeley
Ranjit Jhala , University of California, Berkeley
Adam J. Chlipala , University of California at Berkeley
pp. 326-335

Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow (Abstract)

Alessandro Orso , Georgia Institute of Technology
Saurabh Sinha , Georgia Institute of Technology
Mary Jean Harrold , Georgia Institute of Technology
pp. 336-345
Software Architecture I

Towards Safe Distributed Application Development (Abstract)

Patrick Thomas Eugster , Sun Microsystems
Christian Heide Damm , Microsoft Business Solutions
pp. 347-356

Design of Large-Scale Polylingual Systems (Abstract)

Don Batory , University of Texas at Austin
Dewayne E. Perry , University of Texas at Austin
Mark Grechanik , University of Texas at Austin
pp. 357-366
Process and Project Management

Breaking the Ice for Agile Development of Embedded Software: An Industry Experience Report (Abstract)

Peter Manhart , DaimlerChrysler Research Center
Kurt Schneider , DaimlerChrysler Research Center and Universit?t Hannover
pp. 378-386

Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams (Abstract)

Jon Froehlich , University of California at Irvine
Paul Dourish , University of California at Irvine
pp. 387-396

Making Resource Decisions for Software Projects (Abstract)

Norman Fenton , University of London and Agena Ltd
Patrick Cates , University of London and Agena Ltd
Simon Forey , University of London and Agena Ltd
William Marsh , University of London and Agena Ltd
Martin Neil , University of London and Agena Ltd
Manesh Tailor , University of London and Agena Ltd
pp. 397-406
Decentralized Systems

Using Event-Based Translation to Support Dynamic Protocol Evolution (Abstract)

Nathan D. Ryan , University of Colorado
Alexander L. Wolf , University of Colorado
pp. 408-417

Efficient Decentralized Monitoring of Safety in Distributed Systems (Abstract)

Grigore Roşu , University of Illinois at Urbana-Champaign
Abhay Vardhan , University of Illinois at Urbana-Champaign
Koushik Sen , University of Illinois at Urbana-Champaign
Gul Agha , University of Illinois at Urbana-Champaign
pp. 418-427

Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems (Abstract)

Richard N. Taylor , University of California at Irvine
Rohit Khare , University of California at Irvine
pp. 428-437
Analysis Tools

Validating the Unit Correctness of Spreadsheet Programs (Abstract)

Tudor Antoniu , Blunk Microsystems
Erich Neuwirth , Universität Wien
Paul A. Steckler , Northrop Grumman IT/FNMOC
Matthias Felleisen , Northeastern University
Shriram Krishnamurthi , Brown University
pp. 439-448

A Tool for Writing and Debugging Algebraic Specifications (Abstract)

Johannes Henkel , University of Colorado
Amer Diwan , University of Colorado
pp. 449-458

Skoll: Distributed Continuous Quality Assurance (Abstract)

A. Porter , University of Maryland at College Park
B. Natarajan , Vanderbilt University
A. Memon , University of Maryland at College Park
A. Nagarajan , University of Maryland at College Park
D. Schmidt , Vanderbilt University
C. Yilmaz , University of Maryland at College Park
pp. 459-468
Dynamic Analysis

DiscoTect: A System for Discovering Architectures from Running Systems (Abstract)

Rick Kazman , Carnegie Mellon University
David Garlan , Carnegie Mellon University
Bradley Schmerl , Carnegie Mellon University
Hong Yan , Carnegie Mellon University
Jonathan Aldrich , Carnegie Mellon University
pp. 470-479

Finding Latent Code Errors via Machine Learning over Program Executions (Abstract)

Michael D. Ernst , Massachusetts Institute of Technology
Yuriy Brun , University of Southern California
pp. 480-490

An Empirical Comparison of Dynamic Impact Analysis Algorithms (Abstract)

Alessandro Orso , Georgia Institute of Technology
Taweesup Apiwattanapong , Georgia Institute of Technology
Gregg Rothermel , Oregon State University
Mary Jean Harrold , Georgia Institute of Technology
James Law , Oregon State University
pp. 491-500
Slicing

Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams (Abstract)

Xiangyu Zhang , University of Arizona
Rajiv Gupta , University of Arizona
Youtao Zhang , University of Texas at Dallas
pp. 502-511

Using Compressed Bytecode Traces for Slicing Java Programs (Abstract)

Tao Wang , National University of Singapore
Abhik Roychoudhury , National University of Singapore
pp. 512-521

A Fast Assembly Level Reverse Execution Method via Dynamic Slicing (Abstract)

Tankut Akgul , Georgia Institute of Technology
Vincent J. Mooney III , Georgia Institute of Technology
Santosh Pande , Georgia Institute of Technology
pp. 522-531
Software Architecture II

Polyphony in Architecture (Abstract)

Jasper Soetendal , Vrije Universiteit
Bas van der Raadt , Vrije Universiteit
Hans van Vliet , Vrije Universiteit
Michiel Perdeck , LogicaCMG
pp. 533-542

Architecting in the Face of Uncertainty: An Experience Report (Abstract)

Jereme Haack , Pacific Northwest National Laboratory
Ian Gorton , Pacific Northwest National Laboratory
pp. 543-551

Using Web Service Technologies to Create an Information Broker: An Experience Report (Abstract)

David Budgen , Keele University
John Keane , UMIST
Paul Layzell , UMIST
Michelle Russell , Keele University
Keith Bennett , University of Durham
Michael Rigby , Keele University
Mark Turner , Keele University
Fujun Zhu , University of Durham
Pearl Brereton , Keele University
pp. 552-561
Software Configuration Management and Deployment

Mining Version Histories to Guide Software Changes (Abstract)

Andreas Zeller , Saarland University
Thomas Zimmermann , Saarland University
Peter Wei?gerber , Saarland University
Stephan Diehl , Saarland University
pp. 563-572

An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition (Abstract)

Ronald van der Lingen , University of California at Irvine
Andr? van der Hoek , University of California at Irvine
pp. 573-582

Imposing a Memory Management Discipline on Software Deployment (Abstract)

Eelco Dolstra , Utrecht University
Eelco Visser , Utrecht University
Merijn de Jonge , Utrecht University
pp. 583-592
Dynamic Reconfiguration

An Open Framework for Dynamic Reconfiguration (Abstract)

Ian Warren , University of Auckland
Jamie Hillman , Lancaster University
pp. 594-603

Dynamic Configuration of Resource-Aware Services (Abstract)

Vahe Poladian , Carnegie Mellon University
Mary Shaw , Carnegie Mellon University
Jo?o Pedro Sousa , Carnegie Mellon University
David Garlan , Carnegie Mellon University
pp. 604-613
Static Analysis

DMS?: Program Transformations for Practical Scalable Software Evolution (Abstract)

Christopher Pidgeon , Semantic Designs, Inc.
Michael Mehlich , Semantic Designs, Inc.
Ira D. Baxter , Semantic Designs, Inc.
pp. 625-634

Heuristic-Based Model Refinement for FLAVERS (Abstract)

George S. Avrunin , University of Massachusetts at Amherst
Jianbin Tan , University of Massachusetts at Amherst
Lori A. Clarke , University of Massachusetts at Amherst
pp. 635-644

Static Checking of Dynamically Generated Queries in Database Applications (Abstract)

Carl Gould , University of California at Davis
Premkumar Devanbu , University of California at Davis
Zhendong Su , University of California at Davis
pp. 645-654
Object-Oriented Programming

Evaluating Object-Oriented Designs with Link Analysis (Abstract)

George Stephanides , University of Macedonia
Alexander Chatzigeorgiou , University of Macedonia
Spiros Xanthos , University of Macedonia
pp. 656-665

Responsibilities and Rewards: Specifying Design Patterns (Abstract)

Jason O. Hallstrom , Ohio State University
Neelam Soundarajan , Ohio State University
pp. 666-675

Traits: Tools and Methodology (Abstract)

Nathanael Schärli , University of Bern
Andrew P. Black , Oregon Health and Science University
pp. 676-686
Panels

Supporting Reflective Practitioners (PDF)

David Redmiles , University of California at Irvine
Kumiyo Nakakoji , University of Tokyo and PRESTO, JST
pp. 688-690

Panel MDA in Practice (PDF)

Wolfgang Emmerich , University College London
Jean-Marc Jézéquel , IRISA and Université Rennes 1
pp. 691

BoF: New Directions in UK Software Engineering Research (PDF)

Ian Sommerville , Lancaster University
Dave Bustard , University of Ulster
Mike Holcombe , University of Sheffield
pp. 693-694
Analysis and Visualization

JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications (PDF)

Zhendong Su , University of California at Davis
Premkumar Devanbu , University of California at Davis
Carl Gould , University of California at Davis
pp. 697-698

Gammatella: Visualization of Program-Execution Data for Deployed Software (PDF)

Mary Jean Harrold , Georgia Institute of Technology
James A. Jones , Georgia Institute of Technology
John Stasko , Georgia Institute of Technology
Alessandro Orso , Georgia Institute of Technology
pp. 699-700
Design Tools

Feature-Oriented Programming and the AHEAD Tool Suite (PDF)

Don Batory , University of Texas at Austin
pp. 702-703

AcmeStudio: Supporting Style-Centered Architecture Development (PDF)

David Garlan , Carnegie Mellon University
Bradley Schmerl , Carnegie Mellon University
pp. 704-705

Design and Implementation of Distributed Crosscutting Features with DADO (PDF)

Stoney Jackson , University of California at Davis
Premkumar Devanbu , University of California at Davis
Eric Wohlstadter , University of California at Davis
pp. 706-707
Requirements and Specifications

The CommUnity Workbench (PDF)

Cristóvão Oliveira , Univ. Nova de Lisboa
Michel Wermelinger , Univ. Nova de Lisboa
pp. 709-710

Requirements Engineering Tools Go Mobile (PDF)

Paul Gr?nbacher , Johannes Kepler University Linz
Amit Tosar , City University London
Neil Maiden , City University London
Norbert Seyff , Johannes Kepler University Linz
pp. 713-714
Tutorials

Usability-Supporting Architectural Patterns (PDF)

Bonnie E. John , Carnegie Mellon University
Len Bass , Carnegie Mellon University
Maria-Isabel Sanchez-Segura , Carlos III University of Madrid
Natalia Juristo , Technical University of Madrid
pp. 716-717

Balancing Agility and Discipline: Evaluating and Integrating Agile and Plan-Driven Methods (PDF)

Richard Turner , George Washington University
Barry Boehm , University of Southern California
pp. 718-719

Software Variability Management (PDF)

Jan Bosch , University of Groningen
pp. 720-721

Statistical Techniques for Software Engineering Practice (PDF)

David N. Card , Software Productivity Consortium
pp. 722-723

Software Modeling Techniques and the Semantic Web (PDF)

Jin Song Dong , National University of Singapore
pp. 724-725

Architectures and Technologies for Enterprise Application Integration (PDF)

Ian Gorton , National ICT Australia
Anna Liu , Microsoft Australia
pp. 726-727

Managing Commitments and Risks: Challenges in Distributed Agile Development (PDF)

Magnus H?glund , TietoEnator
Jyrki Kontio , Helsinki University of Technology
Jan Ryd? , TietoEnator
Pekka Abrahamsson , VTT Technical Research Centre of Finland
pp. 732-733

Object-Oriented Reengineering Patterns (PDF)

Oscar Nierstrasz , University of Berne
Serge Demeyer , University of Antwerp
pp. 734-735
Tutorials

Testing Object Oriented Software (PDF)

Mauro Pezz , Università degli Studi di Milano Bicocca
Michal Young , University of Oregon
pp. 739-740
Tutorials

Bridging the gaps II: bridging the gaps between software engineering and human-computer interaction (Abstract)

R. Kazman , Software Engineering Institute, Pittsburgh, PA and University of Hawaii
pp. 773-774
Workshops

Second workshop on software quality (Abstract)

B. Wong , University of Technology
pp. 780-781
Workshops

Workshop on Directions in Software Engineering Environments (WoDiSEE) (PDF)

John Grundy , University of Auckland
Hermann Stoeckle , University of Auckland
Ray Welland , University of Glasgow
pp. 768-769

MSR 2004: International Workshop on Mining Software Repositories (PDF)

Richard C. Holt , University of Waterloo
Ahmed E. Hassan , University of Waterloo
Audris Mockus , Avaya Labs Research
pp. 770-771

Bridging the Gaps II: Bridging the Gaps between Software Engineering and Human-Computer Interaction (PDF)

Rick Kazman , Software Engineering Institute and University of Hawaii
Bonnie John , Carnegie Mellon University
Len Bass , Software Engineering Institute
pp. 773-774

Second ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS) (PDF)

Alessandro Orso , Georgia Institute of Technology
Adam Porter , University of Maryland
pp. 775-776

ProSim?04 — The 5th International Workshop on Software Process Simulation and Modeling (PDF)

Paul Wernick , University of Hertfordshire
Ioana Rus , Fraunhofer Center
Dietmar Pfahl , Fraunhofer IESE
David Raffo , Portland State University
pp. 777-778

Second Workshop on Software Quality (PDF)

June Verner , National ICT Australia
Bernard Wong , University of Technology at Sydney
Sunita Chulani , IBM Research Center for Software Engineering
Barry Boehm , University of Southern California
pp. 780-782
Author Index

Author Index (PDF)

pp. 783-786
81 ms
(Ver )