The Community for Technology Leaders
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

Is the New Economy Socially Sustainable? (PDF)

Manuel Castells , University of California at Berkeley
pp. 2

Dot com Versus Bricks and Mortar The Impact of Portal Technology (PDF)

Chris Horn , Founder and CEO of IONA Technologies plc., Dublin, Ireland
pp. 4

Requirements Engineering in the Year 00: A Research Perspective (Abstract)

Axel van Lamsweerde , Universit? catholique de Louvain, Belgium
pp. 5
Components And COTS

A Case Study: Demans on Component-based Development (Abstract)

Ivica Crnkovic , M?lardalen University, Sweden
Magnus Larsson , ABB Automation Products AB, Sweden
pp. 22

Investigating and Improving a COTS-Based Software Development Process (Abstract)

M. Morisio , University of Maryland, College Park
V. R. Basili , University of Maryland, College Park; Fraunhofer Center Maryland, College Park
C. B. Seaman , University of Maryland Baltimore County; Fraunhofer Center Maryland, College Park
S. E. Condon , Computer Sciences Corporation, Greenbelt, MD
A. T. Parra , Computer Sciences Corporation, Greenbelt, MD
S. E. Kraft , NASA/Goddard Space Flight Center
pp. 31

PPT: A COTS Integration Case Study (Abstract)

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

Supporting Diversity with Component Frameworks as Architectural Elements (Abstract)

Jan Gerben Wijnstra , Philips Research Laboratories, The Netherlands
pp. 50

Requirements Engineering for Product Families (Abstract)

Juha Kuusela , Nokia Research Center
Juha Savolainen , Helsinki University of Technology, Finland
pp. 60

Extending Requirement Specifications Using Analogy (Abstract)

Yusuf Pisan , Macquarie University, Sydney
pp. 69
New Perspectives on Software Engineering
Data Analysis

Broad-Spectrum Studies of Log File Analysis (Abstract)

Yingjun Zhang , Univ. of Western Ontario
James H. Andrews , Univ. of Western Ontario
pp. 105
Testing I

Multivariate Visualization in Observation-Based Testing (Abstract)

Lee J. White , Case Western Reserve University, Cleveland, Ohio
David Leon , Case Western Reserve University, Cleveland, Ohio
Andy Podgurski , Case Western Reserve University, Cleveland, Ohio
pp. 116

An Empirical Study of Regression Test Application Frequency (Abstract)

Adam Porter , Univ. of Maryland, College Park
Gregg Rothermel , Oregon State University
Jung-Min Kim , Univ. of Maryland, College Park
pp. 126

Testing Levels for Object-Oriented Software (Abstract)

Y. Labiche , LAAS-CNRS/LIS
P. Thevenod-Fosse , LAAS-CNRS/LIS
M.-H Durand , Aerospatiale Matra Airbus/LIS
H. Waeselynck , LAAS-CNRS/LIS
pp. 136
Evolution And Reuse

An Integrated Cost Model for Software Reuse (Abstract)

L. Zhang , West Virginia University, Morgantown, WV
R. Gottumukkala , West Virginia University, Morgantown, WV
A. Mili , West Virginia University, Morgantown, WV
S. Fowler Chmiel , West Virginia University, Morgantown, WV
pp. 157
Component-Based Systems

Towards a Taxonomy of Software Connectors (Abstract)

Sandeep Phadke , University of Southern California, Los Angeles
Nenad Medvidovic , University of Southern California, Los Angeles
Nikunj R. Mehta , University of Southern California, Los Angeles
pp. 178

A Formal Approach for Designing CORBA based Applications (Abstract)

Matteo Pradella , Politecnico di Milano, Italy
Dino Mandrioli , Politecnico di Milano, Italy
Alberto Coen-Porisini , Universit? di Lecce, Italy
Matteo Rossi , Politecnico di Milano, Italy
pp. 188
Software Engineering Training

Simulation in Software Engineering Training (Abstract)

Anke Drappa , University of Stuttgart, Germany
Jochen Ludewig , University of Stuttgart, Germany
pp. 199

Twenty Dirty Tricks to Train Software Engineers (Abstract)

Ray Dawson , Loughborough University, UK
pp. 209
Testing II

Deriving Test Plans from Architectural Descriptions (Abstract)

