The Community for Technology Leaders
RSS Icon
Subscribe
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
Siobhán Clarke , Trinity College
Robert J. Walker , University of British Columbia
pp. 0005
Erkki Makinen , University of Tampere
Tarja Systa , Tampere University of Technology
pp. 0015
Filippo Ricca , Centro per la Ricerca Scientifica e Tecnologica
Paolo Tonella , Centro per la Ricerca Scientifica e Tecnologica
pp. 0025
Static Analysis
Jamieson M. Cobleigh , University of Massachusetts Amherst
Lori A. Clarke , University of Massachusetts Amherst
Leon J. Osterweil , University of Massachusetts Amherst
pp. 0037
Dennis Brylow , Purdue University
Niels Damgaard , Purdue University
Jens Palsberg , Purdue University
pp. 0047
Laura K. Dillon , Michigan State University
R. E. Kurt Stirewalt , Michigan State University
pp. 0057
Process Improvement for Multi-Site Environments
James D. Herbsleb , Lucent Technologies
Audris Mockus , Lucent Technologies
Thomas A. Finholt , University of Michigan
Rebecca E. Grinter , Xerox PARC
pp. 0081
Jan Bosch , University of Groningen
pp. 0091
Design Recovery and Program Understanding
Jonathan I. Maletic , The University of Memphis
Andrian Marcus , The University of Memphis
pp. 0103
Derek Rayside , University of Waterloo
Kostas Kontogiannis , University of Waterloo
pp. 0113
Alexander Egyed , Teknowledge Corporation
pp. 0123
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
R. E. Kurt Stirewalt , Michigan State University
Laura K. Dillon , Michigan State University
pp. 0167
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
Sebastian Uchitel , Imperial College
Jeff Kramer , Imperial College
pp. 0188
Dynamic Analysis and Testing
Antonia Bertolino , Istituto di Elaborazione dell'Informazione
Paola Inverardi , Universita dell'Aquila
Henry Muccini , Universita dell'Aquila
pp. 0211
Steven P. Reiss , Brown University
Manos Renieris , Brown University
pp. 0221
Construction of Component-Based Systems
Eric Wohlstadter , University of California
Stoney Jackson , University of California
Premkumar Devanbu , University of California
pp. 0243
David H. Lorenz , Northeastern University
John Vlissides , IBM T.J. Watson Research Center
pp. 0253
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
Somesh Jha , University of Wisconsin
Jeannette M. Wing , Carnegie Mellon University
pp. 0307
Peter H. Feiler , Carnegie Mellon University
John J. Walker , Carnegie Mellon University
pp. 0318
Improving the Testing Process
Sebastian Elbaum , University of Nebraska-Lincoln
Alexey Malishevsky , Oregon State University
Gregg Rothermel , Oregon State University
pp. 0329
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
Tim Menzies , Univ. British Columbia
John Powell , Averstar Inc.
Michael E. Houle , IBM Japan
pp. 0391
Scott P. Overmyer , Massey University - Albany
Benoit Lavoie , CoGenTex, Inc.
Owen Rambow , ATT Labs-Research
pp. 0401
Steve Easterbrook , University of Toronto
Marsha Chechik , University of Toronto
pp. 0411
Annie I. Antón , North Carolina State University
Colin Potts , Georgia Institute of Technology
pp. 0421
Formal Frameworks
William E. McUmber , Michigan State University
Betty H.C. Cheng , Michigan State University
pp. 0433
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
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
Ivan Marsic , Rutgers---The State University of New Jersey
pp. 0475
Kevin Sullivan , Thornton Hall University of Virginia
Avneesh Saxena , Thornton Hall University of Virginia
pp. 0485
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
James J. Hunt , Forschungszentrum Informatik
Jürgen Reuter , Universit?t Karlsruhe
pp. 0507
Scott Tilley , University of California, Riverside
Shihong Huang , University of California, Riverside
pp. 0514
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
Matthias M. Müller , Universit?t Karlsruhe
Walter F. Tichy , Universit?t Karlsruhe
pp. 0537
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
Wolfgang Emmerich , University College London
Ernst Ellmer , Z?hlke Engineering GmbH
Henry Fieglein , DG Bank
pp. 0567
F. Fioravanti , University of Florence
G. Migliarese , University of Florence
P. Nesi , University of Florence
pp. 0577
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
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
Terry Shepard , Royal Military College of Canada
pp. 0623
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
Cris Kobryn , Telelogic
pp. 0705
Kurt Wallnau , Software Engineering Institute, Carnegie Mellon University
pp. 0709
Philippe Kruchten , Rational Software
Bran Selic , Rational Software
Wojtek Kozaczynski , Rational Software
pp. 0715
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
James White , Catapult Technologies, Inc.
pp. 0724
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
A. Mehta , American Financial Systems, Inc.
pp. 0797
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
Giancarlo Succi , University of Alberta
Jason Yip , University of Alberta
Witold Pedrycz , University of Alberta
pp. 0829
H. Zhang , University of Alberta
E. Stroulia , University of Alberta
pp. 0831
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
Author Index (PDF)
pp. 0841
31 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool