• I
  • ICSE
  • 2001
  • 23rd International Conference on Software Engineering (ICSE'01)
Advanced Search 
23rd International Conference on Software Engineering (ICSE'01)
Toronto, Canada
May 12-May 19
ISBN: 0-7695-1050-7
Table of Contents
Design and Specification of Distributed Systems
Filippo Ricca, Centro per la Ricerca Scientifica e Tecnologica
Paolo Tonella, Centro per la Ricerca Scientifica e Tecnologica
pp. 0025
Static Analysis
Process Improvement for Multi-Site Environments
Design Recovery and Program Understanding
Effective Uses of Inspections
Alastair Dunsmore, University of Strathclyde
Marc Roper, University of Strathclyde
Murray Wood, University of Strathclyde
pp. 0135
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
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
Construction of Component-Based Systems
Reengineering and Software Evolution
William G. Griswold, University of California San Diego
Jimmy J. Yuan, University of California San Diego
Yoshikiyo Kato, University of Tokyo
pp. 0265
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
Richard Cardone, University of Texas at Austin
Calvin Lin, University of Texas at Austin
pp. 0285
Analysis of Architectures
Rick Kazman, Carnegie Mellon University
Jai Asundi, Carnegie Mellon University
Mark Klein, Carnegie Mellon University
pp. 0297
Improving the Testing Process
William Dickinson, Case Western Reserve University
David Leon, Case Western Reserve University
Andy Podgurski, Case Western Reserve University
pp. 0339
Marvin V. Zelkowitz, Fraunhofer Center for Experimental Software Engineering
Ioana Rus, Fraunhofer Center for Experimental Software Engineering
pp. 0349
Reliability and Mobile Agents
Dick Hamlet, Portland State University
Dave Mason, Ryerson Polytechnic University
Denise Woit, Ryerson Polytechnic University
pp. 0361
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
Gruia-Catalin Roman, Washington University
Qingfeng Huang, Washington University
Ali Hazemi, Washington University
pp. 0381
Analysis of Requirements
Formal Frameworks
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
Architectures for Emerging Applications
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
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
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
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
Practical Software Engineering Education
Barry Boehm, University of Southern California
Daniel Port, University of Southern California
pp. 0591
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
Degree Programs for Software Engineering Education
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
Terry Shepard, Royal Military College of Canada
Diane Kelly, Royal Military College of Canada
pp. 0718
Barry Boehm, University of Southern California
Paul Grünbacher, Johannes Kepler University Linz
Robert O. Briggs, Group Systems.com
pp. 0720
Workshops
P. Tarr, IBM T. J. Watson Research Center
H. Ossher, IBM T. J. Watson Research Center
pp. 0778
J. Feller, University College Cork
B. Fitzgerald, University College Cork
A. Van der Hoek, UC Irvine
pp. 0780
Doctoral Symposium
N. Kaveh, University College London
pp. 0793
E. Kirda, Technical University of Vienna
pp. 0795
D. Streitferdt, Ilmenau Technical University
pp. 0803
David L. Parnas Symposium
D. Hoffman, University of Victoria
D. Weiss, Avaya Laboratories
pp. 0807
New Software Engineering Faculty Symposium
L. Osterweil, University of Massachusetts
G. Silberman, Centre for Advanced Studies
K. Wong, University of Alberta
pp. 0813
Software Architecture
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
H. Ossher, IBM T. J. Watson Research Center
P. Tarr, IBM T. J. Watson Research Center
pp. 0821
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
A. Michail, University of New South Wales
pp. 0827
Verification and Maintenance
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
Usage of this product signifies your acceptance of the Terms of Use.