The Community for Technology Leaders
RSS Icon
Subscribe
Software Engineering, International Conference on (2000)
Limerick, Ireland
June 4, 2000 to June 11, 2000
ISBN: 1-58113-206-9
TABLE OF CONTENTS
Foreword (PDF)
pp. xv
Invited Presentations
Manuel Castells , University of California at Berkeley
pp. 2
Grady Booch , Catapulse
pp. 3
Chris Horn , Founder and CEO of IONA Technologies plc., Dublin, Ireland
pp. 4
Axel van Lamsweerde , Universit? catholique de Louvain, Belgium
pp. 5
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
Jan Gerben Wijnstra , Philips Research Laboratories, The Netherlands
pp. 50
Juha Kuusela , Nokia Research Center
Juha Savolainen , Helsinki University of Technology, Finland
pp. 60
Yusuf Pisan , Macquarie University, Sydney
pp. 69
New Perspectives on Software Engineering
Data Analysis
Robert S. Brewer , University of Hawaii, Manoa
pp. 95
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
Andreas Rausch , Technishce Universit?t M?nchen, Germany
pp. 147
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
Amir Michail , University of Washington, Seattle
pp. 167
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
Ray Dawson , Loughborough University, UK
pp. 209
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
Tevfik Bultan , University of California, Santa Barbara
pp. 335
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
Adrian M. Colyer , IBM United Kingdom Limited
pp. 569
Tetsuto Nishiyama , OMRON Corporation, Japan
Kunihiko Ikeda , OMRON Corporation, Japan
Toru Niwa , OMRON Corporation, Japan
pp. 577
Support For Effective Project Estimation
Technology Transfer In The Internet World
From Research To Business Success I
Sean Baker , IONA Technologies, Ireland
pp. 609
Practical Experience: Company Case Studies I
Practical Experience: Company Case Studies II
Fran O'Hara , Insight Consulting Ltd., Ireland
pp. 635
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
Helen Sharp , City University, UK
Pat Hall , The Open University, UK
pp. 688
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
Radu Iosif , Politecnico di Torino, Italy
pp. 707
Marek Paralic , Technical University of Kosice, Slovak Republic
pp. 716
Gl?dson Elias da Silveira , Federal University of Pernambuco, Brazil
pp. 719
Mel ? Cinn?ide , University College Dublin, Ireland
pp. 722
Michael W. Whalen , University of Minnesota, MN
pp. 725
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
Distributed Systems Group , Trinity College Dublin
Department of Computer Science , Trinity College Dublin
pp. 779
K. Suzanne Barber , The University of Texas at Austin, TX
Stephen R. Jernigan , The University of Texas at Austin, TX
pp. 780
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
Frank Maurer , University of Calgary, Canada
pp. 807
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
Don Batory , University of Texas at Austin
pp. 832
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
Author Index (PDF)
pp. 840
24 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool