The Community for Technology Leaders
Software Engineering, International Conference on (2002)
Orlando, Florida
May 19, 2002 to May 25, 2002
ISSN: 0570-5257
ISBN: 1-58113-472-X
TABLE OF CONTENTS

Foreword (PDF)

pp. xv
Invited Presentations

Living With COTS (PDF)

Bob Balzer , Teknowledge Corporation
pp. 5
Session 2.1 - Software Specification

Performance-related Completions for Software Specifications (Abstract)

Khalid Siddiqui , Carleton University, Ottawa, Canada
Murray Woodside , Carleton University, Ottawa, Canada
Dorin Petriu , Carleton University, Ottawa, Canada
pp. 22

Investigating the Readability of State-Based Formal Requirements Specification Languages (Abstract)

Nancy Leveson , Massachusetts Institute of Technology, Cambridge
Marc K. Zimmerman , Massachusetts Institute of Technology, Cambridge
Kristina Lundqvist , Massachusetts Institute of Technology, Cambridge
pp. 33
Session 2.2 - Empirical Methods

Further Investigations into the Development and Evaluation of Reading Techniques for Object-Oriented Code Inspection (Abstract)

Alastair Dunsmore , University of Strathclyde, Scotland, UK
Marc Roper , University of Strathclyde, Scotland, UK
Murray Wood , University of Strathclyde, Scotland, UK
pp. 47

Lessons learned from 25 years of process improvement: The Rise and Fall of the NASA Software Engineering Laboratory (Abstract)

Rose Pajerski , Fraunhofer Center for Experimental Software Engineering, Maryland
Marvin V. Zelkowitz , Fraunhofer Center for Experimental Software Engineering, Maryland; University of Maryland
Frank E. McGarry , Computer Sciences Corporation, Lanham, Maryland
Victor R. Basili , Fraunhofer Center for Experimental Software Engineering, Maryland; University of Maryland
pp. 69
Session 3.1 - Requirements Engineering

Agent-Based Tactics for Goal-Oriented Requirements Elaboration (Abstract)

Emmanuel Letier , Universit? catholique de Louvain, Belgium
Axel van Lamsweerde , Universit? catholique de Louvain, Belgium
pp. 83

Detection of Conflicting Functional Requirements in a Use Case-Driven Approach (Abstract)

Reiko Heckel , University of Paderborn, Germany
Jan Hendrik Hausmann , University of Paderborn, Germany
Gabi Taentzer , University of Paderborn, Germany
pp. 105
Session 3.2 - Software Testing

A History-Based Test Prioritization Technique for Regression Testing in Resource Constrained Environments (Abstract)

Adam Porter , University of Maryland, College Park
Jung-Min Kim , University of Maryland, College Park
pp. 119

The Impact of Test Suite Granularity on the Cost-Effectiveness of Regression Testing (Abstract)

Sebastian Elbaum , University of Nebraska - Lincoln
Praveen Kallakuri , University of Nebraska - Lincoln
Alexey Malishevsky , Oregon State University, Corvallis
Gregg Rothermel , Oregon State University, Corvallis
Brian Davia , Oregon State University, Corvallis
pp. 130

Automated Test Case Generation for Spreadsheets (Abstract)

Mingming Cao , Oregon State University, Corvallis
Marc Fisher , Oregon State University, Corvallis
Margaret M. Burnett , Oregon State University, Corvallis
Curtis R. Cook , Oregon State University, Corvallis
Gregg Rothermel , Oregon State University, Corvallis
pp. 141
Session 3.3 - Software Process

Deriving executable process descriptions from UML (Abstract)

Marco Schiavoni , CEFRIEL - Politecnico di Milano
Elisabetta Di Nitto , CEFRIEL - Politecnico di Milano
Emma Tracanella , CEFRIEL - Politecnico di Milano
Luigi Lavazza , CEFRIEL - Politecnico di Milano
Michele Trombetta , CEFRIEL - Politecnico di Milano
pp. 155

Verification Support for Workflow Design with UML Activity Graphs (Abstract)

Roel Wieringa , University of Twente, The Netherlands
Rik Eshuis , University of Twente, The Netherlands
pp. 166

Progressive Open Source (Abstract)

