• I
  • ICSE
  • 2000
  • 22nd International Conference on Software Engineering (ICSE '00)
Advanced Search 
22nd International Conference on Software Engineering (ICSE '00)
Limerick, Ireland
June 04-June 11
ISBN: 1-58113-206-9
Table of Contents
null
Invited Presentations
Manuel Castells, University of California at Berkeley
pp. 2
Chris Horn, Founder and CEO of IONA Technologies plc., Dublin, Ireland
pp. 4
Components And COTS
Ivica Crnkovic, M?lardalen University, Sweden
Magnus Larsson, ABB Automation Products AB, Sweden
pp. 22
M. Morisio, University of Maryland, College Park
C. B. Seaman, University of Maryland Baltimore County; Fraunhofer Center Maryland, College Park
A. T. Parra, Computer Sciences Corporation, Greenbelt, MD
V. R. Basili, University of Maryland, College Park; Fraunhofer Center Maryland, College Park
S. E. Kraft, NASA/Goddard Space Flight Center
S. E. Condon, Computer Sciences Corporation, Greenbelt, MD
pp. 31
L. David Balk, T. Rowe Price Investment Technologies, Baltimore, Maryland
Ann Kedia, T. Rowe Price Investment Technologies, Baltimore, Maryland
pp. 41
Software Architecture And Product Families
Juha Kuusela, Nokia Research Center
Juha Savolainen, Helsinki University of Technology, Finland
pp. 60
New Perspectives on Software Engineering
Data Analysis
James H. Andrews, Univ. of Western Ontario
Yingjun Zhang, Univ. of Western Ontario
pp. 105
Testing I
David Leon, Case Western Reserve University, Cleveland, Ohio
Andy Podgurski, Case Western Reserve University, Cleveland, Ohio
Lee J. White, Case Western Reserve University, Cleveland, Ohio
pp. 116
Jung-Min Kim, Univ. of Maryland, College Park
Adam Porter, Univ. of Maryland, College Park
Gregg Rothermel, Oregon State University
pp. 126
Y. Labiche, LAAS-CNRS/LIS
P. Thevenod-Fosse, LAAS-CNRS/LIS
H. Waeselynck, LAAS-CNRS/LIS
M.-H Durand, Aerospatiale Matra Airbus/LIS
pp. 136
Evolution And Reuse
A. Mili, West Virginia University, Morgantown, WV
S. Fowler Chmiel, West Virginia University, Morgantown, WV
R. Gottumukkala, West Virginia University, Morgantown, WV
L. Zhang, West Virginia University, Morgantown, WV
pp. 157
Component-Based Systems
Nikunj R. Mehta, University of Southern California, Los Angeles
Nenad Medvidovic, University of Southern California, Los Angeles
Sandeep Phadke, University of Southern California, Los Angeles
pp. 178
Matteo Pradella, Politecnico di Milano, Italy
Matteo Rossi, Politecnico di Milano, Italy
Dino Mandrioli, Politecnico di Milano, Italy
Alberto Coen-Porisini, Universit? di Lecce, Italy
pp. 188
Software Engineering Training
Anke Drappa, University of Stuttgart, Germany
Jochen Ludewig, University of Stuttgart, Germany
pp. 199
Testing II
A. Bertolino, Istituto di Elaborazione dell'Informazione, Pisa, Italy
F. Corradini, Universit? di L'Agquila, Italy
P. Inverardi, Universit? di L'Agquila, Italy
H. Muccini, Universit? di L'Agquila, Italy
pp. 220
Karen J. Rothermel, Oregon State University, Corvallis, OR
Curtis R. Cook, Oregon State University, Corvallis, OR
Margaret M. Burnett, Oregon State University, Corvallis, OR
Justin Schonfeld, Oregon State University, Corvallis, OR
T. R. G. Green, University of Leeds, UK
Gregg Rothermel, Oregon State University, Corvallis, OR
pp. 230
Software Architecture
Hans J. K?hler, University of Paderborn, Germany
Ulrich Nickel, University of Paderborn, Germany
J?rg Niere, University of Paderborn, Germany
Albert Z?ndorf, University of Paderborn, Germany
pp. 241
Gary E. Anderson, Queen's University, Kingston, Canada
T. C. Nicholas Graham, Queen's University, Kingston, Canada
Timothy N. Wright, University of Canterbury, New Zealand
pp. 252
Open Source And Software Markets
Audris Mockus, Naperville, IL
Roy T. Fielding, University of California, Irvine
James Herbsleb, Naperville, IL
pp. 263
David Coppit, University of Virginia, Charlottesville
Kevin J. Sullivan, University of Virginia, Charlottesville
pp. 273
Software Engineering Education
System Model Derivation
Rajeev Alur, U. of Pennsylvania; Bell Labs
Kousha Etessami, Bell Labs
Mihalis Yannakakis, Bell Labs
pp. 304
Jon Whittle, NASA Ames Research, Moffett Field, CA
Johann Schumann, NASA Ames Research, Moffett Field, CA
pp. 314
Model Checking
Zhe Dang, University of California, Santa Barbara
Richard A. Kemmerer, University of California, Santa Barbara
pp. 345
Program Analysis I
James Hayes, University of California, San Diego
William G. Griswold, University of California, San Diego
Stuart Moskovics, Motorola, BCS, San Diego, CA
pp. 356
Donglin Liang, Georgia Institute of Technology, Atlanta
Mary Jean Harrold, Georgia Institute of Technology, Atlanta
pp. 366
Empirical Studies
Lionel C. Briand, Carleton University, Ottawa, Canada
Tristen Langley, University of New South Wales, Sydney, Australia
Isabella Wieczorek, Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany
pp. 377
Osamu Mizuno, Osaka University, Japan
Tohru Kikuno, Osaka University, Japan
Yasunari Takagi, OMRON Corporation, Japan
Keishi Sakamoto, OMRON Corporation, Japan
pp. 387
Web-Based Systems
Wolfgang Emmerich, University College London, UK
Cecilia Mascolo, University College London, UK
Anthony Finkelstein, University College London, UK
pp. 397
Roy T. Fielding, University of California, Irvine
Richard N. Taylor, University of California, Irvine
pp. 407
Case Studies
Martin Lippert, University of Hamburg, Germany
Cristina Videira Lopes, Xerox Palo Alto Research Center, CA
pp. 418
Marek Leszak, Lucent Technologies, Germany
Dewayne E. Perry, The University of Texas at Austin
Dieter Stoll, Lucent Technologies, Germany
pp. 428
Program Analysis II
James C. Corbett, University of Hawii, Honolulu
Matthew B. Dwyer, Kansas State University, Manhattan
John Hatcliff, Kansas State University, Manhattan
Shawn Laubach, Kansas State University, Manhattan
Corina S. Pasareanu, Kansas State University, Manhattan
Robby, Kansas State University, Manhattan
Hongjun Zheng, Kansas State University, Manhattan
pp. 439
Michael D. Ernst, University of Washington, Seattle
Adam Czeisler, University of Washington, Seattle
William G. Griswold, University of California San Diego
David Notkin, University of Washington, Seattle
pp. 449
Review And Inspection Techniques
Patrick d'Astous, ?cole Polytechnique de Montr?al, Canada
Pierre N. Robillard, ?cole Polytechnique de Montr?al, Canada
pp. 460
Alastair Dunsmore, University of Strathclyde, Livingstone Tower, Scotland
Marc Roper, University of Strathclyde, Livingstone Tower, Scotland
Murray Wood, University of Strathclyde, Livingstone Tower, Scotland
pp. 467
Verification And Proofs
Idit Keidar, MIT Lab for Computer Science, Cambridge, MA
Roger Khazan, MIT Lab for Computer Science, Cambridge, MA
Nancy Lynch, MIT Lab for Computer Science, Cambridge, MA
Alex Shvartsman, University of Connecticut, Storrs
pp. 478
John Penix, NASA Ames Research Center, Moffet Field, CA
Willem Visser, NASA Ames Research Center, Moffet Field, CA
Eric Engstrom, Honeywell Technology Center, Minneapolis, MN
Aaron Larson, Honeywell Technology Center, Minneapolis, MN
Nicholas Weininger, Honeywell Technology Center, Minneapolis, MN
pp. 488
Visual Techniques
Jeff Magee, Imperial College of Science, UK
Nat Pryce, Imperial College of Science, UK
Dimitra Giannakopoulou, Imperial College of Science, UK
Jeff Kramer, Imperial College of Science, UK
pp. 499
Corin Gurr, University of Edinburgh, UK
Konstantinos Tourlas, University of Edinburgh, UK
pp. 509
Technology Transfer "In The Large"
Dieter Rombach, Fraunhofer IESE & University of Kaiserslautern, Germany
pp. 531
Professionalization of Software Engineering
Jane B. Grimson, Trinity College, Ireland
Hans-J?rgen Kugler, Delgany, Co. Wicklow, Ireland
pp. 541
Experience With A Product Line And Family Approach
Gerald C. Gannod, Arizona State University, Tempe
Robyn R. Lutz, Arizona State University, Tempe
pp. 548
Klaus Schmid, Software Engineering (IESE), Germany
Ulrike Becker-Kornstaedt, Software Engineering (IESE), Germany
Peter Knauber, Software Engineering (IESE), Germany
Florian Bernauer, Markant S?dwest Software und Dienstleistungs GmbH, Germany
pp. 558
Technology Transfer As Explicit Business And Process Issue
Support For Effective Project Estimation
Technology Transfer In The Internet World
From Research To Business Success I
Practical Experience: Company Case Studies I
Practical Experience: Company Case Studies II
Antonio Cali?, Cali? Informatica Srl, Italy
Massimo Autiero, Cali? Informatica Srl, Italy
Giuseppe Bux, Tecnopolis CSATA Scrl, Italy
pp. 641
Professional Software Engineering And The Bazaar
Even-Andr? Karlsson, Q-Labs, Sweden
Lars-G?ran Andersson, Ericsson Radio Systems AB, Sweden
Per Leion, Ericsson Radio Systems AB, Sweden
pp. 649
Panels
Leon Osterweil, University of Massachusetts at Amherst
Barry W. Boehm, University of Southern California
Mike Evangelist, National Science Foundation
Volker Gruhn, University of Dortmund
Jeff Kramer, Imperial College
Edward F. Miller, Jr., Software Research Associates
pp. 660
Bill Councill, Texas Quintessence Corporation, Plano, TX
George T. Heineman, Computer Science Department, WPI, Worcester, MA
pp. 661
Nancy R. Mead, Software Engineering Institute, Pittsburgh, PA
Hossein Saiedian, University of Nebraska at Omaha
G?nther Ruhe, Fraunhofer Institute for Experimental Software Engineering IESE
Donald J. Bagert, Texas Tech University, Lubbock
pp. 665
Jeff Magee, Imperial College, London, UK
Mauro Pezz?, Politecnico di Milano, Italy
pp. 669
Formal Teaching Demonstrations
Nathalie Poerwantoro, FernUniversit?t Hagen, Germany
Abdulmotaleb El Saddik, Darmstadt University of Technology, Germany
Bernd Kr?mer, FernUniversit?t Hagen, Germany
Ralf Steinmetz, Darmstadt University of Technology, Germany
pp. 680
George Birbilis, Computer Technology Institute, Greece
Manolis Koutlis, Computer Technology Institute, Greece
Kriton Kyrimis, Computer Technology Institute, Greece
George Tsironis, Computer Technology Institute, Greece
George Vasiliou, Computer Technology Institute, Greece
pp. 684
Doctoral Workshop
Jeff Magee, Imperial College, London, UK
Mauro Pezz?, Politecnico di Milano, Italy
pp. 697
Jing Dong, University of Waterloo, Ontario, Canada
pp. 698
Juan F. Ramil, Imperial College of Science, London, UK
pp. 701
Marek Paralic, Technical University of Kosice, Slovak Republic
pp. 716
Formal Research Demonstrations
Daniel Jackson, Massachusetts Institute of Technology
Ian Schechter, Massachusetts Institute of Technology
Ilya Shlyakhter, Massachusetts Institute of Technology
pp. 730
Harold Ossher, IBM Thomas J. Watson Research Center, Yorktown Heights, NY
Peri Tarr, IBM Thomas J. Watson Research Center, Yorktown Heights, NY
pp. 734
David A. Marca, OpenProcess, Inc., Auburndale, MA
Beth A. Perdue, OpenProcess, Inc., Auburndale, MA
pp. 738
Ulrich Nickel, University of Paderborn, Germany
J?rg Niere, University of Paderborn, Germany
Albert Z?ndorf, University of Paderborn, Germany
pp. 742
Fabiano Cattaneo, CEFRIEL - Politecnico di Milano, Italy
Elisabetta Di Nitto, CEFRIEL - Politecnico di Milano, Italy
Alfonso Fuggetta, CEFRIEL - Politecnico di Milano, Italy
Luigi Lavazza, CEFRIEL - Politecnico di Milano, Italy
Giuseppe Valetto, CEFRIEL - Politecnico di Milano, Italy
pp. 746
David Coppit, University of Virginia, Charlottesville
Kevin J. Sullivan, University of Virginia, Charlottesville
pp. 750
Aaron G. Cass, University of Massachusetts, Amherst
Barbara Staudt Lerner, University of Massachusetts, Amherst
Eric K. McCall, University of Massachusetts, Amherst
Leon J. Osterweil, University of Massachusetts, Amherst
Stanley M. Sutton Jr., University of Massachusetts, Amherst
Alexander Wise, University of Massachusetts, Amherst
pp. 754
Marlon E. R. Vieira, University of California, Irvine
Marcio S. Dias, University of California, Irvine
Debra J. Richardson, University of California, Irvine
pp. 758
James C. Corbett, University of Hawai'i, Honolulu
Matthew B. Dwyer, Kansas State University, Manhattan
John Hatcliff, Kansas State University, Manhattan
Robby, Kansas State University, Manhattan
pp. 762
Gian Pietro Picco, Politecnico di Milano, Italy
Amy L. Murphy, Washington University in St. Louis, MO
Gruia-Catalin Roman, Washington University in St. Louis, MO
pp. 766
Posters
Bart Michiels, Vrije Universiteit Brussel, Belgium
Bart Wydaeghe, Vrije Universiteit Brussel, Belgium
pp. 771
Raimondas Lencevicius, Nokia Research Center, Burlington, MA
Alexander Ran, Nokia Research Center, Burlington, MA
Rahav Yairi, Nokia Research Center, Burlington, MA
pp. 772
Skylar Lei, University of Calgary, Canada
Michael Smith, University of Calgary, Canada
Giancarlo Succi, University of Alberta, Canada
pp. 773
Silvia Teresita Acu?, Universidad Nacional de Sgo. del Estero, Argentina
Graciela Elisa Barchini, Universidad Nacional de Sgo. del Estero, Argentina
Mabel Sosa, Universidad Nacional de Sgo. del Estero, Argentina
pp. 775
Chang Liu, University of California, Irvine
Debra J. Richardson, University of California, Irvine
pp. 776
Juan F. Ramil, Imperial College of Science, London, UK
Meir M. Lehman, Imperial College of Science, London, UK
pp. 777
Anna Liu, CSIRO Mathematical and Information Sciences, Sydney, Australia
Ian Gorton, CSIRO Mathematical and Information Sciences, Sydney, Australia
Paul Greenfield, CSIRO Mathematical and Information Sciences, Sydney, Australia
pp. 782
Garry Froehlich, University of Alberta, Canada
Amr Kamel, University of Alberta, Canada
Paul Sorenson, University of Alberta, Canada
pp. 783
Research Exhibition Demonstrations
A. Mili, West Virginia University, Morgantown
S. Fowler Chmiel, West Virginia University, Morgantown
R. Gottumukkala, West Virginia University, Morgantown
L. Zhang, West Virginia University, Morgantown
pp. 785
Giancarlo Succi, The University of Alberta, Canada
Jason Yip, University of Calgary, Canada
Eric Liu, University of Calgary, Canada
Witold Pedrycz, The University of Alberta, Canada
pp. 786
Giancarlo Succi, University of Alberta, Canada
Raymond Wong, University of Alberta, Canada
Eric Liu, University of Calgary, Canada
Michael Smith, University of Calgary, Canada
pp. 787
Rory O'Connor, Dublin City University, Glasnevin
Robert Cochran, Blanchardstown Plaza
Tony Moynihan, Dublin City University, Glasnevin
pp. 788
Claudio Riva, Nokia Research Center, Helsinki, Finland
pp. 789
Eleni Stroulia, University of Alberta, Canada
Mohammad El-Ramly, University of Alberta, Canada
Paul Sorenson, University of Alberta, Canada
Roland Penner, University of Alberta, Canada
pp. 790
Ulrike Becker-Kornstaedt, Fraunhofer IESE, Germany
Louise Scott, Fraunhofer IESE, Germany
J? Zettel, Fraunhofer IESE, Germany
pp. 791
Workshop Summaries
Antonia Bertolino, IEI-CNR, Pisa, Italy
Gail C. Murphy, University of British Columbia, Vancouver, Canada
pp. 793
San Murugesan, University of Western Sydney Macarthur, Australia
Yogesh Deshpande, University of Western Sydney Macarthur, Australia
pp. 794
Nigel Tracey, University of York, Heslington, UK
John Penix, NASA Ames Research Center, Moffett Field, CA
Willem C. Visser, NASA Ames Research Center, Moffett Field, CA
pp. 796
John Dean, National Research Council Canada
Tricia Oberndorf, Software Engineering Institute
Mark Vigder, National Research Council Canada
John Foreman, Software Engineering Institute
Morven Gentleman, National Research Council
Anatol Kark, National Research Council
Ron Kohl, Averstar
Cornelius Ncube, City University
Thuy Nguyen, Electricit? de France (EDF)
Joan Antoni Pastor-Collado, Universitat Polit?cnica de Catalunya
Jeffrey Voas, Reliable Software Technologies
pp. 797
Jonathan Gray, University of Wollongong, Australia
Louise Scott, Fraunhofer IESE, Germany
Ian Ferguson, University of Sunderland, UK
pp. 801
Philippe Palanque, LIHS, Univ. Toulouse I, France
Fabio Patern?, CNUCE-CNR, Pisa, Italy
pp. 803
Susan Elliott Sim, University of Toronto, Canada
Ric Holt, University of Waterloo, Canada
Rainer Koschke, Universit?t Stuttgart, Germany
pp. 805
Peri Tarr, IBM T. J. Watson Research Center
William Harrison, IBM T. J. Watson Research Center
Harold Ossher, IBM T. J. Watson Research Center
Anthony Finkelstein, University College London, UK
Bashar Nuseibeh, Imperial College, UK
Dewayne Perry, University of Texas at Austin
pp. 809
Peter Knauber, Fraunhofer Institute for Experimental Software Engineering (IESE), Germany
Giancarlo Succi, The University of Alberta, Canada
pp. 814
Paolo Ciancarini, University of Bologna, Italy
Michael Wooldridge, University of Liverpool, UK
pp. 816
Tutorial Summaries
Nigel Bevan, Serco Usability Services, UK
pp. 819
Rick Kazman, Carnegie Mellon University, Pittsburgh, PA
Mark Klein, Carnegie Mellon University, Pittsburgh, PA
pp. 820
Karl J. Lieberherr, Northeastern University, Boston, MA
David H. Lorenz, Northeastern University, Boston, MA
Mira Mezini, University of Siegen, Germany
pp. 821
Steve Vinoski, IONA Technologies, Waltham, MA
pp. 822
Pankaj Jalote, Indian Institute of Technology Kanpur
pp. 823
Robert L. Nord, SCR/SEI, Pittsburgh, PA
Daniel J. Paulish, Siemens Corporate Research, Princeton, NJ
Dilip Soni, Siemens Corporate Research, Princeton, NJ
pp. 824
Cristina Videira Lopes, Xerox Palo Alto Research Center, CA
Gregor Kiczales, University of British Columbia, Canada
pp. 825
Steve Vinoski, IONA Technologies, Waltham, MA
pp. 826
Hassan Gomaa, George Mason University, Fairfax, Virginia
pp. 829
Kenji Takahashi, Information Sharing Platform Labs, NTT, Japan
Wolfgang Emmerich, University College London, UK
Anthony Finkelstein, University College London, UK
Sofia Guerra, University College London, UK
pp. 830
Bev Littlewood, City University, Northampton Square, UK
Lorenzo Strigini, City University, Northampton Square, UK
pp. 831
Joseph (Yossi) Gil, Israel Institute of Technology
John Howse, University of Brighton, UK
Stuart Kent, The University, Canterbury, UK
pp. 833
Gian Pietro Picco, Politecnico di Milano, Italy
pp. 834
Bev Littlewood, Centre for Software Reliability, City University, UK
Lorenzo Strigini, Centre for Software Reliability, City University, UK
pp. 835
Victor Basili, University of Maryland and Fraunhofer Center for Experimental Software Engineering, Maryland
Oliver Laitenberger, Fraunhofer Institute for Experimental Software Engineering, Germany
Forrest Shull, Fraunhofer Center for Experimental Software Engineering, Maryland
Ioana Rus, Fraunhofer Center for Experimental Software Engineering, Maryland
pp. 836
Usage of this product signifies your acceptance of the Terms of Use.