The Community for Technology Leaders
Software Engineering, International Conference on (2001)
Toronto, Canada
May 12, 2001 to May 19, 2001
ISBN: 0-7695-1050-7
TABLE OF CONTENTS
Design and Specification of Distributed Systems

Composition Patterns: An Approach to Designing Reusable Aspects (Abstract)

Siobhán Clarke , Trinity College
Robert J. Walker , University of British Columbia
pp. 0005

MAS - An Interactive Synthesizer to Support Behavioral Modeling in UML (Abstract)

Erkki Makinen , University of Tampere
Tarja Systa , Tampere University of Technology
pp. 0015

Analysis and Testing of Web Applications (Abstract)

Filippo Ricca , Centro per la Ricerca Scientifica e Tecnologica
Paolo Tonella , Centro per la Ricerca Scientifica e Tecnologica
pp. 0025
Static Analysis

The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification (Abstract)

Jamieson M. Cobleigh , University of Massachusetts Amherst
Lori A. Clarke , University of Massachusetts Amherst
Leon J. Osterweil , University of Massachusetts Amherst
pp. 0037

Static Checking of Interrupt-Driven Software (Abstract)

Dennis Brylow , Purdue University
Niels Damgaard , Purdue University
Jens Palsberg , Purdue University
pp. 0047

Lightweight Analysis of Operational Specifications Using Inference Graphs (Abstract)

Laura K. Dillon , Michigan State University
R. E. Kurt Stirewalt , Michigan State University
pp. 0057
Process Improvement for Multi-Site Environments

An Empirical Study of Global Software Development: Distance and Speed (Abstract)

James D. Herbsleb , Lucent Technologies
Audris Mockus , Lucent Technologies
Thomas A. Finholt , University of Michigan
Rebecca E. Grinter , Xerox PARC
pp. 0081

Software Product Lines: Organizational Alternatives (Abstract)

Jan Bosch , University of Groningen
pp. 0091
Design Recovery and Program Understanding

Supporting Program Comprehension Using Semantic and Structural Information (Abstract)

Jonathan I. Maletic , The University of Memphis
Andrian Marcus , The University of Memphis
pp. 0103

On the Syllogistic Structure of Object-Oriented Programming (Abstract)

Derek Rayside , University of Waterloo
Kostas Kontogiannis , University of Waterloo
pp. 0113

A Scenario-Driven Approach to Traceability (Abstract)

Alexander Egyed , Teknowledge Corporation
pp. 0123
Effective Uses of Inspections

Systematic Object-Oriented Inspection - An Empirical Study (Abstract)

Alastair Dunsmore , University of Strathclyde
Marc Roper , University of Strathclyde
Murray Wood , University of Strathclyde
pp. 0135

Investigating the Cost-Effectiveness of Reinspections in Software Development (Abstract)

Stefan Biffl , Vienna University of Technology
Bernd Freimut , Fraunhofer Institute for Experimental Software Engineering
Oliver Laitenberger , Fraunhofer Institute for Experimental Software Engineering
pp. 0155
Building Formal Analysis Tools

A Component-Based Approach to Building Formal Analysis Tools (Abstract)

R. E. Kurt Stirewalt , Michigan State University
Laura K. Dillon , Michigan State University
pp. 0167

Tool-Supported Program Abstraction for Finite-State Verification (Abstract)

Matthew B. Dwyer , Kansas State University
John Hatcliff , Kansas State University
Roby Joehanes , Kansas State University
Shawn Laubach , Kansas State University
Corina S. Pasareanu , Kansas State University
Robby , Kansas State University
Hongjun Zheng , Kansas State University
Willem Visser , RIACS/NASA Ames Research Center
pp. 0177
Dynamic Analysis and Testing

An Explorative Journey from Architectural Tests Definition downto Code Tests Execution (Abstract)

Antonia Bertolino , Istituto di Elaborazione dell'Informazione
Paola Inverardi , Universita dell'Aquila
Henry Muccini , Universita dell'Aquila
pp. 0211

Encoding Program Executions (Abstract)

Steven P. Reiss , Brown University
Manos Renieris , Brown University
pp. 0221
Construction of Component-Based Systems

Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic Project (Abstract)

Eric Wohlstadter , University of California
Stoney Jackson , University of California
Premkumar Devanbu , University of California
pp. 0243

