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)

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

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

Ken Birman , Cornell University
Robbert van Renesse , Cornell University
Werner Vogels , 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)

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

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

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

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

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

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

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

Visual Timed Event Scenarios (Abstract)

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

Precise Service Level Agreements (Abstract)

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

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

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

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

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

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

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

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

Mauro Caporuscio , Università delléAquila
Paola Inverardi , Università delléAquila
Patrizio Pelliccione , 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)

Jeffrey K. H. Mak , Hong Kong Polytechnic University
Clifford S. T. Choy , 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)

Parastoo Mohagheghi , Ericsson Norway-Grimstad, NTNU and Simula Research Laboratory
Reidar Conradi , 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
Lu Zhang , Peking University
Yin Liu , Peking University
Jiasu Sun , Peking University
Fuqing Yang , Peking University
pp. 293-303

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

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

Using Data Versioning in Database Application Development (Abstract)

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

Generating Tests from Counterexamples (Abstract)

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

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

Saurabh Sinha , Georgia Institute of Technology
Alessandro Orso , 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)

Mark Grechanik , University of Texas at Austin
Don Batory , University of Texas at Austin
Dewayne E. Perry , 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
William Marsh , University of London and Agena Ltd
Martin Neil , University of London and Agena Ltd
Patrick Cates , University of London and Agena Ltd
Simon Forey , 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)

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

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

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

Validating the Unit Correctness of Spreadsheet Programs (Abstract)

Tudor Antoniu , Blunk Microsystems
Paul A. Steckler , Northrop Grumman IT/FNMOC
Shriram Krishnamurthi , Brown University
Erich Neuwirth , Universität Wien
Matthias Felleisen , Northeastern 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. Memon , University of Maryland at College Park
A. Porter , University of Maryland at College Park
C. Yilmaz , University of Maryland at College Park
A. Nagarajan , University of Maryland at College Park
D. Schmidt , Vanderbilt University
B. Natarajan , Vanderbilt University
pp. 459-468
Dynamic Analysis

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

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

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

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

An Empirical Comparison of Dynamic Impact Analysis Algorithms (Abstract)

Alessandro Orso , Georgia Institute of Technology
Taweesup Apiwattanapong , Georgia Institute of Technology
James Law , Oregon State University
Gregg Rothermel , Oregon State University
Mary Jean Harrold , Georgia Institute of Technology
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)

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

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

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

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

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

Mining Version Histories to Guide Software Changes (Abstract)

Thomas Zimmermann , Saarland University
Peter Wei?gerber , Saarland University
Stephan Diehl , Saarland University
Andreas Zeller , 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)

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

Dynamic Configuration of Resource-Aware Services (Abstract)

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

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

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

Heuristic-Based Model Refinement for FLAVERS (Abstract)

Jianbin Tan , University of Massachusetts at Amherst
George S. Avrunin , 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
Zhendong Su , University of California at Davis
Premkumar Devanbu , University of California at Davis
pp. 645-654
Object-Oriented Programming

Evaluating Object-Oriented Designs with Link Analysis (Abstract)

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

Responsibilities and Rewards: Specifying Design Patterns (Abstract)

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

Traits: Tools and Methodology (Abstract)

Andrew P. Black , Oregon Health and Science University
Nathanael Schärli , University of Bern
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)

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

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

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

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

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

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

Alessandro Orso , Georgia Institute of Technology
James A. Jones , Georgia Institute of Technology
Mary Jean Harrold , Georgia Institute of Technology
John Stasko , 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)

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

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

Eric Wohlstadter , University of California at Davis
Stoney Jackson , University of California at Davis
Premkumar Devanbu , 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)

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

Usability-Supporting Architectural Patterns (PDF)

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

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

Barry Boehm , University of Southern California
Richard Turner , George Washington University
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)

Jyrki Kontio , Helsinki University of Technology
Magnus H?glund , TietoEnator
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

Case Studies for Software Engineers (PDF)

Dewayne E. Perry , University of Texas at Austin
Susan Elliott Sim , University of California at Irvine
Steve M. Easterbrook , University of Toronto
pp. 736-738

Testing Object Oriented Software (PDF)

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

Tutorial: An Overview of UML 2.0 (PDF)

Bran Selic , IBM Rational Software Canada
pp. 741-742

Software Architecture Reconstruction (PDF)

Claudio Riva , Nokia Research Center
pp. 745-746
Workshops

4th International Workshop on Adoption-Centric Software Engineering (PDF)

Bob Balzer , Teknowledge Corp.
Marin Litoiu , IBM Canada Ltd.
Hausi M? , University of Victoria
Dennis Smith , Carnegie Mellon
Margaret-Anne Storey , University of Victoria
Scott Tilley , Florida Institute of Technology
Kenny Wong , University of Alberta
pp. 748-749

Third International Workshop on Distributed Event-Based Systems — DEBS ?04 (PDF)

Antonio Carzaniga , University of Colorado
Pascal Fenkam , Technical University of Vienna
pp. 750-751

Software Engineering for Large-Scale Multi-agent Systems — SELMAS?04 (PDF)

Ricardo Choren , Pontifícia Universidade Católica do Rio de Janeiro
Alessandro Garcia , Pontifícia Universidade Católica do Rio de Janeiro
Carlos Lucena , Pontifícia Universidade Católica do Rio de Janeiro
Martin Griss , University of California at Santa Cruz
David Kung , University of Texas at Arlington
Naftaly Minsky , Rutgers University
Alexander Romanovsky , University of Newcastle upon Tyne
pp. 752-753

1st International Workshop on Advances and Applications of Problem Frames (PDF)

Karl Cox , University of New South Wales and National ICT Australia
Jon G. Hall , Open University
Lucia Rapanotti , Open University
pp. 754-755

The 3rd International Workshop on Global Software Development (PDF)

Daniela Damian , University of Victoria
Filippo Lanubile , University of Bari
pp. 756-757

Twin Workshops on Architecting Dependable Systems (WADS 2004) (PDF)

Rog?rio de Lemos , University of Kent
Cristina Gacek , University of Newcastle
Alexander Romanovsky , University of Newcastle
pp. 758

Models and Processes for the Evaluation of COTS Components (PDF)

Eric Dubois , Public Research Center Henri Tudor
Xavier Franch , Universitat Polit?cnica de Catalunya
pp. 759-760

The Sixth International Workshop on Economics-Driven Software Engineering Research (EDSER-6) (PDF)

Hakan Erdogmus , National Research Council Canada
Jyrki Kontio , Helsinki University of Technology
Michael A. Cusumano , Massachusetts Institute of Technology
David Raffo , Portland State University
pp. 761-762

Collaboration, Conflict and Control: The 4th Workshop on Open Source Software Engineering (PDF)

Joseph Feller , University College Cork
Brian Fitzgerald , University of Limerick
Scott Hissam , Software Engineering Institute
Karim Lakhani , Boston Consulting Group
pp. 764-765

Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM?04) (PDF)

Holger Giese , University of Paderborn
Ingolf Kr? , University of California at San Diego
pp. 766-767

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

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

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

Ahmed E. Hassan , University of Waterloo
Richard C. Holt , 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
Len Bass , Software Engineering Institute
Bonnie John , Carnegie Mellon University
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)

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

Second Workshop on Software Quality (PDF)

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

Author Index (PDF)

pp. 783-786
92 ms
(Ver 3.3 (11022016))