ICSE 2001 Logo
Toronto Skyline Sponsor Logos

Welcome
Site Map
Registration
Conference Hotel
Program Information
Schedule
Meetings
Special Events
Collocated Conferences
Submission Information
Submission Deadlines
Conference Committee
Program Committee
Sponsors & Supporters
Travel to Toronto
Toronto Attractions
ICSE Conferences
Contact Us
About This Site
E-Mail URL to a Friend

Schedule

Printer Friendly Version

On this page:


Sunday, May 13, 2001

Next Day | Top

Sunday, May 13, 2001
(ICSE Tutorials and Workshops)
7:30–8:30 Breakfast
8:30–10:00 Full-Day Tutorials

T1
UML for Software Engineers

R. France,
Colorado State University, USA; and
C. Kobryn,
Telelogic, Inc., USA

T2
The Intertwining between Risk and Project Management

K. Frühauf,
INFOGEM AG, Switzerland

Morning Tutorials

T3
Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience

K. Wallnau,
Carnegie Mellon Software Engineering Institute, USA

Workshops

W1
2nd International Workshop on Living with Inconsistency

S. Easterbrook and
M. Chechik,
University of Toronto, Canada

W2
4th ICSE Workshop on Software Engineering over the Internet

F. Maurer,
University of Calgary, Canada; B. Dellen,
Fraunhofer IESE, Germany;
J. Grund,
University of Waikato, New Zealand; and
B. Kötting,
University of Kaiserslautern, Germany

W3
2nd ICSE Workshop on Software Product Lines: Economics, Architectures, and Implications

P. Knauber,
Fraunhofer IESE, Germany; and
G. Succi,
University of Alberta, Canada

W4
2nd International Workshop on Automated Program Analysis, Testing, and Verification (WAPATV)

N. Tracey,
University of York, UK; and
J. Penix and
W. C. Visser,
NASA Ames Research Center, USA

W5
Software Engineering and Mobility

G.-
C. Roman,
Washington University, St. Louis, USA; and
G. P. Picco,
Politecnico di Milano, Italy

W6
Software Visualization

W. De Pauw,
IBM T.J. Watson Research Center, USA;
S. P. Reiss,
Brown University, USA; and
J. T. Stasko,
Georgia Institute of Technology, USA

10:00–10:30 Nutrition Break
10:30–12:00 Full-Day Tutorials
Continued
Morning Tutorials
Continued
Workshops
Continued
12:00–2:00 Lunch
2:00–3:30 Full-Day Tutorials
Continued
Afternoon Tutorials

T4
From Use Cases to Code—Rigorous Software Development with UML

A. Zündorf,
University of Paderborn, Germany

Workshops
Continued
3:30–4:00 Nutrition Break
4:00–5:30 Full-Day Tutorials
Continued
Afternoon Tutorials
Continued
Workshops
Continued
 


Monday, May 14, 2001

Previous Day | Next Day | Top

Monday, May 14, 2001
(ICSE Tutorials, Workshops, and Symposia)
7:30–8:30 Breakfast
8:30–10:00 Full-Day Tutorials

T5
OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition

H. Younessi,
Rensselaer Polytechnic Institute at Hartford, USA; and
B. Henderson-Sellers,
Swinburn University of Technology, Australia

T6
Describing Software Architecture with UML

P. Kruchten and
B. Selic,
Rational Software Canada Corporation, Canada; and
W. Kozaczynski,
Rational Software, Inc., USA

T7
Software Product Lines and Software Architecture Design

J. Bosch,
University of Groningen, The Netherlands

Morning Tutorials

T8
How to Do Inspections When There is No Time

T. Shepard and
D. Kelly,
Royal Military College, Canada

T9
EasyWinWin: A Groupware-Supported Methodology for Requirements Negotiation

B. Boehm,
University of Southern California, USA; P. Grünbacher,
Johannes Kepler University, Austria; and
R. O. Briggs,
GroupSystems.com, USA

T10
Fundamental Concepts for Practical Software Architecture

A. Ran,
Nokia Research Center, USA

T11
An Introduction to Java 2 Micro Edition (J2ME): Java in Small Things

J. White,
Catapult Technologies, Inc., USA

Workshops

W5
Continued

W6
Continued

W7
Generative Techniques for Product Lines

G. Butler,
Concordia University, Canada;
D. Batory,
University of Texas at Austin, USA;
K. Czarnecki,
DaimlerChrysler Research, Germany; and
U. Eisenecker,
University of Applied Sciences, Kaiserslautern, Germany

