The Community for Technology Leaders
Proceedings of International Conference on Software Engineering (2000)
Limerick, Ireland
June 9, 2000 to June 9, 2000
ISSN: 0270-5257
ISBN: 1-58113-206-9
TABLE OF CONTENTS

Is the new economy socially sustainable? (PDF)

M. Castells , University of California at Berkeley
pp. 2

The future of software (Abstract)

G. Booch , Chief Technical Officer, Catapulse, USA
pp. 3

Dot com versus bricks and mortar the impact of portal technology (Abstract)

C. Horn , Founder and CEO of IONA Technologies plc.
pp. 4

Requirements engineering in the year 00: a research perspective (Abstract)

A. van Lamsweerde , Dept. d'Ingenierie Inf., Univ. Catholique de Louvain, Belgium
pp. 5-19

A case study: demands on component-based development (Abstract)

I. Crnkovic , Dept. of Comput. Eng., Malardalen Univ., Vasteras, Sweden
pp. 23-31

PPT: a COTS integration case study (Abstract)

L.D. Balk , T. Rowe Price Investment Technol., Baltimore, MD, USA
pp. 42-49

Supporting diversity with component frameworks as architectural elements (Abstract)

J.G. Wijnstra , Philips Res. Lab., Eindhoven, Netherlands
pp. 51-60

Requirements engineering for product families (Abstract)

J. Kuusela , Software Technol. Lab., Nokia Res. Center, Espoo, Finland
pp. 61-69

Extending requirement specifications using analogy (Abstract)

Y. Pisan , Dept. of Comput., Macquarie Univ., North Ryde, NSW, Australia
pp. 70-76

Improving problem-oriented mailing list archives with MCS (Abstract)

R.S. Brewer , Dept. of Inf. & Comput. Sci., Hawaii Univ., Honolulu, HI, USA
pp. 95-104

Broad-spectrum studies of log file analysis (Abstract)

J.H. Andrews , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
pp. 105-114

Multivariate visualization in observation-based testing (Abstract)

D. Leon , Dept. of Electr. Eng. & Comput. Sci., Case Western Reserve Univ., Cleveland, OH, USA
pp. 116-125

An empirical study of regression test application frequency (Abstract)

Jung-Min Kim , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 126-135

Testing levels for object-oriented software (Abstract)

Y. Labiche , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
pp. 136-145

Software evolution in componentware using requirements/assurances contracts (Abstract)

A. Rausch , Inst. fur Inf., Tech. Univ. Munchen, Germany
pp. 147-156

An integrated cost model for software reuse (Abstract)

A. Mili , West Virginia Univ., Morgantown, WV, USA
pp. 157-166

Data mining library reuse patterns using generalized association rules (Abstract)

A. Michail , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
pp. 167-176

Towards a taxonomy of software connectors (Abstract)

N.R. Mehta , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
pp. 178-187

A formal approach for designing CORBA based applications (Abstract)

M. Pradella , Dipt. di Elettronica e Inf., Politecnico di Milano, Italy
pp. 188-197

Simulation in software engineering training (Abstract)

A. Drappa , Dept. of Comput. Sci., Stuttgart Univ., Germany
pp. 199-208

Twenty dirty tricks to train software engineers (Abstract)

R. Dawson , Dept. of Comput. Sci., Loughborough Univ. of Technol., UK
pp. 209-218

Deriving test plans from architectural descriptions (Abstract)

A. Bertolino , Ist. di Elaborazione dell'Inf., CNR, Pisa, Italy
pp. 220-229

Integrating UML diagrams for production control systems (Abstract)

H.J. Kohler , Dept. of Comput. Sci., Paderborn Univ., Germany
pp. 241-251

Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems (Abstract)

G.E. Anderson , Dept. of Comput. & Inf. Sci., Queen's Univ., Kingston, Ont., Canada
pp. 252-261

Multiple mass-market applications as components (Abstract)

D. Coppit , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
pp. 273-282

Developing and deploying software engineering courseware in an adaptable curriculum framework (Abstract)

