The Community for Technology Leaders
Software Engineering, International Conference on (1999)
Los Angeles, California
May 16, 1999 to May 22, 1999
ISSN: 0270-5257
ISBN: 1-58113-074-0
TABLE OF CONTENTS

Foreword (PDF)

pp. xii
Architectures: Composition Techniques

Using off-the-shelf middleware to implement connectors in distributed software architectures (Abstract)

Richard N. Taylor , University of California, Irvine
Nenad Medvidovic , University of Southern California, Los Angeles
Eric M. Dashofy , University of California, Irvine
pp. 3

Exploiting ADLs to specify architectural styles induced by middleware infrastructures (Abstract)

Elisabetta Di Nitto , CEFRIEL - Politecnico di Milano
David Rosenblum , University of California, Irvine
pp. 13
Architectures: Development Techniques

A systematic approach to derive the scope of software product lines (Abstract)

Klaus Schmid , Fraunhoftir Institute for Experimental Software Engineering (IESE), Germany
Jean-Marc DeBaud , Lucent Technologies Software Product Line, Naperville, IL
pp. 34

A language and environment for architecture-based software development and evolution (Abstract)

Richard N. Taylor , University of California, Irvine
David S. Rosenblum , University of California, Irvine
Nenad Medvidovic , University of Southern California, Los Angeles
pp. 44

Experience with performing architecture tradeoff analysis (Abstract)

Mark Klein , Carnegie Mellon University, Pittsburgh, PA
S. Jeromy Carri?re , Carnegie Mellon University, Pittsburgh, PA
Rick Kazman , Carnegie Mellon University, Pittsburgh, PA
Mario Barbacci , Carnegie Mellon University, Pittsburgh, PA
Steven G. Woods , Carnegie Mellon University, Pittsburgh, PA
pp. 54
Widescale Computing

Exploiting Smalltalk modules in a customizable programming environment (Abstract)

Rob Griffiths , The Open University, England
Mark Woodman , The Open University, England
Hugh Robinson , The Open University, England
Malcolm Macgregor , The Open University, England
Simon Holland , The Open University, England
pp. 65

Software engineering issues for ubiquitous computing (Abstract)

Gregory D. Abowd , Georgia Institute of Technology, Atlanta
pp. 75

Splitting the organization and integrating the code: Conway's law revisited (Abstract)

Rebecca E. Grinter , Lucent Technologies, Naperville, Illinois
James D. Herbsleb , Lucent Technologies, Naperville, Illinois
pp. 85
Program Composition

Avoiding packaging mismatch with flexible packaging (Abstract)

Robert DeLine , Carnegie Mellon University, Pittsburgh, PA
pp. 97

N degrees of separation: multi-dimensional separation of concerns (Abstract)

Harold Ossher , IBM Watson Research Center, Yorktown Heights, NY
Peri Tarr , IBM Watson Research Center, Yorktown Heights, NY
William Harrison , IBM Watson Research Center, Yorktown Heights, NY
Stanley M. Sutton, Jr. , EC Cubed, Inc., Wilton, CT
pp. 107

An initial assessment of aspect-oriented programming (Abstract)

Robert J. Walker , University of British Columbia, Vancouver, Canada
Gail C. Murphy , University of British Columbia, Vancouver, Canada
Elisa L. A. Baniassad , University of British Columbia, Vancouver, Canada
pp. 120
Model Checking

Using the ASTRAL model checker to analyze Mobile IP (Abstract)

Richard A. Kemmerer , University of California, Santa Barbara
Zhe Dang , University of California, Santa Barbara
pp. 132

Decoupling synchronization from local control for efficient symbolic model checking of statecharts (Abstract)

David H. Jones , The Boeing Company, Seattle, Washington
Richard J. Anderson , University of Washington, Seattle
Paul Beame , University of Washington, Seattle
William E. Warner , The Boeing Company, Seattle, Washington
David Notkin , University of Washington, Seattle
William Chan , University of Washington, Seattle
pp. 142

Analysis of a scheduler for a CAD framework (Abstract)

David S. Keyes , Picker International, Inc., Cleveland, OH
Laura K. Dillon , Michigan State University, East Lansing, MI
Moon Jung Chung , Michigan State University, East Lansing, MI
pp. 152
Distributed Systems

Dynamic layout of distributed applications in FarGo (Abstract)

Hovav Gazit , Technion - Israel Institute of Technology, Technion City, Israel
Israel Ben-Shaul , Technion - Israel Institute of Technology, Technion City, Israel
Ophir Holder , Technion - Israel Institute of Technology, Technion City, Israel
pp. 163

A cooperative approach to support software deployment using the Software Dock (Abstract)

Alexander L. Wolf , University of Colorado, Boulder
Dennis Heimbigner , University of Colorado, Boulder
Richard S. Hall , University of Colorado, Boulder
pp. 174

Information survivability control systems (Abstract)

Xing Du , University of Virginia, Charlottesville
Steve Geist , University of Virginia, Charlottesville
John C. Knight , University of Virginia, Charlottesville
Kevin Sullivan , University of Virginia, Charlottesville
pp. 184
Evolution

Lightweight extraction of object models from bytecode (Abstract)

Allison Waingold , Massachusetts Institute of Technology
Daniel Jackson , Massachusetts Institute of Technology
pp. 194

Highly reliable upgrading of components (Abstract)

Jeffrey A. Dage , New Mexico State University
Jonathan E. Cook , New Mexico State University
pp. 203

Dynamically discovering likely program invariants to support program evolution (Abstract)

Jake CockrelI , University of Washington, Seattle
William G. Griswold , University of California, San Diego
David Notkin , University of Washington, Seattle
Michael D. Ernst , University of Washington, Seattle
pp. 213
Reverse Engineering

Pattern-based reverse-engineering of design components (Abstract)

S?bastien Robitaille , Universit? de Montr?al, Canada
Rudolf K. Keller , Universit? de Montr?al, Canada
Reinhard Schauer , Universit? de Montr?al, Canada
Patrick Pag? , Universit? de Montr?al, Canada
pp. 226

Automatic method refactoring using weighted dependence graphs (Abstract)

Katsuhisa Maruyama , NTT Software Laboratories, Japan
Ken-ichi Shima , NTT Software Laboratories, Japan
pp. 236

Identifying objects using cluster and concept analysis (Abstract)

Tobias Kuipers , CWI, The Netherlands
Arie van Deursen , CWI, The Netherlands
pp. 246
Testing

Using a goal-driven approach to generate test cases for GUIs (Abstract)

Atif M. Memon , University of Pittsburgh, PA
Martha E. Pollack , University of Pittsburgh, PA
Mary Lou Soffa , University of Pittsburgh, PA
pp. 257

Lutess: a specification-driven testing environment for synchronous software (Abstract)

J.-L. Richier , LSR-IMAG, France
F. Ouabdesselam , LSR-IMAG, France
N. Zuanon , LSR-IMAG, France
L. du Bousquet , LSR-IMAG, France
pp. 267

Residual test coverage monitoring (Abstract)

Michal Young , University of Oregon, Eugene
Christina Pavlopoulou , Purdue University, West Lafayette, Indiana
pp. 277

Model-based testing in practice (Abstract)

N. Karunanithi , Bellcore, Morristown, NJ
S. R. Dalal , Bellcore, Morristown, NJ
C. M. Lott , Bellcore, Morristown, NJ
A. Jain , Bellcore, Morristown, NJ
B. M. Horowitz , Bellcore, Piscataway, NJ
J. M. Leaton , Bellcore, Morristown, NJ
G. C. Patton , Bellcore, Morristown, NJ
pp. 285
Metrics: Cost Estimation

Software architecture classification for estimating the cost of COTS integration (Abstract)