W8
SEMINAL: Software Engineering using Metaheuristic INnovative ALgorithms
M. Harman,
Brunel University, UK;
B. Jones,
University of Glamorgan, UK; and
N. Tracey,
University of York, UK

W9
From Software Requirements to Architectures (STRAW 2001)

J. Castro,
Universidade Federal de Pernambuco, Brazil; and
J. Kramer,
Imperial College, UK

W10
3rd International Workshop on Net-Centric Computing: Migrating to the Web (NCC 2001)

J. H. Jahnke,
University of Victoria, Canada;
K. Kontogiannis,
University of Waterloo, Canada;
E. Stroulia,
University of Alberta, Canada;
S. R. Tilley,
University of California, Riverside, USA; and
K. Wong,
University of Alberta, Canada

W11
Global Aspects of Software Engineering Professionalism

J. B. Thompson and
H. M. Edwards,
University of Sunderland, UK

W12
3rd International Workshop on Economics-Driven Software Engineering Research (EDSER)

K. J. Sullivan,
University of Virginia, USA;
M. Shaw,
Carnegie Mellon University, USA;
B. Boehm,
University of Southern California, USA;
D. Notkin,
University of Washington, USA; and
W. Harrison,
Portland State University, USA

W13
4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction

I. Crnkovic,
Malardalens University, Sweden; and
H. Schmidt,
Monash University, Australia; and
J. Stafford and
K. Wallnau,
Carnegie Mellon Software Engineering Institute, USA

W14
10th International Workshop on Software Configuration Management: New Practices, New Challenges, and New Boundaries (SCM 10)

A. van der Hoek,
University of California, Irvine, USA

Symposia

A1
Doctoral Symposium

Symposium chair:
M. L. Soffa,
University of Pittsburgh, USA

 
10:00–10:30 Nutrition Break
10:30–12:00 Full-Day Tutorials
Continued
Morning Tutorials
Continued
Workshops
Continued
Symposia
Continued
 
12:00–2:00 Lunch Internet
Café
2:00–3:30 Full-Day Tutorials
Continued
Afternoon Tutorials

T12
Improving Software Inspections by Using Reading Techniques

F. Shull and
I. Russ,
Fraunhofer Center for Experimental Software Engineering, USA; and

V. R. Basili,
University of Maryland, USA

T13
Mining Components for a Software Architecture and a Product Line: The Options Analysis for Reengineering (OAR) Method

D. Smith,
L. O'Brien, and
J. Bergey,
Carnegie Mellon Software Engineering Institute, USA

T14
Hyper/J™: Multidimensional Separation of Concerns for Java™

P. Tarr and
H. Ossher,
IBM T. J. Watson Research Center, USA

T15
Enterprise JavaBean Architecture and Design Issues: Avoiding JavaBean Soup

J. White,
Catapult Technologies, Inc., USA

Workshops
Continued
Symposia
Continued
3:30–4:00 Nutrition Break
4:00–5:30 Full-Day Tutorials
Continued
Afternoon Tutorials
Continued
Workshops
Continued
Symposia
Continued
   


Tuesday, May 15, 2001

Previous Day | Next Day | Top

Tuesday, May 15, 2001
(ICSE Tutorials, Workshops, and Symposia)
7:30–8:30 Breakfast Internet
Café
8:30–10:00 Full Day Tutorials

T16
State, Event, Time and Diagram in System Modeling

J.-S. Dong,
National University of Singapore, Singapore

T17
From UML to Java: Building a 3-Tier Architecture

T. Korson,
Southern Adventist University, USA

T18
Designing Concurrent, Distributed, and Real-Time Applications with UML

H. Gomaa,
George Mason University, USA

T19
Using Transformation Systems for Software Maintenance and Reengineering

I. Baxter,
Semantic Designs, Inc., USA

T20
Effective Software Architecture Design: From Global Analysis to UML Descriptions

R. L. Nord,
D. J. Paulish, and
D. Soni,
Siemens Corporate Research, USA; and
C. Hofmeister,
Lehigh University, USA

Morning Tutorials

T21
Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs)

D. Amyot and
G. Mussbacher,
Mitel Corporation, Canada

Workshops

W12
Continued

W13
Continued

W14
Continued

W15
XML Technologies and Software Engineering (XSE 2001)

C. Mascolo,
W. Emmerich, and
A. Finkelstein,
University College London, UK

W16
Describing Software Architecture with UML

A. Brown,
Catapulse, Inc., USA;
W. Kozaczynski,
Rational Software, Inc., USA;
P. Kruchten,
Rational Software Canada Corporation, Canada; and
G. Larsen,
Catapulse, Inc., USA

W17
Advanced Separation of Concerns in Software Engineering