Pankaj K. Garg , Hewlett-Packard Company
Rob Miller , Hewlett-Packard Company
Dean Nelson , Hewlett-Packard Company
Jamie Dinkelacker , Hewlett-Packard Company
pp. 177
Session 4.1 - Architecture and Implementation

ArchJava: Connecting Software Architecture to Implementation (Abstract)

David Notkin , University of Washington, Seattle
Jonathan Aldrich , University of Washington, Seattle
Craig Chambers , University of Washington, Seattle
pp. 187

Mixin'Up Components (Abstract)

Vugranam C. Sreedhar , IBM TJ Watson Research Center
pp. 198

Static and Dynamic Structure in Design Patterns (Abstract)

Jay Lepreau , University of Utah, Salt Lake City
Alastair Reid , University of Utah, Salt Lake City
Eric Eide , University of Utah, Salt Lake City
John Regehr , University of Utah, Salt Lake City
pp. 208
Session 4.2 - Software Evaluation

Goal-Oriented Software Assessment (Abstract)

Pat Tendick , Avaya Labs Research, Basking Ridge, NJ
David M. Weiss , Avaya Labs Research, Basking Ridge, NJ
Ping Zhang , Avaya Labs Research, Basking Ridge, NJ
David Bennett , Avaya Labs Research, Basking Ridge, NJ
John Y. Payseur , Avaya Labs Research, Basking Ridge, NJ
pp. 221

An Empirical Evaluation of Fault-Proneness Models (Abstract)

Mauro Pezz? , Universit? degli Studi di Milano - Bicocca
Giovanni Denaro , Politecnico di Milano
pp. 241
Session 7.1 - Software Architecture

Building Product Populations with Software Components (Abstract)

Rob van Ommering , Philips Research Laboratories
pp. 255

An Infrastructure for the Rapid Development of XML-based Architecture Description Languages (Abstract)

Richard N. Taylor , University of California, Irvine
Andre van der Hoek , University of California, Irvine
Eric M. Dashofy , University of California, Irvine
pp. 266

Advanced Control Flows for Flexible Graphical User Interfaces (Abstract)

Paul T. Graunke , Northeastern University, Boston, MA
Shriram Krishnamurthi , Brown University, Providence, RI
pp. 277
Session 7.2 - Dynamic Program Analysis

Tracking Down Software Bugs Using Automatic Anomaly Detection (Abstract)

Monica S. Lam , Stanford University
Sudheendra Hangal , Sun Microsystems India Pvt. Ltd.
pp. 291

Semantic Anomaly Detection in Online Data Sources (Abstract)

Orna Raz , Carnegie Mellon University
Mary Shaw , Carnegie Mellon University
Philip Koopman , Carnegie Mellon University
pp. 302

Role-Based Exploration of Object-Oriented Programs (Abstract)

Brian Demsky , Massachusetts Institute of Technology
Martin Rinard , Massachusetts Institute of Technology
pp. 313
Sessio 8.1 - Design Recovery

Browsing and Searching Source Code of Applications written using a GUI Framework (Abstract)

Amir Michail , University of New South Wales, Sydney, Australia
pp. 327

Towards Pattern-Based Design Recovery (Abstract)

Lothar Wendehals , University of Paderbom, Germany
J? Niere , University of Paderbom, Germany
Jim Welsh , The University of Queensland, Australia
J?rg P. Wadsack , University of Paderbom, Germany
Wilhelm Sch?fer , University of Paderbom, Germany
pp. 338

Architecture Recovery of Web Applications (Abstract)

Ahmed E. Hassan , University of Waterloo, Canada
Richard C. Holt , University of Waterloo, Canada
pp. 349
Session 8.2 - Mobile and Distributed Computing

Network Abstractions for Context-Aware Mobile Computing (Abstract)

Christine Julien , Washington University, Saint Louis, MO
Gruia-Catalin Roman , Washington University, Saint Louis, MO
Qingfeng Huang , Washington University, Saint Louis, MO
pp. 363

A Programming Model and System Support for Disconnected-Aware Applications on Resource-Constrained Devices (Abstract)

Israel Ben-Shaul , Technion -- Israel Institute of Technology
Yaron Weinsberg , Technion -- Israel Institute of Technology
pp. 374