James M. Bieman , Colorado State University, Fort Collins
Victor R. Basili , University of Maryland, College Park
Daniil Yakimovich , University of Maryland, College Park
pp. 296

Explaining the cost of European space and military projects (Abstract)

Khaled El Emam , Fraunhofer Institute for Experimental Software Engineering (IESE), Germany
Isabella Wieczorek , Fraunhofer Institute for Experimental Software Engineering (IESE), Germany
Lionel C. Briand , Fraunhofer Institute for Experimental Software Engineering (IESE), Germany
pp. 303

An assessment and comparison of common software cost estimation modeling techniques (Abstract)

Lionel C. Briand , Fraunhofer Institute for Experimental Solhare Engineering IESE, Germany
Katrina D. Maxwell , DATAMAX, France
Isabella Wieczorek , Fraunhofer Institute for Experimental Solhare Engineering IESE, Germany
Dagmar Surmann , Fraunhofer Institute for Experimental Solhare Engineering IESE, Germany
Khaled El Emam , Fraunhofer Institute for Experimental Solhare Engineering IESE, Germany
pp. 313
Metrics: Tools & Design

Using version control data to evaluate the impact of software tools (Abstract)

Audris Mockus , Lucent Technologies
Todd Graves , National Institute of Statistical Sciences
Thomas Ball , Lucent Technologies
David Atkins , Lucent Technologies
pp. 324

Polymorphism measures for early risk prediction (Abstract)

Walcelio L. Melo , Oracle Brazil and Univ. Cat?lica de Brasilia
Sdida Benlarbi , Cistel Technology, Nepean, Canada
pp. 334

Investigating quality factors in object-oriented designs: an industrial case study (Abstract)

Stefan V. Ikonomovski , Centre de Recherche Informatique de Montr?al, Canada
J? Wiist , Fraunhofer Institute for Experimental Software Engineering, Germany
Lionel C. Briand , Fraunhofer Institute for Experimental Software Engineering, Germany
Hakim Lounis , Centre de Recherche Informatique de Montr?al, Canada
pp. 345
Agents, Mobility & Interoperability

Agent system development method based on agent patterns (Abstract)

Shinichi Honiden , Toshiba Corp., Japan
Akihiko Ohsuga , Toshiba Corp., Japan
Yasuyuki Tahara , Toshiba Corp., Japan
pp. 356

LIME: Linda meets mobility (Abstract)

Amy L. Murphy , Washington University, St. Louis, MO
Gruia-Catalin Roman , Washington University, St. Louis, MO
Gian Pietro Picco , Washington University, St. Louis, MO
pp. 368

Adding more "DL" to IDL: towards more knowledgeable component inter-operability (Abstract)

Prem Devanbu , University of California, Davis
Alex Borgida , Rutgers University, Piscataway, NJ
pp. 378
Specification & Verification

A specification matching based approach to reverse engineering (Abstract)

Betty H. C. Cheng , Michigan State University, East Lansing
Gerald C. Gannod , Arizona State University, Tempe
pp. 389

Data flow analysis for checking properties of concurrent Java programs (Abstract)

Gleb Naumovich , University of Massachusetts, Amherst
George S. Avrunin , University of Massachusetts, Amherst
Lori A. Clarke , University of Massachusetts, Amherst
pp. 399

Patterns in property specifications for finite-state verification (Abstract)

Matthew B. Dwyer , Kansas State University, Manhattan
James C. Corbett , University of Hawai'i, Honolulu
George S. Avrunin , University of Massachusetts, Amherst
pp. 411
Program Analysis

Call-mark slicing: an efficient and economical way of reducing slice (Abstract)

Akira Nishimatsu , Osaka University, Japan
Minoru Jihira , Nara Institute of Science and Technology, Japan
Katsuro Inoue , Osaka University, Japan
Shinji Kusumoto , Osaka University, Japan
pp. 422

System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow (Abstract)

