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 |
| |
 |
|
|
|
|
|
|