H. Muccini , Universit? di L'Agquila, Italy
P. Inverardi , Universit? di L'Agquila, Italy
F. Corradini , Universit? di L'Agquila, Italy
A. Bertolino , Istituto di Elaborazione dell'Informazione, Pisa, Italy
pp. 220

WYSIWYT Testing in the Spreadsheet Paradigm: An Empirical Evaluation (Abstract)

T. R. G. Green , University of Leeds, UK
Karen J. Rothermel , Oregon State University, Corvallis, OR
Justin Schonfeld , Oregon State University, Corvallis, OR
Margaret M. Burnett , Oregon State University, Corvallis, OR
Gregg Rothermel , Oregon State University, Corvallis, OR
Curtis R. Cook , Oregon State University, Corvallis, OR
pp. 230
Software Architecture

Integrating UML Diagrams for Production Control Systems (Abstract)

Albert Z?ndorf , University of Paderborn, Germany
Ulrich Nickel , University of Paderborn, Germany
Hans J. K?hler , University of Paderborn, Germany
J?rg Niere , University of Paderborn, Germany
pp. 241

Dragonfly: Linking Conceptual and Implementation Architectures of Multiuser Interactive Systems (Abstract)

Timothy N. Wright , University of Canterbury, New Zealand
Gary E. Anderson , Queen's University, Kingston, Canada
T. C. Nicholas Graham , Queen's University, Kingston, Canada
pp. 252
Open Source And Software Markets

A Case Study of Open Source Software Development: The Apache Server (Abstract)

Roy T. Fielding , University of California, Irvine
James Herbsleb , Naperville, IL
Audris Mockus , Naperville, IL
pp. 263

Multiple Mass-Market Applications as Components (Abstract)

Kevin J. Sullivan , University of Virginia, Charlottesville
David Coppit , University of Virginia, Charlottesville
pp. 273
Software Engineering Education
System Model Derivation

Inference of Message Sequence Charts (Abstract)

Kousha Etessami , Bell Labs
Mihalis Yannakakis , Bell Labs
Rajeev Alur , U. of Pennsylvania; Bell Labs
pp. 304

Gnerating Statechart Designs From Scenarios (Abstract)

Jon Whittle , NASA Ames Research, Moffett Field, CA
Johann Schumann , NASA Ames Research, Moffett Field, CA
pp. 314
Model Checking

Three Approximation Techniques for ASTRAL Symbolic Model Checking of Infinite State Real-time Systems (Abstract)

Richard A. Kemmerer , University of California, Santa Barbara
Zhe Dang , University of California, Santa Barbara
pp. 345
Program Analysis I

Component Design of Retargetable Program Analysis Tools that Reuse Intermediate Representations (Abstract)

James Hayes , University of California, San Diego
William G. Griswold , University of California, San Diego
Stuart Moskovics , Motorola, BCS, San Diego, CA
pp. 356

Light-Weight Context Recovery for Efficient and Accurate Program Analyses (Abstract)

Donglin Liang , Georgia Institute of Technology, Atlanta
Mary Jean Harrold , Georgia Institute of Technology, Atlanta
pp. 366
Empirical Studies

A replicated Assessment and Comparison of Common Software Cost Modeling Techniques (Abstract)

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

Characterization of Risky Projects based on Project Managers' Evaluation (Abstract)

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

Implementing Incremental Code Migration with XML (Abstract)

Anthony Finkelstein , University College London, UK
Wolfgang Emmerich , University College London, UK
Cecilia Mascolo , University College London, UK
pp. 397

Principled Design of the ModernWeb Architecture (Abstract)

Richard N. Taylor , University of California, Irvine
Roy T. Fielding , University of California, Irvine
pp. 407
Case Studies

A Study on Exception Detection and Handling Using Aspect-Oriented Programming (Abstract)

Martin Lippert , University of Hamburg, Germany
Cristina Videira Lopes , Xerox Palo Alto Research Center, CA
pp. 418

A Case Study in Root Cause Defect Analysis (Abstract)

Dewayne E. Perry , The University of Texas at Austin
Dieter Stoll , Lucent Technologies, Germany
Marek Leszak , Lucent Technologies, Germany
pp. 428
Program Analysis II

Bandera: Extracting Finite-state Models from Java Source Code (Abstract)