P. Tarr,
IBM T. J. Watson Research Center, USA

W18
1st Workshop on Open Source Software Engineering

J. Feller,
B. Fitzgerald,
University College Cork, Ireland; and
A. van der Hoek,
University of California, Irvine, USA

Symposia

A2
David Lorge Parnas Symposium

Symposium chairs:
D. Hoffman,
University of Victoria, Canada; and

D. M. Weiss,
Avaya Communication, USA

A3
New Software Engineering Faculty Symposium

(morning only)

Symposium chairs:
L. J. Osterweil,
University of Massachusetts, Amherst, USA;
G. Silberman,
Centre for Advanced Studies, Canada; and
K. Wong,
University of Alberta, Canada

10:00–10:30 Nutrition Break
10:30–12:00 Full-Day Tutorials
Continued
Morning Tutorials
Continued
Workshops
Continued
Symposia
Continued
12:00–2:00 Lunch
2:00–3:30 Full-Day Tutorials
Continued
Afternoon Tutorials

T22
Introduction to the Attribute Driven Design Method

F. Bachmann and
L. Bass,
Carnegie Mellon Software Engineering Institute, USA

Workshops
Continued
Symposia
Continued
Internet
Café

Continued

Setup of
Exhibits,
Posters, and
Informal
Demos

(EPIC)

3:30–4:00 Nutrition Break
4:00–5:30 Full-Day Tutorials
Continued
Afternoon Tutorials
Continued
Workshops
Continued
Symposia
Continued
5:30–5:45 Break
5:45–7:00 S1
Closing for David L. Parnas Symposium

(Open to all ICSE attendees)

Software Fundamentals: The Ideas of David L. Parnas
David M. Weiss,
Avaya Communication, USA

Diogenes, Where Are You?
Frederick P. Brooks, Jr.,
University of North Carolina, Chapel Hill, USA

Session chair:
D. Hoffman,
University of Victoria, Canada

Internet
Café

Continued

Exhibits,
Posters, and
Informal
Demos

(EPIC)

7:00–9:00 S2
Reception

Sponsored by ACD Systems

   


Wednesday, May 16, 2001

Previous Day | Next Day | Top

Wednesday, May 16, 2001
(ICSE Technical Program)
7:30–8:30 Breakfast Student Breakfast Speaker's Breakfast Internet
Café
8:30–10:00 S3
Welcome

Keynote
Software Engineering and the Internet
Daniel Sabbah,
IBM Corporation, USA

Session chair:
H. A. Müller,
University of Victoria, Canada

Internet
Café

Continued

Exhibits,
Posters, and
Informal
Demos

(EPIC)

10:00–10:30 Nutrition Break
10:30–12:00 S4
Technical Papers (TP)

Design and Specification of Distributed Systems

Session chair:
A. Zündorf,
University of Paderborn, Germany

Composition Patterns: An Approach to Designing Reusable Aspects
S. Clarke,
Trinity College, Ireland; and
R. J. Walker,
University of British Columbia, Canada

MAS - An Interactive Synthesizer to Support Behavioral Modeling in UML
E. Mäkinen,
University of Tampere, Finland; and
T. Systä,
Tampere, University of Technology, Finland

Analysis and Testing of Web Applications
F. Ricca and
P. Tonella,
ITC-irst (Centro per la Ricerca Scientifica e Tecnologica), Italy

S5
Technical Papers (TP)

Static Analysis

Session chair:
J. M. Atlee,
University of Waterloo, Canada

The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification
J. M. Cobleigh,
L. A. Clarke, and
L. J. Osterweil,
University of Massachusetts, Amherst, USA

Static Checking of Interrupt-Driven Software
D. Brylow,
N. Damgaard, and
J. Palsberg,
Purdue University, USA

Lightweight Analysis of Operational Specifications Using Inference Graphs
L. K. Dillon and
R. E. K. Stirewalt,
Michigan State University, USA

S6
Education Papers (EDU)

Practical Software Engineering Education

Session chair:
H. Saiedian,
University of Kansas, USA

Educating Software Engineering Students to Manage Risk
B. Boehm and
D. Port,
University of Southern California, USA

A Formal Approach to Component-Based Software Engineering: Education and Evaluation
M. Sitaraman,
Clemson University, USA;
T. J. Long and
B. W. Weide,
Ohio State University, USA; and
E. J. Harner and
L. Wing,
West Virginia University, USA

Corrective Maintenance Maturity Model (CM3): Maintainer's Education and Training
M. Kajko-Mattsson,
S. Forssander, and
U. Olsson,
Stockholm University and Royal Institute of Technology, Sweden