Mary Jean Harrold , Ohio State University, Columbus
Saurabh Sinha , Ohio State University, Columbus
Gregg Rothermel , Oregon State University, Corvallis
pp. 432

An incremental flow- and context-sensitive pointer aliasing analysis (Abstract)

William A. Landi , Siemens Corporate Research, Inc., Princeton, NJ
Jyh-shiarn Yur , Rutgers University, Piscataway, NJ
Barbara G. Ryder , Rutgers University, Piscataway, NJ
pp. 442
Reuse & Browsing

Reusing single system requirements from application family requirements (Abstract)

Hermann Kaindl , Siemens AG ?sterreich, PSE, Vienna, Austria
Joe Wheadon , European Space Operations, Germany
Mike Mannion , Napier University, UK
Barry Keepence , Napier University, UK
pp. 453

Assessing software libraries by browsing similar classes, functions and relationships (Abstract)

David Notkin , University of Washington, Seattle
Amir Michail , University of Washington, Seattle
pp. 463

CHIME: customizable hyperlink insertion and maintenance engine for software engineering environments (Abstract)

J. Martin , University of Victoria, BC
P. Devanbu , University of California, Davis
H. M? , University of Victoria, BC
Y-F. Chen , AT&T Labs-Research, Florham Park, NJ
E. Gansner , AT&T Labs-Research, Florham Park, NJ
pp. 473
Inspections, Debugging, & Prototyping

Prototyping real-time vision systems: an experiment in DSL design (Abstract)

Alastair Reid , Yale University, New Haven, CT
Greg Hager , Yale University, New Haven, CT
Paul Hudak , Yale University, New Haven, CT
John Peterson , Yale University, New Haven, CT
pp. 484

Generalizing perspective-based inspection to handle object-oriented development artifacts (Abstract)

Colin Atkinson , Fraunhofer Institute for Experimental Software Engineering, Germany
Oliver Laitenberger , Fraunhofer Institute for Experimental Software Engineering, Germany
pp. 494

Coca: an automated debugger for C (Abstract)

Mireille Ducass? , IRISA/INSA, France
pp. 504
Case Studies I

Haemo dialysis software architecture design experiences (Abstract)

Jan Bosch , University of Karlskrona/Ronneby, Sweden
PerOlof Bengtsson , University of Karlskrona/Ronneby, Sweden
pp. 516

Architectural framework modeling in telecommunication domain (Abstract)

Giovanni Cortese , Research & Technology Dept., Trento, Italy
Giulio Fregonese , Research & Technology Dept., Trento, Italy
Alessandro Zorer , Research & Technology Dept., Trento, Italy
pp. 526

Baseball seasons and dog years (Abstract)

David R. Barstow , TeraQuest Metrics, Inc., Austin, TX
pp. 535
Case Studies II

Product-line architectures in industry: a case study (Abstract)

Jan Bosch , University of Karlskrona/Ronneby
pp. 544

Linux as a case study: its extracted software architecture (Abstract)

Ivan T. Bowman , University of Waterloo, Canada
Neil V. Brewster , University of Toronto
Richard C. Holt , University of Waterloo, Canada
pp. 555

An architectural style for multiple real-time data feeds (Abstract)

Wolfgang Emmerich , University College London, UK
Neil Roodyn , Cognitech Ltd, UK
pp. 564

Supporting industrial hyperwebs: lessons in scalability (Abstract)

Kenneth M. Anderson , University of Colorado, Boulder
pp. 573
Keynote Speakers

The Computer Revolution Hasn't Happened Yet (PDF)

Alan Kay , Walt Disney Imagineering
pp. 584
Most Influential Paper of ICSE 11 Award

Software evolution and 'light' semantics (PDF)

Dewayne E. Perry , Bell Laboratories, Murray Hill, NJ
pp. 587
Panels

Issues in Software Engineering for Survivable Systems (PDF)

Nancy R. Mead , Carnegie Mellon University, Pittsburgh, PA
pp. 592