John Hatcliff , Kansas State University, Manhattan
Corina S. Pasareanu , Kansas State University, Manhattan
James C. Corbett , University of Hawii, Honolulu
Robby , Kansas State University, Manhattan
Shawn Laubach , Kansas State University, Manhattan
Matthew B. Dwyer , Kansas State University, Manhattan
Hongjun Zheng , Kansas State University, Manhattan
pp. 439

Quickly Detecting Relevant Program Invariants (Abstract)

Michael D. Ernst , University of Washington, Seattle
Adam Czeisler , University of Washington, Seattle
David Notkin , University of Washington, Seattle
William G. Griswold , University of California San Diego
pp. 449
Review And Inspection Techniques

Characterizing implicit information during Peer Review Meetings (Abstract)

Patrick d'Astous , ?cole Polytechnique de Montr?al, Canada
Pierre N. Robillard , ?cole Polytechnique de Montr?al, Canada
pp. 460

Object-Oriented Inspection in the Face of Delocalisation (Abstract)

Alastair Dunsmore , University of Strathclyde, Livingstone Tower, Scotland
Murray Wood , University of Strathclyde, Livingstone Tower, Scotland
Marc Roper , University of Strathclyde, Livingstone Tower, Scotland
pp. 467
Verification And Proofs

An Inheritance-Based Technique for Building Simulation Proofs Incrementally (Abstract)

Idit Keidar , MIT Lab for Computer Science, Cambridge, MA
Alex Shvartsman , University of Connecticut, Storrs
Nancy Lynch , MIT Lab for Computer Science, Cambridge, MA
Roger Khazan , MIT Lab for Computer Science, Cambridge, MA
pp. 478

Verification of Time Partitioning in the DEOS Scheduler Kernel (Abstract)

Nicholas Weininger , Honeywell Technology Center, Minneapolis, MN
Willem Visser , NASA Ames Research Center, Moffet Field, CA
John Penix , NASA Ames Research Center, Moffet Field, CA
Aaron Larson , Honeywell Technology Center, Minneapolis, MN
Eric Engstrom , Honeywell Technology Center, Minneapolis, MN
pp. 488
Visual Techniques

Graphical Animation of Behavior Models (Abstract)

Jeff Kramer , Imperial College of Science, UK
Dimitra Giannakopoulou , Imperial College of Science, UK
Jeff Magee , Imperial College of Science, UK
Nat Pryce , Imperial College of Science, UK
pp. 499

Towards the Principled Design of Software Engineering Diagrams (Abstract)

Konstantinos Tourlas , University of Edinburgh, UK
Corin Gurr , University of Edinburgh, UK
pp. 509
Technology Transfer "In The Large"

Fraunhofer: The German Model for Applied Research and Technology Transfer (Abstract)

Dieter Rombach , Fraunhofer IESE & University of Kaiserslautern, Germany
pp. 531
Professionalization of Software Engineering

Software Needs Engineering (Abstract)

Hans-J?rgen Kugler , Delgany, Co. Wicklow, Ireland
Jane B. Grimson , Trinity College, Ireland
pp. 541
Experience With A Product Line And Family Approach

An Approach to Architectural Analysis of Product Lines (Abstract)

Robyn R. Lutz , Arizona State University, Tempe
Gerald C. Gannod , Arizona State University, Tempe
pp. 548

Introducing a Software Modeling Concept in a Medium-Sized Company (Abstract)

Klaus Schmid , Software Engineering (IESE), Germany
Ulrike Becker-Kornstaedt , Software Engineering (IESE), Germany
Florian Bernauer , Markant S?dwest Software und Dienstleistungs GmbH, Germany
Peter Knauber , Software Engineering (IESE), Germany
pp. 558
Technology Transfer As Explicit Business And Process Issue

Technology Transfer Macro-Process A Practical Guide for the Effective Introduction of Technology (Abstract)

Tetsuto Nishiyama , OMRON Corporation, Japan
Toru Niwa , OMRON Corporation, Japan
Kunihiko Ikeda , OMRON Corporation, Japan
pp. 577
Support For Effective Project Estimation
Technology Transfer In The Internet World
From Research To Business Success I

The Making of Orbix and the iPortal Suite (Abstract)

Sean Baker , IONA Technologies, Ireland
pp. 609
Practical Experience: Company Case Studies I
Practical Experience: Company Case Studies II