A Dynamic Pair-Program Sending Architecture for Industrial Remote Operations (Abstract)

Masanori Narukawa , Yokogawa Electric Corporation, Tokyo, Japan
Takeshi Inoue , Yokogawa Electric Corporation, Tokyo, Japan
Yasutaka Hino , Yokogawa Electric Corporation, Tokyo, Japan
Kouji Hayashi , Yokogawa Electric Corporation, Tokyo, Japan
pp. 385
Session 10.1 - Software Maintenance

Concern Graphs: Finding and Describing Concerns Using Structural Program Dependencies (Abstract)

Martin P. Robillard , University of British Columbia, Vancouver
Gail C. Murphy , University of British Columbia, Vancouver
pp. 406

Evolving Legacy System Features into Fine-Grained Components (Abstract)

George T. Heineman , wPI Computer Science Department, Worcester, MA
Alok Mehta , American Financial Systems, Inc., Weston, MA
pp. 417
Session 10.2 - Concurrency

Software Model Checking in Practice: An Industrial Case Study (Abstract)

Patrice Godefroid , Lucent Technologies
Christopher Palm , Lucent Technologies
Satish Chandra , Lucent Technologies
pp. 431

Invariant-based Specification, Synthesis, and Verification of Synchronization in Concurrent Programs (Abstract)

Xianghua Deng , Kansas State University, Manhattan
Matthew B. Dwyer , Kansas State University, Manhattan
Masaaki Mizuno , Kansas State University, Manhattan
John Hatcliff , Kansas State University, Manhattan
pp. 442

Assuring and Evolving Concurrent Programs: Annotations and Policy (Abstract)

Aaron Greenhouse , Carnegie Mellon University
William L. Scherlis , Carnegie Mellon University
pp. 453
Session 11.1 - Program Analysis

Visualization of Test Information to Assist Fault Localization (Abstract)

Mary Jean Harrold , Georgia Institute of Technology
James A. Jones , Georgia Institute of Technology
John Stasko , Georgia Institute of Technology
pp. 467

Efficient Path Conditions in Dependence Graphs (Abstract)

Torsten Robschink , Universit?t Passau, Germany
Gregor Snelting , Universit?t Passau, Germany
pp. 478

Specifying Multithreaded Java Semantics for Program Verification (Abstract)

Tulika Mitra , National University of Singapore
Abhik Roychoudhury , National University of Singapore
pp. 489
Session 11.2 - Software Presentation

Expertise Browser: A Quantitative Approach to Identifying Expertise (Abstract)

James D. Herbsleb , Bell Laboratories, Lisle, IL
Audris Mockus , Avaya Labs Research, Basking Ridge, NJ
pp. 503

Supporting Reuse by Delivering Task-Relevant and Personalized Information (Abstract)

Gerhead Fischer , University of Colorado, Boulder
Yunwen Ye , SRA Key Technology Laboratory, Inc., Japan
pp. 513

Towards Large-Scale Information Integration (Abstract)

Susanne A. Sherba , University of Colorado, Boulder
Kenneth M. Anderson , University of Colorado, Boulder
William V. Lepthien , University of Colorado, Boulder
pp. 524
State-of-the-Art Presentations

Safety Critical Systems: Challenges and Directions (Abstract)

John C. Knight , University of Virginia, Charlottesville
pp. 547
Invited Presentations

Software Component Quality Assessment in Practice: Successes and Practical Impediments (Abstract)

lan Gorton , Pacific Northwest National Laboratory, Richland, WA
Anna Liu , CSIRO, Sydney, Australia
pp. 555

Accelerating Software Development Through Collaboration (Abstract)

Dan Bressler , VA Software Corp.
Larry Augustin , VA Software Corp.
Guy Smith , VA Software Corp.
pp. 559
Session 7.4 - Real Time Systems

The CycleFree Methodology - A Simple Approach to Building Reliable, Robust, Real-Time Systems (Abstract)

Richard J. LeBlanc Jr. , Georgia Institute of Technology, Atlanta
Dick Mays , CTO, Simtrol, Norcross, GA
pp. 567

Function Point Measurement from Java Programs (Abstract)