Intellectual Property Issues in Software (PDF)

Greg Kirsch , Needle & Rosenberg, P.C., Atlanta, GA
David Notkin , University of Washington, Seattle
Yannis Skulikaris , European Patent Office, The Netherlands
pp. 594
State of The Art Report

A practical method for verifying event-driven software (Abstract)

Margaret H. Smith , Bell Laboratories, Murray Hill, NJ
Gerard J. Holzmann , Bell Laboratories, Murray Hill, NJ
pp. 597
Industry Presentations

Reuse technologies and their niches (PDF)

Ted J. Biggerstaff , One Redmond Way, Redmond, WA
pp. 613

Architecting for large-scale systematic component reuse (PDF)

Martin L. Griss , Hewlett-Packard Company, Palo Alto, CA
pp. 615

The extension of systems architecting to the architecting of organizations (PDF)

Eberhardt Rechtin , The Aerospace Corporation, Palos Verdes Estates, CA
pp. 622

COTS Integration (PDF)

pp. 626
Formal Research Demonstrations

InSight-reverse engineer CASE tool (PDF)

Nikolai Mansurov , Inst for System Programming, Moscow, Russia
Norman Rajala , NORTEL, Ottawa, ON Canada
Djenana Campara , NORTEL, Ottawa, ON Canada
pp. 630

Behavioral analysis of software architectures using LTSA (Abstract)

Jeff Magee , Imperial College of Science, UK
pp. 634

OU LearningWorks: a customized programming environment for Smalltalk modules (Abstract)

Simon Holland , The Open University, England
Malcolm Macgregor , The Open University, England
Rob Griffiths , The Open University, England
Mark Woodman , The Open University, England
pp. 638

Software process support over the Internet (Abstract)

B. Kiitting , University of Kaiserslautem, Germany
G. Succi , University of Calgary, Alberta, Canada
B. Dellen , University of Kaiserslautem, Germany
F. Maurer , University of Calgary, Alberta, Canada
H. Holz , University of Kaiserslautem, Germany
S. Goldmann , University of Kaiserslautem, Germany
pp. 642

WinWin: a system for negotiating requirements (Abstract)

June Sup Lee , U.S.C., Los Angeles, CA
Joo H. Lee , U.S.C., Los Angeles, CA
Ellis Horowitz , U.S.C., Los Angeles, CA
pp. 646

MoHCA-Java: a tool for C++ to Java conversion support (Abstract)

Aaron Stearns , University of California, Davis
Premkumar Devanbu , University of California, Davis
Scott Malabarba , University of California, Davis
pp. 650

FarGo: a system for mobile component-based application development (Abstract)

Israel Ben-Shaul , Technion - Israel Institute of Technology
Yoad Gidron , Technion - Israel Institute of Technology
Hovav Gazit , Technion - Israel Institute of Technology
Boris Lavva , Technion - Israel Institute of Technology
Ophir Holder , Technion - Israel Institute of Technology
pp. 658

The RMT (Recursive Multi-Threaded) tool: a computer aided software engineering tool for monitoring and predicting software development progress (Abstract)

Scott J. Simon , Research Institute, Redlands, CA
Arturo I. Concepcion , California State University, San Bernardino
Sunny Lin , California State University, San Bernardino
pp. 660
Tutorial Summaries

Distributed objects (PDF)

Wolfgang Emmerich , University College London, UK
Neil Roodyn , Cognitech Ltd., London, UK
pp. 665

Practical software measurement (PDF)

Joyce Statz , TeraQuest Metrics, Inc., Austin, Texas
pp. 667

Personal software engineering project management process (PDF)

A. Winsor Brown , University of Southern California, Los Angeles
pp. 669

Defining families - commonality analysis (PDF)

David A. Cuka , Lucent Technologies, Naperville, IL
Mark A. Ardis , Lucent Technologies, Naperville, IL
pp. 671

Verification and validation of requirements for mission critical systems (PDF)