European Experiences with Software Process Improvement (Abstract)

Fran O'Hara , Insight Consulting Ltd., Ireland
pp. 635

Software Process Improvement by Object Technology (ESSI PIE 27785 - SPOT) (Abstract)

Massimo Autiero , Cali? Informatica Srl, Italy
Giuseppe Bux , Tecnopolis CSATA Scrl, Italy
Antonio Cali? , Cali? Informatica Srl, Italy
pp. 641
Professional Software Engineering And The Bazaar

Daily build and feature development in large distributed projects (Abstract)

Per Leion , Ericsson Radio Systems AB, Sweden
Even-Andr? Karlsson , Q-Labs, Sweden
Lars-G?ran Andersson , Ericsson Radio Systems AB, Sweden
pp. 649
Panels

Why Don't We Get More (Self?) Respect: The Positive Impact of Software Engineering Research upon Practice (PDF)

Jeff Kramer , Imperial College
Mike Evangelist , National Science Foundation
Barry W. Boehm , University of Southern California
Edward F. Miller, Jr. , Software Research Associates
Volker Gruhn , University of Dortmund
Leon Osterweil , University of Massachusetts at Amherst
pp. 660

Component-Based Software Engineering and the Issue of Trust (Abstract)

Bill Councill , Texas Quintessence Corporation, Plano, TX
George T. Heineman , Computer Science Department, WPI, Worcester, MA
pp. 661

Shortages of Qualified Software Engineering Faculty and Practitioners: Challenges in Breaking the Cycle (Abstract)

Donald J. Bagert , Texas Tech University, Lubbock
Nancy R. Mead , Software Engineering Institute, Pittsburgh, PA
G?nther Ruhe , Fraunhofer Institute for Experimental Software Engineering IESE
Hossein Saiedian , University of Nebraska at Omaha
pp. 665

Who Needs Doctors? (PDF)

Jeff Magee , Imperial College, London, UK
Mauro Pezz? , Politecnico di Milano, Italy
pp. 669
Formal Teaching Demonstrations

Multibook's Test Environment (Abstract)

Abdulmotaleb El Saddik , Darmstadt University of Technology, Germany
Nathalie Poerwantoro , FernUniversit?t Hagen, Germany
Ralf Steinmetz , Darmstadt University of Technology, Germany
Bernd Kr?mer , FernUniversit?t Hagen, Germany
pp. 680

E-Slate: a software architectural style for end-user programming (Abstract)

Kriton Kyrimis , Computer Technology Institute, Greece
Manolis Koutlis , Computer Technology Institute, Greece
George Birbilis , Computer Technology Institute, Greece
George Vasiliou , Computer Technology Institute, Greece
George Tsironis , Computer Technology Institute, Greece
pp. 684
Doctoral Workshop

The ICSE2000 Doctoral Workshop (PDF)

Mauro Pezz? , Politecnico di Milano, Italy
Jeff Magee , Imperial College, London, UK
pp. 697

A Logical Framework for Design Composition (Abstract)

Jing Dong , University of Waterloo, Ontario, Canada
pp. 698

Algorithmic Cost Estimation for Software Evolution (Abstract)

Juan F. Ramil , Imperial College of Science, London, UK
pp. 701

Formal Verification Applied to Java Concurrent Software (Abstract)

Radu Iosif , Politecnico di Torino, Italy
pp. 707

Contribution to simplifying the mobile agent programming (Abstract)

Marek Paralic , Technical University of Kosice, Slovak Republic
pp. 716

Spontaneous Software: A Web-based, Object Computing Paradigm (Abstract)

Gl?dson Elias da Silveira , Federal University of Pernambuco, Brazil
pp. 719

Automated Refactoring to Introduce Design Patterns (Abstract)

Mel ? Cinn?ide , University College Dublin, Ireland
pp. 722
Formal Research Demonstrations

Alcoa: The Alloy Constraint Analyzer (Abstract)

Ilya Shlyakhter , Massachusetts Institute of Technology
Daniel Jackson , Massachusetts Institute of Technology
Ian Schechter , Massachusetts Institute of Technology
pp. 730

Hyper/J<sup>TM</sup>: Multi-Dimensional Separation of Concerns for Java<sup>TM</sup> (Abstract)