S7
Invited Industry Presentations (IIP)

Challenges in Software Development Practice

Session chair:
D. E. Perry,
University of Texas at Austin, USA

Global Software Development: The Bell Labs Collaboratory
D. Atkins,
Bell Laboratories Lucent Technologies, USA;
M. Handel,
University of Michigan, USA;
J. D. Herbsleb and
A. Mockus,
Bell Laboratories Lucent Technologies, USA;
D. E. Perry,
University of Texas at Austin, USA; and
G. Wills,
Bell Laboratories Lucent Technologies, USA

Does More Necessarily Mean Better? The Software Performance and Reliability Bottleneck
M. Cheng,
ACD Systems, Canada

Software Engineering in a Startup
A. Ricciardi,
Valaran Corporation, USA

12:00–1:10 Lunch
1:10–1:50 S8
Frontiers of Software Practice (FoSP)

Session chair:
S. R. Tilley,
University of California, Riverside, USA

Enabling Technologies for the Future of Voice-Based Web Access
S. Woods,
Quack.com, USA

S9
Frontiers of Software Practice (FoSP)

Session chair:
G. Kaiser,
Columbia University, USA

Jini™ Network Technology: Devices, Desires, and Designs
A. Ricciardi,
Valaran Corporation USA

S10
Frontiers of Software Practice (FoSP)

Session chair:
R. Holt,
University of Waterloo, Canada

Simple Object Access Protocol (SOAP) and Web Services
A. Ryman,
IBM Canada Ltd., Canada

S11
Frontiers of Software Practice (FoSP)

Session chair:
P. Devanbu,
University of California, Davis, USA

Auditing Legacy Systems for Security and Survivability
T. Longstaff,
Carnegie Mellon Software Engineering Institute, USA

1:50–2:00 Break
2:00–3:30 S12
Technical Papers (TP)

Process Improvement for Multi-Site Environments

Session chair:
D. M. Berry,
University of Waterloo,  Canada

Commitment Development in Software Process Improvement: Critical Misconceptions
P. Abrahamsson,
University of Oulu, Finland

An Empirical Study of Global Software Development: Distance and Speed
J. D. Herbsleb,
A. Mockus,
Bell Laboratories, USA;
T. A. Finholt,
University of Michigan, USA; and
R. E. Grinter,
Xerox PARC, USA

Software Product Lines: Organizational Alternatives
J. Bosch,
University of Groningen, The Netherlands

S13
Technical Papers (TP)

Design Recovery and Program Understanding

Session chair:
G. Snelting,
University of Passau, Germany

Supporting Program Comprehension Using Semantic and Structural Information
J. I. Maletic and
A. Marcus,
University of Memphis, USA

On the Syllogistic Structure of Object-Oriented Programming
D. Rayside and
K. Kontogiannis,
University of Waterloo, Canada

A Scenario-Driven Approach to Traceability
A. Egyed,
Teknowledge Corporation, USA

S14
Education Papers (EDU)

Degree Programs for Software Engineering Education

Session chair:
A. Finkelstein,
University College London, UK

An Efficient Set of Degree Programs for One Domain
T. Shepard,
Royal Military College of Canada

The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education
J. D. Tvedt,
R. Tesoriero,
University of Maryland, USA; and
K. A. Gary,
UNICON, Inc., USA

Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs
K. L. Modesitt,
University of Michigan, USA;
D. J. Bagert,
Texas Tech University, USA; and
L. Werth,
University of Texas at Austin, USA

S15
Invited Industry Presentations (IIP)

Technology Drivers for Web and Mobile Phone Services

Session chair:
M. Aoyama,
Niigata Institute of Technology, Japan

Technology Drivers and Research Challenges of Future e-Business
S. Feldman,
IBM T. J. Watson Research Center, USA

Challenge of Keitai Software: Software Engineering for Next Generation Mobile Phone Systems
Y. Hanai,
Fujitsu Limited, Japan; and
M. Aoyama,
Niigata Institute of Technology, Japan

Web Services and Software Engineering: Challenges and Opportunities
S. Weerawarana,
IBM T. J. Watson Research Center, USA

3:30–4:00 Nutrition Break
4:00–5:30 S16
Technical Papers (TP)

Effective Uses of Inspections

Session chair:
L. Briand,
Carleton University, Canada

Systematic Object-Oriented Inspection: An Empirical Study
A. Dunsmore,
M. Roper, and
M. Wood,
University of Strathclyde, UK

Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data From Two Inspection Cycles
S. Biffl and
W. Grossmann,
Technical University of Vienna, Austria