Kouji Matsusita , Hitachi Systems & Services, Ltd., Japan
Masahiro Imagawa , Osaka University, Japan
Shuuma Morimoto , Hitachi Systems & Services, Ltd., Japan
Michio Tsuda , Hitachi Systems & Services, Ltd., Japan
Shinji Kusumoto , Osaka University, Japan
Katsuro Inoue , Osaka University, Japan
pp. 576
Session 10.4 - Product Lines

A Comprehensive Product Line Scoping Approach and Its Validation (Abstract)

Klaus Schmid , Fraunhofer Institute for Experimental, Germany
pp. 593

Integrating Hundred's of Products through One Architecture - The Industrial IT architecture (Abstract)

Christian Zeidler , ABB Forschungszentrum, Germany
Zbigniew Korendo , ABB Corporate Research, Poland
Robert van der Geest , ABB Corporate Research, Norway
Michal Orkisz , ABB Corporate Research, Poland
Holger Hofmann , ABB Forschungszentrum, Germany
Edgar Jellum , ABB Corporate Research, Norway
Lars G. Bratthall , ABB Corporate Research, Norway
Johan S Andersson , ABB Automation Products, Sweden
Robert Martinez , ABB Corporate Research, Norway
pp. 604
Session 11.4 - Technology Trends

Brazilian Software Quality in 2002 (Abstract)

Kival Chaves Weber , SOFTEX, Brazil
C?lia Joseli do Nascimento , MCT/SEPIN, Brazil
pp. 634
Impact Presentations

Software Inspections, Reviews & Walkthroughs (PDF)

Dieter Rombach , University of Kaiserslautern & Fraunhofer IESE, Germany, Kaiserslautern
Oliver Laitenberger , Fraunhofer IESE, Germany, Kaiserslautern
Dewayne Perry , University of Texas, Austin, TX
Forrest Shull , Fraunhofer Center Maryland
Marcus Ciolkowski , University of Kaiserslautern & Fraunhofer IESE, Germany, Kaiserslautern
pp. 641

Impact of the Research Community for the Field of Software Configuration Management (PDF)

Geoffrey Clemm , Rational Software, Lexington, MA
Reider Conradi , IDI-Gl?shaugen, Trondheim, Norway
Darcy Wiborg-Weber , Telelogic, Irvine, CA
Jacky Estublier , Grenoble University, France
Walter Tichy , Informatics U. Karlsmhe, Germany
Andr6 van der Hock , Dept. of Info & Comp Science, Irvine, CA
pp. 643
Panels

Web Services Engineering: Promises and Challenges (PDF)

Sanjiva Weerawarana , IBM T. J. W. Research Center
Doug Lea , State University of New York
Mikio Aoyama , Nanzan University, Japan
Kevin Sullivan , University of Virginia
Clemens Szyperski , Microsoft Research
Hiroshi Maruyama , Research, Japan
pp. 647

Lightweight vs. Heavyweight Processes: Is This Even the Right Question? (PDF)

Wilhelm Sch?fer , University of Paderborn
Martin Fowler , ThoughtWorks
Philippe Kruchten , Rational Software Canada
Leon J. Osterweil , University of Massachussetts
pp. 649
Workshops

Software Engineering for Large-Scale Multi-Agent Systems- SELMAS'2002 (PDF)

Alessandro Garcia , Pontificia Universidade Cat?lica do Rio de Janeiro - Brazil
Carlos Lucena , Pontificia Universidade Cat?lica do Rio de Janeiro - Brazil
Andrea Omicini , Universita di Bologna - Italy
Jaelson Castro , Universidade Federal de Pernambuco - Brazil
Franco Zambonelli , Universita di Modena & Reggio Emilia - Italy
pp. 653

5<sup>th</sup> ICSE Workshop on Component-Based Software Engineering: Benchmarks for Predictable Assembly (PDF)

Ivica Crnkovic , M?lardalens University
Kurt Wallnau , Carnegie Mellon University
Heinz Schmidt , Monash University
Judith Stafford , Carnegie Mellon University
pp. 655

Principles of Software Evolution: 5 th International Workshop on Principles of Software Evolution (IWPSE 2002) (PDF)

V?clav Rajlich , Wayne State University, Detroit, MI
Katsuro Inoue , Osaka University, Japan
Mikio Aoyama , Nanzan University, Japan
pp. 657