W.R. Adrion , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 284-292

Achieving industrial relevance with academic excellence: lessons from the Oregon master of software engineering (Abstract)

S.R. Faulk , Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR, USA
pp. 293-302

Inference of message sequence charts (Abstract)

R. Alur , Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
pp. 304-313

Generating statechart designs from scenarios (Abstract)

J. Whittle , NASA Ames Res. Center, Moffett Field, CA, USA
pp. 314-323

Object model resurrection-an object oriented maintenance activity (Abstract)

G.V. Subramaniam , NORTEL Networks, Richardson, TX, USA
pp. 324-333

Action Language: a specification language for model checking reactive systems (Abstract)

T. Bultan , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
pp. 335-344

Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems (Abstract)

Zhe Dang , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
pp. 345-354

Component design of retargetable program analysis tools that reuse intermediate representations (Abstract)

J. Hayes , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 356-365

Light-weight context recovery for efficient and accurate program analyses (Abstract)

Donglin Liang , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 366-375

A replicated assessment and comparison of common software cost modeling techniques (Abstract)

L.C. Briand , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
pp. 377-386

Characterization of risky projects based on project managers evaluation (Abstract)

O. Mizuno , Graduate Sch. of Eng. Sci., Osaka Univ., Japan
pp. 387-395

Implementing incremental code migration with XML (Abstract)

W. Emmerich , Dept. of Comput. Sci., Univ. Coll. London, UK
pp. 397-406

Principled design of the modern Web architecture (Abstract)

R.T. Fielding , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 407-416

A study on exception detection and handling using aspect-oriented programming (Abstract)

M. Lippert , Dept. of Comput. Sci., Hamburg Univ., Germany
pp. 418-427

A case study in root cause defect analysis (Abstract)

M. Leszak , Opt. Networking Group, Lucent Technol., Nuernberg, Germany
pp. 428-437

Quickly detecting relevant program invariants (Abstract)

M.D. Ernst , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
pp. 449-458

Characterizing implicit information during peer review meetings (Abstract)

P. d'Astous , Ecole Polytech. de Montreal, Que., Canada
pp. 460-466

Object-oriented inspection in the face of delocalisation (Abstract)

A. Dunsmore , Dept. of Comput. Sci., Strathclyde Univ., Glasgow, UK
pp. 467-476

Verification of time partitioning in the DEOS scheduler kernel (Abstract)

J. Penix , Autom. Software Eng. Group, NASA Ames Res. Center, Moffett Field, CA, USA
pp. 488-497

Graphical animation of behavior models (Abstract)

J. Magee , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 499-508

Towards the principled design of software engineering diagrams (Abstract)

C. Gurr , Human Commun. Res. Centre, Edinburgh Univ., UK
pp. 509-518

From MCC to CMM: technology transfers bright and dim (Abstract)

B. Curtis , TeraQuest, Austin, TX, USA
pp. 521-530

Fraunhofer: the German model for applied research and technology transfer (Abstract)

D. Rombach , Fraunhofer IESE, Kaiserslautern, Germany
pp. 531-537

Software needs engineering - a position paper (Abstract)

J.B. Grimson , Dept. of Comput. Sci., Trinity Coll., Dublin, Ireland
pp. 541-544

Is software education narrow-minded? - A position paper (Abstract)

P. Morrogh , Lifetime Assurance, Bank of Ireland, Dublin, Ireland
pp. 545-546

An approach to architectural analysis of product lines (Abstract)

G.C. Gannod , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 548-557

Introducing a software modeling concept in a medium-sized company (Abstract)

K. Schmid , Fraunhofer Inst. for Exp. Software Eng., Kaiserslautern, Germany
pp. 558-567

From research to reward: challenges in technology transfer (Abstract)

A.M. Colyer , IBM UK Labs. Ltd., Hursley, UK
pp. 569-576

An evaluation of the paired comparisons method for software sizing (Abstract)

E. Miranda , Ericsson Res. Canada, Montreal, Que., Canada
pp. 597-604