Investigating the Cost-Effectiveness of Reinspections in Software Development
S. Biffl,
Technical University of Vienna, Austria; and
B. Freimut and
O. Laitenberger,
Fraunhofer IESE, Germany

S17
Technical Papers (TP)

Building Formal Analysis Tools

Session chair:
T. Ball,
Microsoft Research, USA

A Component-Based Approach to Building Formal-Analysis Tools
R. E. K. Stirewalt and
L. K. Dillon,
Michigan State University, USA

Tool-Supported Program Abstraction for Finite-State Verification
M. B. Dwyer,
J. Hatcliff,
R. Joehanes,
S. Laubach,
Robby,
Kansas State University, USA;
C. S. Pasareanu,
W. Visser,
Research Institute for Advanced Computer Science, USA; and
H. Zheng,
Kansas State University, USA

A Workbench for Synthesising Behaviour Models from Scenarios
S. Uchitel and
J. Kramer,
Imperial College, UK

S18
Education Papers (EDU)

Software Engineering Body of Knowledge Panel (SWEBOK)

Panel chair:
P. Freeman,
Georgia Institute of Technology, USA

Panelists:
D. J. Bagert,
Texas Tech University, USA;
R. Dupuis,
Université du Québec à Montréal, Canada;
D. Frailey,
Raytheon Company, USA;
H. Saiedian,
University of Kansas, USA;
M. Shaw,
Carnegie Mellon University, USA; and
J. B. Thompson,
University of Sunderland, UK

S19
Invited Industry Presentations (IIP)

Frontiers of Component Technologies

Session chair:
G. F. Hoffnagle,
IBM Corporation, USA

Enterprise Methodology =/= Software Development Methodology
J. Q. Ning,
Accenture, USA

Mining Selected Components: The Options Analysis for Reengineering (OAR)
D. Smith,
L. O'Brien, and
J. Bergey,
Carnegie Mellon Software Engineering Institute, USA

Achieving Usability through Software Architecture
L. Bass,
Carnegie Mellon Software Engineering Institute, USA; and
B. E. John,
Carnegie Mellon University, USA

5:30–9:00 S20
Reception

Sponsored by IBM

   


Thursday, May 17, 2001

Previous Day | Next Day | Top

Thursday, May 17, 2001
(ICSE Technical Program)
7:30–8:30 Breakfast Speaker's Breakfast   Internet
Café
8:30–10:00 S21
Technical Papers (TP)

Dynamic Analysis and Testing

Session chair:
D. S. Rosenblum,
University of California, Irvine, USA

The Specification and Testing of Quantified Progress Properties in Distributed Systems
P. Krishnamurthy and
P. A. G. Sivilotti,
Ohio State University, USA

An Explorative Journey from Architectural Tests Definition downto Code Tests Execution
A. Bertolino,
IEI-CNR, Italy; and
P. Inverardi and
H. Muccini,
University of L'Aquila, Italy

Encoding Program Executions
S. P. Reiss and
M. Renieris,
Brown University, USA

S22
Technical Papers (TP)

Construction of Component-Based Systems

Session chair:
D. Batory,
University of Texas at Austin, USA

Dynamic and Selective Combination of Extensions in Component-Based Applications
E. Truyen,
B. Vanhaute,
W. Joosen,
P. Verbaeten,
Katholieke, Universiteit Leuven, Belgium; and
B. Nørregaard Jøergensen,
Southern University of Denmark, Denmark

Generating Wrappers for Command-Line Legacy Systems--The Cal-Aggie Wrap-O-Matic Project
E. Wohlstadter,
S. Jackson, and
P. Devanbu,
University of California, Davis, USA

Designing Components versus Objects: A Transformational Approach
D. H. Lorenz,
Northeastern University, USA; and
J. Vlissides,
IBM T. J. Watson Research Center, USA

S23
Case Study Reports (CSR)

Infrastructure Support

Session chair:
J. Kramer,
Imperial College, UK

Using the Web for Document Versioning:  An Implementation Report for Delta-V
J. J. Hunt and
J. Reuter,
University of Karlsruhe, Germany

Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study
S. R. Tilley and
S. Huang,
University of California, Riverside, USA

A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library
A. Aoki,
K. Hayashi,
K. Kishida,
K. Nakakoji,
Y. Nishinaka,
Software Research Associates, Inc., Japan;
B. Reeves,
TwinBear Research, USA; and
A. Takashima and
Y. Yamamoto,
Nara Institute of Science and Technology, Japan

S24
Challenges and Achievements in Software Engineering (CHASE)

Process-Centered Software Engineering Environments

Session chair:
W. Schäfer,
University of Paderborn, Germany