Scenarios and state machines: models, algorithms, and tools (PDF)

Sebastian Uchitel , Imperial College, UK
Tarja Syst? , Tampere U. of Technology, Finland
Albert Z?ndorf , University of Braunschweig, Germany
pp. 659

Third ICSE Workshop on Web Engineering (PDF)

Luis Olsina , National University of La Pampa
San Murugesan , Southern Cross University
Yogesh Deshpande , University of Western Sydney
pp. 661

The Fourth International Workshop on Economics-Driven Software Engineering Research (EDSER-4) (PDF)

Warren Harrison , Portland State University
Rick Kazman , Carnegie Mellon University
Hakan Erdogmus , National Research Council of Canada
pp. 663

Software Product Lines: Economics, Architectures, and Implications (PDF)

Peter Knauber , University of Applied Science Mannheim, Germany
Giancarlo Succi , Free University of Bolzano - Bozen
pp. 665

Workshop on Global Software Development (PDF)

Daniela Damian , University of Technology, Sydney
pp. 667

Workshop on Software Quality (PDF)

Ana Regina Rocha , Federal University of Rio de Janeiro
Kathia Mar?al de Oliveira , Catholic University of Brasilia
pp. 671

ICSE 2002 Workshop on Architecting Dependable Systems (PDF)

Cristina Gacek , University of Newcastle upon Tyne, UK
Alexander Romanovsky , University of Newcastle upon Tyne, UK
Rogario de Lemos , University of Kent at Canterbury, UK
pp. 673

Workshop on Methods and Techniques for Software Architecture Review and Assessment (SARA) (PDF)

Philippe Kruchten , Rational Software Canada
Rich Hilliard , Consent Cache
Wojtek Kozaczynski , Rational Software
Henk Obbink , Philips, The Netherlands
pp. 675
Tutorials

Building Systems from Commercial Components (PDF)

Robert C. Seacord , Carnegie Mellon University, Pittsburgh, PA
Scott A. Hissam , Carnegie Mellon University, Pittsburgh, PA
Grace A. Lewis , Carnegie Mellon University, Pittsburgh, PA
pp. 679

Architecture-centric Software Engineering (PDF)

Jan Bosch , University of Groningen, The Netherlands
pp. 681

Software Engineering Economics: Background, Current Practices, and Future Directions (PDF)

Kevin J. Sullivan , University of Virginia, Charlotesville
Don J. Reifer , Reifer Consultants, Inc., Torrance, CA
Hakan Erdogmus , Institute for Information Technology, Canada
Warren Harrison , Portland State University, OR
Barry W. Boehm , University of Southern California, Los Angeles
pp. 683

Dependability of Embedded Systems (PDF)

John C. Knight , University of Virginia, Charlottesville
pp. 685

Meeting the Challenges of Web Application Development: The Web Engineering Approach (PDF)

Yogesh Deshpande , University of Western Sydney, Australia
San Murugesan , Southern Cross University, Australia
pp. 687

Hyper/J<sup>TM</sup>: Multi-Dimensional Separation of Concerns for Java<sup>TM</sup> (PDF)

Peri Tarr , IBM Research, Yorktown Heights, NY
Harold Ossher , IBM Research, Yorktown Heights, NY
Stanley M. Sutton, Jr. , IBM Research, Yorktown Heights, NY
pp. 689

Component Technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model (PDF)

Nima Kaveh , University College London, UK
Wolfgang Emmerich , University College London, UK
pp. 691

Describing Software Architecture with UML (PDF)

Wojtek Kozaczynski , Rational Software Corp
Philippe Kruchten , Rational Software Canada
Bran Selic , Rational Software Canada
pp. 693

Advanced Visual Modelling: Beyond UML (PDF)

Joseph Gil , Technion - Israel Institute of Technology
Stuart Kent , The University, Canterbury CT2, UK
John Howse , University of Brighton, UK
pp. 697

Refactoring (PDF)

Martin Fowler , ThoughtWorks, Melrose, MA
pp. 701

Information Systems Architecture (PDF)

Martin Fowler , ThoughtWorks, Melrose, MA
pp. 702

Introduction to the Rational Unified Process? (PDF)

Philippe Kruchten , Rational Software, Vancouver, Canada
pp. 703