Steve Easterbrook , Institute for Software Research, Fairmont, WV
pp. 673

Software interoperability: principles and practice (PDF)

Jack C. Wileden , University of Massachusetts, Amherst
Alan Kaplan , Clemson University, SC
pp. 675

Failure and success factors in reuse programs: a synthesis of industrial experiences (PDF)

Maurizio Morisio , Politecnico di Torino, Italy
Colin Tully , ESPI Foundation, UK
Michel Ezran , Valtech, France
pp. 681

Round-trip engineering with design patterns, UML, java and C++ (PDF)

Albert Z?ndorf , University of Paderborn, Germany
Wilhelm Sch?fer , University of Paderborn, Germany
pp. 683

Adaptable components (PDF)

Grady H. Campbell, Jr. , Prosperity Heights Software, Annandale, VA
pp. 685

Using subject-oriented programming to overcome common problems in object-oriented software development/evolution (PDF)

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

Modeling and analyzing software architectures (PDF)

Robert T. Monroe , Carnegie Mellon University, Pittsburgh, PA
pp. 690
Workshop Summaries

Web Engineering (PDF)

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

Software change and evolution (SCE'99) (PDF)

V?clav Rajlich , Wayne State University, Detroit, MI
pp. 695

First workshop on economics-driven software engineering research (PDF)

Kevin J. Sullivan , University of Virginia, USA
David Notkin , University of Washington, USA
Alfonso Fuggetta , Politecnico di Milano, Italy
John Favaro , Intecs sistemi, S.p.A., Italy
pp. 699

International workshop on software transformation systems (STS'99) (PDF)

Liz Burd , Univ. of Durham
Julio Leite , PUC-Rio
Don Batory , UT Austin
Ted Biggerstaff , Microsoft
Dave Wile , ISI-USC
Prem Devanbu , UC Davis
Ira Baxter , Semantic Designs
pp. 701

Engineering distributed objects (EDO 99) workshop summary (PDF)

Volker Gruhn , Universit?t Dortmund, Germany
Wolfgang Emmerich , University College London, UK
pp. 705

The first international symposium on constructing software engineering tools (CoSET'99) (PDF)

Louise Scott , Fraunhofer IESE, Germany
Jonathan Gray , University of South Australia, Australia
Jennifer Harvey , Motorola Australia Software Centre, Australia
Anna Liu , CSIRO Mathematical and Information Sciences, Australia
pp. 707

Science and engineering for software development: a recognition of Harlan D. Mills' legacy (PDF)

Tom DeMarco , The Atlantic Systems Guild, New York, NY
Victor Basili , University of Maryland, College Park
Ali Mili , Inst. for Software Research, Fairmont, WV
pp. 710

International workshop on component-based software engineering (PDF)

Alan W. Brown , Sterling Software, Plano, TX
Kurt C. Wallnau , Carnegie Mellon University, Pittsburgh, PA
pp. 714
Doctoral Symposium

Automatic verification of real-time designs (PDF)

Miguel Felder , Universidad de Buenos Aires, Argentina
Victor A. Braberman , Universidad de Buenos Aires, Argentina
pp. 716

Development of object oriented frameworks for spatio-temporal information systems (PDF)

Anita Jacob , Nansen Environmental and Remote Sensing Center, Norway
pp. 720

Algorithm development in the mobile environment (PDF)

Amy L. Murphy , Washington University, St. Louis, MO
pp. 728

A flexible approach to decentralized software evolution (PDF)

Peyman Oreizy , University of California, Irvine
pp. 730

Contextual programming (PDF)

Robert J. Walker , University of British Columbia, Vancouver
pp. 734

Toward precise measurements using software normalization (PDF)

Pu-Lin Yeh , Tatung Institute of Technology, Taiwan
Jin-Cherng Lin , Tatung Institute of Technology, Taiwan
pp. 736

Author Index (PDF)

pp. 738
90 ms
(Ver 3.1 (10032016))