The making of Orbix and the iPortal suite (Abstract)

S. Baker , IONA Technol., Dublin, Ireland
pp. 609-616

Improvement of a configuration management system (Abstract)

F. Titze , CAD-UL AG, Ulm, Germany
pp. 618-625

European experiences with software process improvement (Abstract)

F. O'Hara , Insight Consulting Ltd., Dublin, Ireland
pp. 635-640

Lessons learned from teaching reflective software engineering using the Leap toolkit (Abstract)

C.A. Moore , Dept. of Inf. & Comput. Sci., Hawaii Univ., Honolulu, HI, USA
pp. 672-675

Can quality graduate software engineering courses really be delivered asynchronously on-line? (Abstract)

S. Edwards , Dept. of Comput. Sci., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
pp. 676-679

Multibook's test environment (Abstract)

N. Poerwantoro , FernUniv. Hagen, Germany
pp. 680-683

An interactive multimedia software house simulation for postgraduate software engineers (Abstract)

H. Sharp , Centre for HCI Design, City Univ., London, UK
pp. 688-691

LIGHTVIEWS-visual interactive Internet environment for learning OO software testing (Abstract)

S. Ramakrishnan , Sch. of CSSE, Monash Univ., Clayton, Vic., Australia
pp. 692-695

The ICSE2000 doctoral workshop (Abstract)

J. Magee , Imperial College
pp. 697

A logical framework for design composition (Abstract)

Jing Dong , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
pp. 698-700

Algorithmic cost estimation for software evolution (Abstract)

J.F. Ramil , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 701-703

Estimating software fault-proneness for tuning testing activities (Abstract)

G. Denaro , Dipt. di Elettronica e Inf., Politecnico di Milano, Italy
pp. 704-706

Formal verification applied to Java concurrent software (Abstract)

R. Iosif , Dipt. di Autom., Politecnico di Torino, Italy
pp. 707-709

Supporting dynamic distributed work processes with a component and event based approach (Abstract)

P.J. Kammer , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 710-712

Platform-independent and tool-neutral test descriptions for automated software testing (Abstract)

Chang Liu , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 713-715

Contribution to simplifying the mobile agent programming (Abstract)

M. Paralic , Dept. of Comput. & Inf., Tech. Univ. of Kosice, Slovakia
pp. 716-718

Spontaneous software: a Web-based, object computing paradigm (Abstract)

G. Elias da Silveira , Dept. of Inf., Fed.. Univ. of Pernambuco, Recife, Brazil
pp. 719-721

Automated refactoring to introduce design patterns (Abstract)

M.O. Cinneide , Dept. of Comput. Sci., Univ. Coll. Dublin, Ireland
pp. 722-724

High-integrity code generation for state-based formalisms (Abstract)

M.W. Whalen , Dept. of Comput. Sci. & Eng., Minnesota Univ., Minneapolis, MN, USA
pp. 725-727

Alcoa: the Alloy constraint analyzer (Abstract)

D. Jackson , Lab. for Comput. Sci., MIT, MA, USA
pp. 730-733

Hyper/J/sup TM/: multi-dimensional separation of concerns for Java/sup TM/ (Abstract)

H. Ossher , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 734-737

The FUJABA environment (Abstract)

U. Nickel , Dept. of Comput. Sci., Paderborn Univ., Germany
pp. 742-745

Galileo: a tool built from mass-market applications (Abstract)

D. Coppit , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
pp. 750-753

Little-JIL/Juliette: a process definition language and interpreter (Abstract)

A.G. Cass , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 754-757

Analyzing software architectures with Argus-I (Abstract)

M.E.R. Vieira , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 758-761

Bandera: a source-level interface for model checking Java programs (Abstract)

J.C. Corbett , Dept. of Inf. & Comput. Sci., Hawaii Univ., Honolulu, HI, USA
pp. 762-765

Developing mobile computing applications with LIME (Abstract)

G.P. Picco , Dipt. di Elettronica e Inf., Politecnico di Milano, Italy
pp. 766-769

Component composition (Abstract)

B. Michiels , Syst. & Software Eng. Lab., Vrije Univ., Brussels, Belgium
pp. 771

A culture-centered multilevel software process cycle model (Abstract)

S.T. Acuna , Univ. Nacional de Sgo. del Estero, Argentina
pp. 775

Using application states in software testing (Abstract)

Chang Liu , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 776

Effort estimation from change records of evolving software (Abstract)

J.F. Ramil , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 777

As strong as possible mobility (Abstract)

T. Walsh , Dept. of Comput. Sci., Trinity Coll., Dublin, Ireland
pp. 779

Hybrid Domain Representation Archive (HyDRA) for requirements model synthesis across viewpoints (Abstract)

K.S. Barber , Lab. for Intelligent Processes & Syst., Texas Univ., Austin, TX, USA
pp. 780

DeBOT-an approach for constructing high performance, scalable distributed object systems (Abstract)

A. Liu , Dept. of Math. & Inf. Sci., CSIRO, Sydney, NSW, Australia
pp. 782

Exploring O-O framework usage (Abstract)

G. Froehlich , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 783

Tracking, predicting and assessing software reuse costs: an automated tool (Abstract)

A. Mili , Dept. of Comput. Sci. & Electr. Eng., West Virginia Univ., Morgantown, WV, USA
pp. 785

Holmes: a system to support software product lines (Abstract)

G. Succi , Dept. of Electr. & Comput. Eng., Alberta Univ., Edmonton, Alta., Canada
pp. 786

Supporting dynamic composition of components (Abstract)

G. Succi , Dept. of Electr. & Comput. Eng., Alberta Univ., Edmonton, Alta., Canada
pp. 787

Prompter-a project planning assistant (Abstract)

R. O'Connor , Sch. of Comput. Applications, Dublin City Univ., Ireland
pp. 788

Visualizing software release histories with 3DSoftVis (Abstract)

C. Riva , Software Technol. Lab., Nokia Res. Center, Helsinki, Finland
pp. 789

Legacy systems migration in CELLEST (Abstract)

E. Stroulia , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 790

Process engineering with Spearmint/sup TM//EPG (Abstract)

U. Becker-Kornstaedt , Fraunhofer IESE, Kaiserslautern, Germany
pp. 791

An overview of the ICSE 2000 workshop program (Abstract)

A. Bertolino , University of British Columbia
pp. 793

Second ICSE workshop on web engineering (Abstract)

San Murugesan , University of Western Sydney Macarthur
pp. 794-795

Workshop on standard exchange format (WoSEF) (Abstract)

S.E. Sim , University of Toronto
pp. 805-806

3rd workshop on software engineering over the internet (Abstract)

F. Maurer , University of Calgary
pp. 807-808

Agent-oriented software engineering (Abstract)

P. Ciancarini , University of Bologna
pp. 816-817

Specifying and measuring quality in use (Abstract)

N. Bevan , Serco Usability Services
pp. 819

Introduction to CORBA (Abstract)

S. Vinoski , IONA Technologies
pp. 822

Moving from ISO9000 to higher levels of the CMM (Abstract)

P. Mote , Indian Institute of Technolog Kanpur
pp. 823

Scalability issues in CORBA-based systems (Abstract)

S. Vinoski , IONA Technologies
pp. 826

Product-line architectures, aspects, and reuse (Abstract)

D. Batory , University of Texas at Austin
pp. 832

Advanced visual modeling: beyond UML (Abstract)

J.Y. Gil , Israel Institute of Technology
pp. 833

Understanding code mobility (Abstract)

G.P. Picco , Dipartimento di Elettronica e Informazione--Politecnico di Milano
pp. 834

Improving software inspections by using reading techniques (Abstract)

V. Basili , University of Maryland and Fraunhofer Center for Experimental
pp. 836

Author index (PDF)

pp. 840-843
Tutorial Summaries
Workshop Summaries

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

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
Panels

Who Needs Doctors? (PDF)

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

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

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
80 ms
(Ver 3.3 (11022016))