Process-Centered Software Engineering Environments: Academic and Industrial Perspectives
R. Balzer,
Teknowledge Corporation, USA; and
V. Gruhn,
University of Dortmund, Germany

S25
Formal Demos (FD)

Software Architecture

Session chair:
R. K. Keller,
University of Montréal, Canada

Model Processing Tools in UML
J. Koskinen,
J. Peltonen,
P. Selonen,
T. Systä, and
K. Koskimies,
Tampere University of Technology, Finland

Hyper/J™: Multi-Dimensional Separation of Concerns for Java™
H. Ossher and
P. Tarr,
IBM T. J. Watson Research Center, USA

Architecture-Oriented Programming Using FRED
M. Hakala,
J. Hautamäki,
K. Koskimies,
Tampere University of Technology, Finland; and
J. Paakki,
A. Viljamaa,
J. Viljamaa,
University of Helsinki, Finland

Internet
Café

Continued

Exhibits,
Posters, and
Informal
Demos

(EPIC)

10:00–10:30 Nutrition Break
10:30–11:30 S26
Keynote
The Coming-of-Age of Software Architecture Research

Mary Shaw,
Carnegie Mellon University, USA

Session chair:
M. J. Harrold,
Georgia Institute of Technology, USA

11:30–12:00 S27
ACM SIGSOFT and IEEE TCSE Award
Most Influential Paper from ICSE 13

Keynote
"Tolerating Inconsistency" Revisited
Robert Balzer,
Teknowledge Corporation, USA

Session chairs:
M. J. Harrold,
Georgia Institute of Technology, USA; and
W. Schäfer,
University of Paderborn, Germany

12:00–1:10 Lunch
1:10–1:50 S28
Awards Presentations
ACM Service, ACM Research
IEEE Computer Society Harlan D. Mills

Session chairs:
ACM SIGSOFT and IEEE TCSE Chairs

1:50–2:00 Break
2:00–3:30 S29
Technical Papers (TP)

Reengineering and Software Evolution

Session chair:
J. H. Jahnke,
University of Victoria, Canada

Exploiting the Map Metaphor in a Tool for Software Evolution
W. G. Griswold and
J. J. Yuan,
University of California, San Diego, USA; and
Y. Kato,
University of Tokyo, Japan

Separating Features in Source Code: An Exploratory Study
G. C. Murphy,
A. Lai,
R. J. Walker, and
M. P. Robillard,
University of British Columbia, Canada

Comparing Frameworks and Layered Refinement
R. Cardone and
C. Lin,
University of Texas, Austin, USA

S30
Technical Papers (TP)

Analysis of Architectures

Session chair:
N. Medvidovic,
University of Southern California, USA

Quantifying the Costs and Benefits of Architectural Decisions
R. Kazman,
Carnegie Mellon Software Engineering Institute, USA;
J. Asundi,
Carnegie Mellon University, USA; and
M. Klein,
Carnegie Mellon Software Engineering Institute, USA

Survivability Analysis of Networked Systems
S. Jha,
University of Wisconsin, USA; and
J. M. Wing,
Carnegie Mellon University, USA

Adaptive Feedback Scheduling of Incremental and Design-To-Time Tasks
P. H. Feiler and
J. J. Walker,
Carnegie Mellon Software Engineering Institute, USA

S31
Case Study Reports (CSR)

Applications of New Paradigms in Software Development

Session chair:
D. Smith,
Software Engineering Institute, USA

Case Study: Extreme Programming in a University Environment
M. M. Müller and
W. F. Tichy,
University of Karlsruhe, Germany

Improving Validation Activities in a Global Software Development Environment
C. Ebert,
C. H. Parro,
R. Suttels, and
H. Kolarczyk,
Alcatel, France

Applying WinWin to Quality Requirements: A Case Study
H. In,
B. Boehm,
T. Rodgers, and
M. Deutsch,
Texas A&M University, University of Southern California, USA

S32
Challenges and Achievements in Software Engineering (CHASE)

Specification and Modeling

Session chair:
G. Engels,
University of Paderborn, Germany

Specification and Modeling: An Academic Perspective
M. Broy,
Technical University of Munich, Germany

Specification and Modeling: An Industrial Perspective
B. Selic,
Rational Software Canada Corporation, Canada

S33
Formal Demos (FD)

Reuse and Integration

Session chair:
G. T. Heineman,
Worcester Polytechnic Institute, USA

CodeWeb: Data Mining Library Reuse Patterns
A. Michail,
University of New South Wales, Australia

Holmes: An Intelligent System to Support Software Product Line Development
G. Succi,
J. Yip, and
W. Pedrycz,
University of Alberta, Canada