Harold Ossher , IBM Thomas J. Watson Research Center, Yorktown Heights, NY
Peri Tarr , IBM Thomas J. Watson Research Center, Yorktown Heights, NY
pp. 734

A Software Engineering Approach and Tool Set for Developing Internet Applications (Abstract)

Beth A. Perdue , OpenProcess, Inc., Auburndale, MA
David A. Marca , OpenProcess, Inc., Auburndale, MA
pp. 738

The FUJABA Environment (Abstract)

Ulrich Nickel , University of Paderborn, Germany
Albert Z?ndorf , University of Paderborn, Germany
J?rg Niere , University of Paderborn, Germany
pp. 742

Managing software artifacts on the Web with Labyrinth (Abstract)

Alfonso Fuggetta , CEFRIEL - Politecnico di Milano, Italy
Elisabetta Di Nitto , CEFRIEL - Politecnico di Milano, Italy
Fabiano Cattaneo , CEFRIEL - Politecnico di Milano, Italy
Giuseppe Valetto , CEFRIEL - Politecnico di Milano, Italy
Luigi Lavazza , CEFRIEL - Politecnico di Milano, Italy
pp. 746

Galileo: A Tool Built From Mass-Market Applications (Abstract)

David Coppit , University of Virginia, Charlottesville
Kevin J. Sullivan , University of Virginia, Charlottesville
pp. 750

Little-JIL/Juliette: A Process Definition Language and Interpreter (Abstract)

Barbara Staudt Lerner , University of Massachusetts, Amherst
Alexander Wise , University of Massachusetts, Amherst
Leon J. Osterweil , University of Massachusetts, Amherst
Eric K. McCall , University of Massachusetts, Amherst
Stanley M. Sutton Jr. , University of Massachusetts, Amherst
Aaron G. Cass , University of Massachusetts, Amherst
pp. 754

Analyzing Software Architectures with Argus-I (Abstract)

Marcio S. Dias , University of California, Irvine
Marlon E. R. Vieira , University of California, Irvine
Debra J. Richardson , University of California, Irvine
pp. 758

Bandera: A Source-level Interface for Model Checking Java Programs (Abstract)

Matthew B. Dwyer , Kansas State University, Manhattan
Robby , Kansas State University, Manhattan
John Hatcliff , Kansas State University, Manhattan
James C. Corbett , University of Hawai'i, Honolulu
pp. 762

Developing Mobile Computing Applications with LIME (Abstract)

Gruia-Catalin Roman , Washington University in St. Louis, MO
Amy L. Murphy , Washington University in St. Louis, MO
Gian Pietro Picco , Politecnico di Milano, Italy
pp. 766
Posters

Component Composition (PDF)

Bart Wydaeghe , Vrije Universiteit Brussel, Belgium
Bart Michiels , Vrije Universiteit Brussel, Belgium
pp. 771

Third Eye - Specification-Based Analysis of Software Execution Traces (PDF)

Rahav Yairi , Nokia Research Center, Burlington, MA
Alexander Ran , Nokia Research Center, Burlington, MA
Raimondas Lencevicius , Nokia Research Center, Burlington, MA
pp. 772

Empirical Investigation of a Novel Approach to Check the Integrity of Software Engineering Measuring Processes (PDF)

Skylar Lei , University of Calgary, Canada
Giancarlo Succi , University of Alberta, Canada
Michael Smith , University of Calgary, Canada
pp. 773

A Culture-Centered Multilevel Software Process Cycle Model (PDF)

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

Using Application States in Software Testing (PDF)

Chang Liu , University of California, Irvine
Debra J. Richardson , University of California, Irvine
pp. 776

Effort Estimation from Change Records of Evolving Software (PDF)

Meir M. Lehman , Imperial College of Science, London, UK
Juan F. Ramil , Imperial College of Science, London, UK
pp. 777

As Strong As Possible Mobility (PDF)

Distributed Systems Group , Trinity College Dublin
Department of Computer Science , Trinity College Dublin
pp. 779

Hybrid Domain Representation Archive (HyDRA) for Requirements Model Synthesis across Viewpoints (PDF)

Stephen R. Jernigan , The University of Texas at Austin, TX
K. Suzanne Barber , The University of Texas at Austin, TX
pp. 780

DeBOT - An Approach for Constructing High Performance, Scalable Distributed Object Systems (PDF)