Mastering Design Patterns (PDF)

Craig Larman , Valtech Technologies
pp. 704
Posters and Research Demonstrations

Observing Timed Systems by means of Message Sequence Chart Graphs (PDF)

Sebasti? Blaustein , Universidad de Buenos Aires, Argentina
Fernando Oliveto , Universidad de Buenos Aires, Argentina
Victor Braberman , Universidad de Buenos Aires, Argentina
pp. 707

Reasoning About the Correctness of Software Development Process (PDF)

Gabriel Baum , LIFIA- Universidad Nacional de La Plata, Argentina
Claudia Pons , LIFIA- Universidad Nacional de La Plata, Argentina
pp. 708

Software Validation using Power Profiles (PDF)

Edu Metz , Nokia Research Center, Burlington, MA
Raimondas Lencevicius , Nokia Research Center, Burlington, MA
Alexander Ran , Nokia Research Center, Burlington, MA
pp. 709

An Architecture-Centric Approach to the Development of a Distributed Model-Checker for Timed Automata (PDF)

Fernando Schapachnik , Universidad de Buenos Aires, Argentina
Alfredo Olivero , Universidad Argentina de la Empresa, Buenos Aires, Argentina
Victor Braberman , Universidad de Buenos Aires, Argentina
pp. 710

Enterprise Application Integration by means of a generic CORBA LDAP Gateway (PDF)

A. Szep , Vienna University of Technology, Gusshausstrasse
K. M. Goeschka , Frequentis Nachrichtentechnik GmbH, Vienna
W. Radinger , Vienna University of Technology, Gusshausstrasse
M. Jandl , Vienna University of Technology, Gusshausstrasse
pp. 711

XMIDDLE: Information Sharing Middleware for a Mobile Environment (PDF)

Wolfgang Emmerich , University College London, UK
Stefanos Zachariadis , University College London, UK
Cecilia Mascolo , University College London, UK
Licia Capra , University College London, UK
pp. 712

The CommUnity Workbench (PDF)

Michel Wermelinger , Univ. de Lisboa, Portugal
Crist?v? Oliveira , Univ. de Lisboa, Portugal
pp. 713

Coordination Contracts for Java Applications (PDF)

Michel Wermelinger , Univ. Nova de Lisboa, Portugal; ATX Software SA, Portugal
Georgios Koutsoukos , Oblog Software SA, Portugal
Lu? Andrade , Oblog Software SA, Portugal; ATX Software SA, Portugal
Jofio Gouveia , Oblog Software SA, Portugal
Jos? Luiz Fiadeiro , ATX Software SA, Portugal; Univ. de Lisboa, Portugal
pp. 714

Human Capacities in the Software Process: Empiric Validation (PDF)

Cecilia Mar? Lasserre , Universidad Nacional de Jujuy, Rep?blica Argentina
Viviana Elizabet Quincoces , Universidad Nacional de Jujuy, Rep?blica Argentina
Silvia Teresita Acu? , Universidad Nacional de Santiago del Estero, Rep?blica Argentina
pp. 715

Smartweaver: An Agent-Based Approach for Aspect-Oriented Development (PDF)

Federico Trilnik , UNICEN University, Argentina
Marcelo Campo , UNICEN University, Argentina
Andr?s D?az Pace , UNICEN University, Argentina
pp. 716

An Object-Oriented Bridge among Architectural Styles, Aspects and Frameworks (PDF)

Marcelo R. Campo , UNICEN University, Argentina
J. Andr?s Diaz Pace , UNICEN University, Argentina
pp. 717
Doctoral Symposia

Use of Software Inspection Inputs in Practice (PDF)

Yuk Kuen Wong , University of New South Wales, Sydney, Australia
pp. 725

Fuzzy Logic based Interactive Recovery of Software Design (PDF)

J? Niere , University of Paderborn, Germany
pp. 727

Compliance Notation for Verifying Concurrent Systems (PDF)

S. King , University of York, Heslington, York
D. M. Atiya , University of York, Heslington, York
pp. 731

Making Software Knowledgeable (PDF)

Maja D'Hondt , Vrije Universiteit Brussel, Belgium
pp. 735
Indexes

null (PDF)

pp. 739
91 ms
(Ver )