Babel: Representing Business Rules in XML for Application Integration
H.  Zhang and
E. Stroulia,
University of Alberta, Canada

3:30–4:00 Nutrition Break
4:00–5:30 S34
Technical Papers (TP)

Improving the Testing Process

Session chair:
K. Inoue,
Osaka University, Japan

Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization
S. Elbaum,
University of Nebraska, Lincoln, USA;
A. Malishevsky,
Oregon State University, USA; and
G. Rothermel,
Oregon State University, USA

Finding Failures by Cluster Analysis of Execution Profiles
W. Dickinson,
D. Leon, and
A. Podgurski,
Case Western Reserve University, USA

Understanding IV&V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program
M. V. Zelkowitz and
I. Rus,
University of Maryland, USA

S35
Technical Papers (TP)

Mobile Agents

Session chair:
I. Ben-Shaul,
Technion-Israel Institute of Technology, VersEdge Technologies, Israel

Theory of Software Reliability Based on Components
D. Hamlet,
Portland State University, USA; and
D. Mason and
D. Woit,
Ryerson Polytechnic University, Canada

Engineering Mobile-Agent Applications via Context-Dependent Coordination
G. Cabri,
L. Leonardi, and
F. Zambonelli,
University of Modena, Italy

Consistent Group Membership in Ad Hoc Networks
G.-C. Roman,
Q. Huang, and
A. Hazemi,
Washington University, St. Louis, USA

S36
Case Study Reports (CSR)

Software Evolution

Session chair:
T. C. Lethbridge,
University of Ottawa, Canada

TIGRA—An Architectural Style for Enterprise Application Integration
W. Emmerich,
University College London, UK;
E. Ellmer,
Zuhlke Engineeering GmbH, Germany; and
H. Fieglein,
DG Bank, Germany

Reengineering Analysis of  Object-Oriented Systems via Duplication Analysis
F. Fioravanti,
G. Migliarese, and
P. Nesi,
University of Florence, Italy

S37
Challenges and Achievements in Software Engineering (CHASE)

Impact Project Panel

Panel chair:
L. J. Osterweil,
University of Massachusetts, Amherst, USA

Panelists:
J. Estublier,
French National Research Organization (CNRS), France;
D. Rombach,
Fraunhofer IESE, Germany; and
M. L. Soffa,
University of Pittsburgh, USA

S38
Formal Demos (FD)

Verification and Maintenance

Session chair:
E. Stroulia,
University of Alberta, Canada

jMOCHA: A Model Checking Tool that Exploits Design Structure
R. Alur,
University of Pennsylvania, USA;
L. de Alfaro,
University of California, Berkeley, USA;
R. Grosu,
SUNY, Stony Brook, USA;
T. A. Henzinger,
University of California, Berkeley, USA;
M. Kang,
University of Pennsylvania, USA;
C. M. Kirsch,
University of California, Berkeley, USA;
R. Majumdar,
University of California, Berkeley, USA;
F. Mang,
University of California, Berkeley, USA; and
B. Y. Wang,
University of Pennsylvania, USA

Maintenance Support Tools for Java Programs: CCFinder and JAAT
T. Kamiya,
F. Ohata,
K. Kondou,
S. Kusumoto, and
K. Inoue,
Osaka University, Japan

Using OCL-Queries for Debugging C++
C. Hobatr and
B. A. Malloy,
Clemson University, USA

7:00–10:00 S39
Reception

Sponsored by NRC

Internet
Café

Continued
   


Friday, May 18, 2001

Previous Day | Top

Friday, May 18, 2001
(ICSE Technical Program)
7:30–8:30 Breakfast Speaker's Breakfast Internet
Café
8:30–10:30 S40
Technical Papers (TP)

Analysis of Requirements

Session chair:
P. Tarr,
IBM T.J. Watson Research Center, USA

Fast Formal Analysis of Requirements via "Topoi Diagrams"
T. Menzies,
University of British Columbia, Canada;
J. Powell,
Averstar, Inc., USA; and
M. E. Houle,
University of Sydney, Australia

Conceptual Modeling through Linguistic Analysis Using LIDA
S. P. Overmyer,
Drexel University, USA;
B. Lavoie,
CoGenTex, Inc., USA; and
O. Rambow,
AT&T Research, USA

A Framework for Multi-Valued Reasoning Over Inconsistent Viewpoints
S. Easterbrook and
M. Chechik,
University of Toronto, Canada

Functional Palaeontology: System Evolution as the User Sees It
A. I. Antón,
North Carolina State University, USA; and
C. Potts,
Georgia Institute of Technology, USA