Paul Greenfield , CSIRO Mathematical and Information Sciences, Sydney, Australia
Ian Gorton , CSIRO Mathematical and Information Sciences, Sydney, Australia
Anna Liu , CSIRO Mathematical and Information Sciences, Sydney, Australia
pp. 782

Exploring O-O Framework Usage (PDF)

Paul Sorenson , University of Alberta, Canada
Amr Kamel , University of Alberta, Canada
Garry Froehlich , University of Alberta, Canada
pp. 783
Research Exhibition Demonstrations

Tracking, Predicting and Assessing Software Reuse Costs: An Automated Tool (PDF)

L. Zhang , West Virginia University, Morgantown
A. Mili , West Virginia University, Morgantown
S. Fowler Chmiel , West Virginia University, Morgantown
R. Gottumukkala , West Virginia University, Morgantown
pp. 785

Holmes: A System to Support Software Product Lines (PDF)

Witold Pedrycz , The University of Alberta, Canada
Eric Liu , University of Calgary, Canada
Giancarlo Succi , The University of Alberta, Canada
Jason Yip , University of Calgary, Canada
pp. 786

Supporting Dynamic Composition of Components (PDF)

Raymond Wong , University of Alberta, Canada
Eric Liu , University of Calgary, Canada
Giancarlo Succi , University of Alberta, Canada
Michael Smith , University of Calgary, Canada
pp. 787

Prompter - A Project Planning Assistant (PDF)

Rory O'Connor , Dublin City University, Glasnevin
Robert Cochran , Blanchardstown Plaza
Tony Moynihan , Dublin City University, Glasnevin
pp. 788

Visualizing Software Release Histories with 3DSoftVis (PDF)

Claudio Riva , Nokia Research Center, Helsinki, Finland
pp. 789

Legacy Systems Migration in CelLEST (PDF)

Eleni Stroulia , University of Alberta, Canada
Roland Penner , University of Alberta, Canada
Mohammad El-Ramly , University of Alberta, Canada
Paul Sorenson , University of Alberta, Canada
pp. 790

Process Engineering with Spearmint<sup>TM</sup>/EPG (PDF)

J? Zettel , Fraunhofer IESE, Germany
Louise Scott , Fraunhofer IESE, Germany
Ulrike Becker-Kornstaedt , Fraunhofer IESE, Germany
pp. 791
Workshop Summaries

An Overview of the ICSE 2000 Workshop Program (PDF)

Gail C. Murphy , University of British Columbia, Vancouver, Canada
Antonia Bertolino , IEI-CNR, Pisa, Italy
pp. 793

Second ICSE Workshop on Web Engineering (PDF)

San Murugesan , University of Western Sydney Macarthur, Australia
Yogesh Deshpande , University of Western Sydney Macarthur, Australia
pp. 794

The First International Workshop on Automated Program Analysis, Testing and Verification (PDF)

Willem C. Visser , NASA Ames Research Center, Moffett Field, CA
Nigel Tracey , University of York, Heslington, UK
John Penix , NASA Ames Research Center, Moffett Field, CA
pp. 796

COTS Workshop: Continuing Collaborations for Successful COTS Development (PDF)

Cornelius Ncube , City University
Morven Gentleman , National Research Council
Jeffrey Voas , Reliable Software Technologies
Anatol Kark , National Research Council
Ron Kohl , Averstar
Tricia Oberndorf , Software Engineering Institute
John Foreman , Software Engineering Institute
Thuy Nguyen , Electricit? de France (EDF)
Joan Antoni Pastor-Collado , Universitat Polit?cnica de Catalunya
John Dean , National Research Council Canada
Mark Vigder , National Research Council Canada
pp. 797

The Second International Symposium on Constructing Software Engineering Tools (CoSET2000) (PDF)

Louise Scott , Fraunhofer IESE, Germany
Jonathan Gray , University of Wollongong, Australia
Ian Ferguson , University of Sunderland, UK
pp. 801

Design, Specification, and Verification of Interactive Systems (PDF)

Fabio Patern? , CNUCE-CNR, Pisa, Italy
Philippe Palanque , LIHS, Univ. Toulouse I, France
pp. 803

Workshop on Standard Exchange Format (WoSEF) (PDF)

Susan Elliott Sim , University of Toronto, Canada
Rainer Koschke , Universit?t Stuttgart, Germany
Ric Holt , University of Waterloo, Canada
pp. 805