Designing Components versus Objects: A Transformational Approach (Abstract)

David H. Lorenz , Northeastern University
John Vlissides , IBM T.J. Watson Research Center
pp. 0253
Reengineering and Software Evolution

Exploiting the Map Metaphor in a Tool for Software Evolution (Abstract)

William G. Griswold , University of California San Diego
Jimmy J. Yuan , University of California San Diego
Yoshikiyo Kato , University of Tokyo
pp. 0265

Separating Features in Source Code: An Exploratory Study (Abstract)

Gail C. Murphy , University of British Columbia
Albert Lai , University of British Columbia
Robert J. Walker , University of British Columbia
Martin P. Robillard , University of British Columbia
pp. 0275

Comparing Frameworks and Layered Refinement (Abstract)

Richard Cardone , University of Texas at Austin
Calvin Lin , University of Texas at Austin
pp. 0285
Analysis of Architectures

Quantifying the Costs and Benefits of Architectural Decisions (Abstract)

Rick Kazman , Carnegie Mellon University
Jai Asundi , Carnegie Mellon University
Mark Klein , Carnegie Mellon University
pp. 0297

Survivability Analysis of Networked Systems (Abstract)

Somesh Jha , University of Wisconsin
Jeannette M. Wing , Carnegie Mellon University
pp. 0307

Adaptive Feedback Scheduling of Incremental and Design-To-Time Tasks (Abstract)

Peter H. Feiler , Carnegie Mellon University
John J. Walker , Carnegie Mellon University
pp. 0318
Improving the Testing Process

Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization (Abstract)

Sebastian Elbaum , University of Nebraska-Lincoln
Alexey Malishevsky , Oregon State University
Gregg Rothermel , Oregon State University
pp. 0329

Finding Failures by Cluster Analysis of Execution Profiles (Abstract)

William Dickinson , Case Western Reserve University
David Leon , Case Western Reserve University
Andy Podgurski , Case Western Reserve University
pp. 0339

Understanding IV&V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program (Abstract)

Marvin V. Zelkowitz , Fraunhofer Center for Experimental Software Engineering
Ioana Rus , Fraunhofer Center for Experimental Software Engineering
pp. 0349
Reliability and Mobile Agents

Theory of Software Reliability Based on Components (Abstract)

Dick Hamlet , Portland State University
Dave Mason , Ryerson Polytechnic University
Denise Woit , Ryerson Polytechnic University
pp. 0361

Engineering Mobile-Agent Applications via Context-Dependent Coordination (Abstract)

Giacomo Cabri , Universit? di Modena e Reggio Emilia
Letizia Leonardi , Universit? di Modena e Reggio Emilia
Franco Zambonelli , Universit? di Modena e Reggio Emilia
pp. 0371

Consistent Group Membership in Ad Hoc Networks (Abstract)

Gruia-Catalin Roman , Washington University
Qingfeng Huang , Washington University
Ali Hazemi , Washington University
pp. 0381
Analysis of Requirements

Fast Formal Analysis of Requirements via "Topoi Diagrams" (Abstract)

Tim Menzies , Univ. British Columbia
John Powell , Averstar Inc.
Michael E. Houle , IBM Japan
pp. 0391

Conceptual Modeling through Linguistic Analysis Using LIDA (Abstract)

Scott P. Overmyer , Massey University - Albany
Benoit Lavoie , CoGenTex, Inc.
Owen Rambow , ATT Labs-Research
pp. 0401

A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints (Abstract)

Steve Easterbrook , University of Toronto
Marsha Chechik , University of Toronto
pp. 0411

Functional Paleontology: System Evolution as the User Sees It (Abstract)

Annie I. Antón , North Carolina State University
Colin Potts , Georgia Institute of Technology
pp. 0421
Formal Frameworks

A General Framework for Formalizing UML with Formal Languages (Abstract)

William E. McUmber , Michigan State University
Betty H.C. Cheng , Michigan State University
pp. 0433

Efficient Filtering in Publish-Subscribe Systems Using Binary Decision Diagrams (Abstract)

Alexis Campailla , Microsoft Corporation
Sagar Chaki , Carnegie Mellon University
Edmund Clarke , Carnegie Mellon University
Somesh Jha , University of Wisconsin
Helmut Veith , TU Vienna
pp. 0443

A Scalable Formal Method for Design and Automatic Checking of User Interfaces (Abstract)

