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)

Tarja Systa , Tampere University of Technology
Erkki Makinen , University of Tampere
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)

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

Static Checking of Interrupt-Driven Software (Abstract)

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

Lightweight Analysis of Operational Specifications Using Inference Graphs (Abstract)

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

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

Audris Mockus , Lucent Technologies
Rebecca E. Grinter , Xerox PARC
James D. Herbsleb , Lucent Technologies
Thomas A. Finholt , University of Michigan
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)

Andrian Marcus , The University of Memphis
Jonathan I. Maletic , 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)

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

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

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

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

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

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

Matthew B. Dwyer , Kansas State University
Robby , Kansas State University
Corina S. Pasareanu , Kansas State University
John Hatcliff , Kansas State University
Roby Joehanes , Kansas State University
Hongjun Zheng , Kansas State University
Shawn Laubach , 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
Henry Muccini , Universita dell'Aquila
Paola Inverardi , Universita dell'Aquila
pp. 0211

Encoding Program Executions (Abstract)

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

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

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

Designing Components versus Objects: A Transformational Approach (Abstract)

John Vlissides , IBM T.J. Watson Research Center
David H. Lorenz , Northeastern University
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
Martin P. Robillard , University of British Columbia
Albert Lai , University of British Columbia
Robert J. Walker , University of British Columbia
pp. 0275

Comparing Frameworks and Layered Refinement (Abstract)

Calvin Lin , University of Texas at Austin
Richard Cardone , 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)

Jeannette M. Wing , Carnegie Mellon University
Somesh Jha , University of Wisconsin
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)

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

Finding Failures by Cluster Analysis of Execution Profiles (Abstract)

Andy Podgurski , Case Western Reserve University
David Leon , Case Western Reserve University
William Dickinson , 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)

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

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

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

Consistent Group Membership in Ad Hoc Networks (Abstract)

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

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

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

Conceptual Modeling through Linguistic Analysis Using LIDA (Abstract)

Benoit Lavoie , CoGenTex, Inc.
Scott P. Overmyer , Massey University - Albany
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)

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

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

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

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

Alexis Campailla , Microsoft Corporation
Edmund Clarke , Carnegie Mellon University
Sagar Chaki , 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)

Gilles Roussel , Politecnico di Milano
Pierluigi San Pietro , Institut Gaspard Monge
Stefano Crespi Reghizzi , Institut Gaspard Monge
Jean Berstel , Politecnico di Milano
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)

Shyh-Kwei Chen , IBM Thomas J. Watson Research Center
Ming-Ling Lo , 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)

Kouichi Kishida , SRA Key Technology Laboratory Inc.
Kumiyo Nakakoji , SRA Key Technology Laboratory Inc. and Nara Institute of Science and Technology
Yoshiyuki Nishinaki , SRA Key Technology Laboratory Inc.
Brent Reeves , TwinBear Research
Atsushi Aoki , SRA Key Technology Laboratory Inc.
Kaoru Hayashi , SRA Key Technology Laboratory Inc.
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)

Casimiro Hernandez Parro , Alcatel, Switching and Routing Division
Christof Ebert , 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
Michael Deutsch , Texas A&M University
Barry Boehm , University of Southern California
Thomas Rodgers , Texas A&M University
pp. 0555
Software Evolution

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

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

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

P. Nesi , University of Florence
F. Fioravanti , University of Florence
G. Migliarese , 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)

Bruce W. Weide , The Ohio State University
Timothy J. Long , The Ohio State University
Murali Sitaraman , Clemson 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)

Stefan Forssander , ABB Robotics AB
Ulf Olsson , ABB Automation Products
Mira Kajko-Mattsson , Stockholm University/Royal Institute of Technology
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
Wojtek Kozaczynski , Rational Software
Bran Selic , 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)

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

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

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

1st Workshop on Open Source Software Engineering (PDF)

B. Fitzgerald , University College Cork
J. Feller , 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
K. Wong , University of Alberta
G. Silberman , Centre for Advanced Studies
pp. 0813
Software Architecture

Model Processing Tools in UML (PDF)

Johannes Koskinen , Tampere University of Technology
K. Koskimies , Tampere University of Technology
Kai Koskimies , Tampere University of Technology
Petri Selonen , Tampere University of Technology
Tarja Systä , Tampere University of Technology
Jari Peltonen , 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
K. Koskimies , Tampere University of Technology
A. Viljamaa , University of Helsinki
J. Paakki , University of Helsinki
J. Hautamäki , Tampere University of Technology
J. 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)

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

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

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

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

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

Author Index (PDF)

pp. 0841
91 ms
(Ver )