Workshop on Multi-Dimensional Separation of Concerns in Software Engineering (PDF)

Anthony Finkelstein , University College London, UK
Bashar Nuseibeh , Imperial College, UK
Dewayne Perry , University of Texas at Austin
Peri Tarr , IBM T. J. Watson Research Center
William Harrison , IBM T. J. Watson Research Center
Harold Ossher , IBM T. J. Watson Research Center
pp. 809

Software Product Lines: Economics, Architectures, and Applications (PDF)

Giancarlo Succi , The University of Alberta, Canada
Peter Knauber , Fraunhofer Institute for Experimental Software Engineering (IESE), Germany
pp. 814

Agent-Oriented Software Engineering (PDF)

Paolo Ciancarini , University of Bologna, Italy
Michael Wooldridge , University of Liverpool, UK
pp. 816
Tutorial Summaries

Specifying and Measuring Quality in Use (PDF)

Nigel Bevan , Serco Usability Services, UK
pp. 819

Designing and Analyzing Software Architectures using ABASs (PDF)

Mark Klein , Carnegie Mellon University, Pittsburgh, PA
Rick Kazman , Carnegie Mellon University, Pittsburgh, PA
pp. 820

Building Modular Object-Oriented Systems with Reusable Collaborations (PDF)

David H. Lorenz , Northeastern University, Boston, MA
Mira Mezini , University of Siegen, Germany
Karl J. Lieberherr , Northeastern University, Boston, MA
pp. 821

Introduction to CORBA (PDF)

Steve Vinoski , IONA Technologies, Waltham, MA
pp. 822

Moving from ISO9000 to Higher Levels of the CMM (PDF)

Pankaj Jalote , Indian Institute of Technology Kanpur
pp. 823

Planning Realistic Schedules Using Software Architecture (PDF)

Robert L. Nord , SCR/SEI, Pittsburgh, PA
Dilip Soni , Siemens Corporate Research, Princeton, NJ
Daniel J. Paulish , Siemens Corporate Research, Princeton, NJ
pp. 824

Improving Design and Source Code Modularity Using AspectJ<sup>TM</sup> (PDF)

Gregor Kiczales , University of British Columbia, Canada
Cristina Videira Lopes , Xerox Palo Alto Research Center, CA
pp. 825

Scalability Issues in CORBA-based Systems (PDF)

Steve Vinoski , IONA Technologies, Waltham, MA
pp. 826

Designing Real-Time and Distributed Applications with the UML (PDF)

Hassan Gomaa , George Mason University, Fairfax, Virginia
pp. 829

System Development Using Application Services over the Net (PDF)

Wolfgang Emmerich , University College London, UK
Kenji Takahashi , Information Sharing Platform Labs, NTT, Japan
Anthony Finkelstein , University College London, UK
Sofia Guerra , University College London, UK
pp. 830

Software reliability: basic concepts and assessment methods (PDF)

Lorenzo Strigini , City University, Northampton Square, UK
Bev Littlewood , City University, Northampton Square, UK
pp. 831

Product-Line Architectures, Aspects, and Reuse (PDF)

Don Batory , University of Texas at Austin
pp. 832

Advanced Visual Modeling: Beyond UML (PDF)

Stuart Kent , The University, Canterbury, UK
John Howse , University of Brighton, UK
Joseph (Yossi) Gil , Israel Institute of Technology
pp. 833

Understanding Code Mobility (PDF)

Gian Pietro Picco , Politecnico di Milano, Italy
pp. 834

Fault tolerance via diversity against design faults: design principles and reliability assessment (PDF)

Lorenzo Strigini , Centre for Software Reliability, City University, UK
Bev Littlewood , Centre for Software Reliability, City University, UK
pp. 835

Improving Software Inspections by Using Reading Techniques (PDF)

Forrest Shull , Fraunhofer Center for Experimental Software Engineering, Maryland
Oliver Laitenberger , Fraunhofer Institute for Experimental Software Engineering, Germany
Victor Basili , University of Maryland and Fraunhofer Center for Experimental Software Engineering, Maryland
Ioana Rus , Fraunhofer Center for Experimental Software Engineering, Maryland
pp. 836

Author Index (PDF)

pp. 840
79 ms
(Ver 3.1 (10032016))