Jean Berstel , Politecnico di Milano
Gilles Roussel , Politecnico di Milano
Stefano Crespi Reghizzi , Institut Gaspard Monge
Pierluigi San Pietro , Institut Gaspard Monge
pp. 0453
Architectures for Emerging Applications

An Architecture for Heterogeneous Groupware Applications (Abstract)

Ivan Marsic , Rutgers---The State University of New Jersey
pp. 0475

A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry (Abstract)

Kevin Sullivan , Thornton Hall University of Virginia
Avneesh Saxena , Thornton Hall University of Virginia
pp. 0485

XAS: A System for Accessing Componentized, Virtual XML Documents (Abstract)

Ming-Ling Lo , IBM Thomas J. Watson Research Center
Shyh-Kwei Chen , IBM Thomas J. Watson Research Center
Sriram Padmanabhan , IBM Thomas J. Watson Research Center
Jen-Yao Chung , IBM Thomas J. Watson Research Center
pp. 0493
Infrastructure Support

Using the Web for Document Versioning: An Implementation Report for Delta V (Abstract)

James J. Hunt , Forschungszentrum Informatik
Jürgen Reuter , Universit?t Karlsruhe
pp. 0507

A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library (Abstract)

Atsushi Aoki , SRA Key Technology Laboratory Inc.
Kaoru Hayashi , SRA Key Technology Laboratory Inc.
Kouichi Kishida , SRA Key Technology Laboratory Inc.
Yoshiyuki Nishinaki , SRA Key Technology Laboratory Inc.
Kumiyo Nakakoji , SRA Key Technology Laboratory Inc. and Nara Institute of Science and Technology
Brent Reeves , TwinBear Research
pp. 0524
Applications of New Paradigms in Software Development

Case Study: Extreme Programming in a University Environment (Abstract)

Matthias M. Müller , Universit?t Karlsruhe
Walter F. Tichy , Universit?t Karlsruhe
pp. 0537

Improving Validation Activities in a Global Software Development (Abstract)

Christof Ebert , Alcatel, Switching and Routing Division
Casimiro Hernandez Parro , Alcatel, Switching and Routing Division
Roland Suttels , Alcatel, Switching and Routing Division
Harald Kolarczyk , Alcatel, Switching and Routing Division
pp. 0545

Applying WinWin to Quality Requirements: A Case Study (Abstract)

Hoh In , Texas A&M University
Thomas Rodgers , Texas A&M University
Michael Deutsch , Texas A&M University
Barry Boehm , University of Southern California
pp. 0555
Software Evolution

TIGRA- An Architectural Style for Enterprise Application Integration (Abstract)

Wolfgang Emmerich , University College London
Ernst Ellmer , Z?hlke Engineering GmbH
Henry Fieglein , DG Bank
pp. 0567

Reengineering Analysis of Object-Oriented Systems via Duplication Analysis (Abstract)

F. Fioravanti , University of Florence
G. Migliarese , University of Florence
P. Nesi , University of Florence
pp. 0577
Practical Software Engineering Education

Educating Software Engineering Students to Manage Risk (Abstract)

Barry Boehm , University of Southern California
Daniel Port , University of Southern California
pp. 0591

A Formal Approach to Component-Based Software Engineering: Education and Evaluation (Abstract)

Murali Sitaraman , Clemson University
Timothy J. Long , The Ohio State University
Bruce W. Weide , The Ohio State University
E. James Harner , West Virginia University
Liquing Wang , West Virginia University
pp. 0601

Mira Kajko-Mattsson Corrective Maintenance Maturity Model (CM3): Maintainer's Education and Training (Abstract)

Mira Kajko-Mattsson , Stockholm University/Royal Institute of Technology
Stefan Forssander , ABB Robotics AB
Ulf Olsson , ABB Automation Products
pp. 0610
Degree Programs for Software Engineering Education

An Efficient Set of Software Degree Programs for One Domain (Abstract)

Terry Shepard , Royal Military College of Canada
pp. 0623

The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education (Abstract)

John D. Tvedt , The Catholic University of America (CUA)
Roseanne Tesoriero , The Catholic University of America (CUA) and Fraunhofer Center for Experimental Software Engineering
Kevin A. Gary , UNICON, Inc.
pp. 0633
Plenary Sessions
Challenges and Achievements in Software Engineering
Invited Industry Presentations
Frontiers of Software Practice