S41
Technical Papers (TP)

Formal Frameworks

Session chair:
K. Futatsugi,
JAIST, Japan

A General Framework for Formalizing UML with Formal Languages
W. E. McUmber and
B. H. C. Cheng,
Michigan State University, USA

Efficient Filtering in Publish Subscribe Systems Using Binary Decision Diagrams
A. Campialla,
Microsoft, USA;
S. Chaki,
Carnegie Mellon University, USA;
E. Clarke,
Carnegie Mellon University, USA;
S. Jha,
University of Wisconsin, USA; and
H. Veith,
Vienna University of Technology, Austria

A Scalable Formal Method for Design and Automatic Checking of User Interfaces
J. Berstel,
Université de Marne-la-Vallée, France;
S. Crespi Reghizzi,
Politecnico di Milano, Italy;
G. Roussel,
Université de Marne-la-Vallée, France; and
P. San Pietro,
Politecnico di Milano, Italy

Scientific Rigour, an Answer to a Pragmatic Question: A Liguistic Framework for Software Engineering
A. M. Haeberer,
ATX SA, UK; and
T. S. E. Maibaum,
King's College London, UK

S42
Perspectives on Software Engineering Panel (PoSE)

The Future of Software Engineering

Panel chair:
D. Notkin,
University of Washington, USA

Panelists:
M. Donner,
Morgan Stanley, USA;
M. D. Ernst,
Massachusetts Institute of Technology, USA;
M. Gorlick,
Endeavors Technology, Inc., USA;
M.-A. Storey,
University of Victoria, Canada; and
E. J. Whitehead, Jr.,
University of California, Santa Cruz, USA

  Internet
Café

Continued

Exhibits,
Posters, and
Informal
Demos

(EPIC)

10:30–11:00 Nutrition Break
11:00–12:00 S43
Keynote

Software Engineering Challenges: A CIO's Perspective
Bernd Voigt,
Lufthansa, Germany

Session chair:
W. Schäfer,
University of Paderborn, Germany

12:00–1:10 Lunch
1:10–1:50 S44
Frontiers of Software Practice (FoSP)

Session chair:
M.-A. Storey,
University of Victoria, Canada

AntiPatterns in Software Architecture
T. Mobray,
World Wide Institute of Software Architects (WWISA), USA

S45
Frontiers of Software Practice (FoSP)

Session chair:
A. W. Kark,
National Research Council, Canada

Dependability of Embedded Systems
J. Knight,
University of Virginia, USA

S46
Frontiers of Software Practice (FoSP)

Session chair:
H. A. Müller,
University of Victoria, Canada

Inter-Language Object Sharing with the Common Language Runtime: Infrastructure for MS .NET
J. Hamilton,
Microsoft Corporation, USA

S47
Frontiers of Software Practice (FoSP)

Session chair:
P. Sorenson,
University of Alberta, Canada

Collaborative Software Engineering
A. Brown,
Catapulse, Inc., USA

1:50–2:00 Break
2:00–3:00 S48
Keynote
Reuse That Pays

Linda M. Northrop,
Carnegie Mellon Software Engineering Institute, USA

Session chair:
H. A. Müller,
University of Victoria, Canada

Teardown of
Exhibits,
Posters, and
Informal
Demos
3:00–3:15 Nutrition Break
3:15–4:45 S49
Technical Papers (TP)

Architecture for Emerging Applications

Session chair:
E. Di Nitto,
Politecnico di Milano, Italy

An Architecture for Heterogeneous Groupware Applications
I. Marsic,
Rutgers University, USA

A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry
K. J. Sullivan and
A. Saxena,
University of Virginia, USA

XAS: A System for Accessing Componentized, Virtual XML Documents
M.-L. Lo,
S.-K. Chen,
S. Padmanabhan, and
J. Chung,
IBM T. J. Watson Research Center, USA

S50
Software Engineering Research Agendas Panel (SERA)

Panel chair:
D. Rombach,
Fraunhofer IESE, Germany

Panelists:
R. Jeffery,
University of New South Wales, Australia;
A. Mili,
West Virginia University, USA;
L. J. Osterweil,
University of Massachusetts, Amherst, USA;
D. L. Parnas,
McMaster University, Canada; and
T. Tamai,
University of Tokyo, Japan

   
4:45–5:00 S51
ICSE 2001 Closing

Session chair:
W. Tracz,
Lockheed Martin Federal Systems, USA

   



Site last updated: Tuesday, January 29, 2002 3:29 AM.
免费老熟妇牲交大全视频中文_免费观看四虎精品国产_免费大片aⅴ网站人人看