(PDF)

pp. 0687
Panels
Tutorials

UML for Software Engineers (Abstract)

Cris Kobryn , Telelogic
pp. 0705

Methods of Component-Based Software Engineering Essential Concepts and Classroom Experience (Abstract)

Kurt Wallnau , Software Engineering Institute, Carnegie Mellon University
pp. 0709

Describing Software Architecture with UML (Abstract)

Philippe Kruchten , Rational Software
Bran Selic , Rational Software
Wojtek Kozaczynski , Rational Software
pp. 0715

How to Do Inspections When There is No Time (Abstract)

Terry Shepard , Royal Military College of Canada
Diane Kelly , Royal Military College of Canada
pp. 0718

EasyWinWin: A Groupware-Supported Methodology for Requirements Negotiation (Abstract)

Barry Boehm , University of Southern California
Paul Grünbacher , Johannes Kepler University Linz
Robert O. Briggs , Group Systems.com
pp. 0720
Workshops

Workshop on Advanced Separation of Concerns in Software Engineering (PDF)

P. Tarr , IBM T. J. Watson Research Center
H. Ossher , IBM T. J. Watson Research Center
pp. 0778

1st Workshop on Open Source Software Engineering (PDF)

J. Feller , University College Cork
B. Fitzgerald , University College Cork
A. Van der Hoek , UC Irvine
pp. 0780
Doctoral Symposium

Model Checking Distributed Objects Design (PDF)

N. Kaveh , University College London
pp. 0793

Web Engineering Device Independent Web Services (PDF)

E. Kirda , Technical University of Vienna
pp. 0795

Evolving Legacy Systems using Feature Engineering and CBSE (PDF)

A. Mehta , American Financial Systems, Inc.
pp. 0797

Traceability for System Families (PDF)

D. Streitferdt , Ilmenau Technical University
pp. 0803
David L. Parnas Symposium

David L. Parnas Symposium (PDF)

D. Hoffman , University of Victoria
D. Weiss , Avaya Laboratories
pp. 0807
New Software Engineering Faculty Symposium

New Software Engineering Faculty Symposium (PDF)

L. Osterweil , University of Massachusetts
G. Silberman , Centre for Advanced Studies
K. Wong , University of Alberta
pp. 0813
Software Architecture

Model Processing Tools in UML (PDF)

Johannes Koskinen , Tampere University of Technology
K. Koskimies , Tampere University of Technology
Jari Peltonen , Tampere University of Technology
Petri Selonen , Tampere University of Technology
Tarja Systä , Tampere University of Technology
Kai Koskimies , Tampere University of Technology
pp. 0819

Hyper/J(tm): Multi-Dimensional Separation of Concerns for Java(tm) (PDF)

H. Ossher , IBM T. J. Watson Research Center
P. Tarr , IBM T. J. Watson Research Center
pp. 0821

Architecture-Oriented Programming Using FRED (PDF)

M. Hakal , Tampere University of Technology
J. Hautamäki , Tampere University of Technology
J. Viljamaa , University of Helsinki
K. Koskimies , Tampere University of Technology
J. Paakki , University of Helsinki
A. Viljamaa , University of Helsinki
pp. 0823
Reuse and Integration

CodeWeb: Data Mining Library Reuse Patterns (PDF)

A. Michail , University of New South Wales
pp. 0827

Holmes: An Intelligent System to Support Software Product Line Development (Abstract)

Giancarlo Succi , University of Alberta
Jason Yip , University of Alberta
Witold Pedrycz , University of Alberta
pp. 0829

Babel: Representing Business Rules in XML for Application Integration (PDF)

H. Zhang , University of Alberta
E. Stroulia , University of Alberta
pp. 0831
Verification and Maintenance

JMOCHA: A Model Checking Tool that Exploits Design Structure (PDF)

R. Alur , University of Pennsylvania
L. de Alfaro , University of California, Berkeley
R. Grosu , State University of New York, Stony Brook
T. A. Henzinger , University of California, Berkeley
M. Kang , University of Pennsylvania
C. M. Kirsch , University of California, Berkeley
R. Majumdar , University of California, Berkeley
F. Mang , University of California, Berkeley
B. Y. Wang , University of Pennsylvania
pp. 0835

Author Index (PDF)

pp. 0841
83 ms
(Ver 3.3 (11022016))