The Community for Technology Leaders
Software Engineering, International Conference on (1997)
Boston, Massachusetts
May 17, 1997 to May 23, 1997
ISSN: 0270-5257
ISBN: 0-89791-914-9
TABLE OF CONTENTS
Tutorial Summaries
Process Improvement
Analysis of C and C++
Economic and Legal Issues
Joint Session - 1997 Symposium on Software Reuse (SSR)
Testing and Analysis
Economic and Legal Issues
Most Influential Paper of ICSE 9 Award
Hardware/Software Issues
Most Influential Paper of ICSE 9 Award

Process Modelling - Where Next (Abstract)

pp. 549,550,551,552
Economic and Legal Issues

On the Economics of Mass-Marketed Software (Abstract)

pp. 465,466,467,468,469,470
Object-Oriented Technology

Foreword (PDF)

pp. xiii

Program Committee (PDF)

pp. xviii
Reverse Engineering and Program Understanding
Exploiting the Internet

Designing Distributed Applications with Mobile Code Paradigms (Abstract)

Antonio Carzaniga , Politecnico di Milano, Italy
Gian Pietro Picco , Politecnico di Torino, Italy
Giovanni Vigna , Politecnico di Milano, Italy
pp. 22
Formal Specifications

An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ (Abstract)

Shin Nakajima , NEC Corporation, Japan
Kokichi Futatsugi , Japan Advanced Institute of Science and Technology, Japan
pp. 34
Testing and Analysis
Reliability

Choosing a Testing Method to Deliver Reliability (Abstract)

Phyllis Frankl , Polytechnic Univ., Brooklyn, NY
Dick Hamlet , Portland State Univ., OR
Bev Littlewood , City University, London, UK
Lorenzo Strigini , City University, London, UK
pp. 68

Re-estimation of Software Reliability After Maintenance (Abstract)

Andy Podgurski , Case Western Reserve Univ.
Elaine J. Weyuker , AT&T Labs - Research
pp. 79

A Study on the Failure Intensity of Different Software Faults (Abstract)

Kazuyuki Shima , Nara Institute of Science and Technology, Japan
Shingo Takada , Nara Institute of Science and Technology, Japan
Ken'ichi Matsumoto , Nara Institute of Science and Technology, Japan
Koji Torii , Nara Institute of Science and Technology, Japan
pp. 86
Inspections and Reviews

An Empirical Study of Communication in Code Inspections (Abstract)

Carolyn B. Seaman , University of Maryland, College Park
Victor R. Basili , University of Maryland, College Park
pp. 96

A Case Study of Distributed, Asynchronous Software Inspection (Abstract)

Michael Stein , University of Minnesota, Minneapolis
John Riedl , University of Minnesota, Minneapolis
S?ren J. Harner , ICEM Systems, GmbH., Germany
Vahid Mashayekhi , DELL Computer Corporation, Austin, TX
pp. 107

Assessing software review meetings: A controlled experimental study using CSRS (Abstract)

Philip M. Johnson , University of Hawaii, Honolulu
Danu Tjahjono , University of Hawaii, Honolulu
pp. 118

Understanding the Effects of Developer Activities on Inspection Interval (Abstract)

Adam A. Porter , University of Maryland, College Park
Harvey P. Siy , Bell Laboratories, Naperville, IL
Lawrence G. Votta, Jr. , Bell Laboratories, Naperville, IL
pp. 128
User Interface and Specifications

A Meta-Model for Restructuring Stakeholder Requirements (Abstract)

William N. Robinson , Georgia State University, Atlanta
Slav Volkov , Georgia State University, Atlanta
pp. 140

Automated Analysis of Requirement Specifications (Abstract)

William M. Wilson , Software Assurance Technology Center/GSFC, Greenbelt, MD
Linda H. Rosenberg , Unisys Federal Systems/GSFC, Greenbelt, MD
Lawrence E. Hyatt , NASA Goddard Space Flight Center, Greenbelt, MD
pp. 161

Integrating Support for Temporal Media into an Architecture for Graphical User Interfaces (Abstract)

T. C. Nicholas Graham , York University, North York, Canada
Tore Urnes , York University, North York, Canada
pp. 172
Legacy Systems and Testing

Manipulating Recovered Software Architecture Views (Abstract)

Alexander S. Yeh , MITRE Corporation, Bedford, MA
David R. Harris , MITRE Corporation, Bedford, MA
Melissa P. Chase , MITRE Corporation, Bedford, MA
pp. 184

Lessons on Converting Batch Systems to Support Interaction (Abstract)

Robert DeLine , Carnegie Mellon University, Pittsburgh, PA
Gregory Zelesnik , Carnegie Mellon University, Pittsburgh, PA
Mary Shaw , Carnegie Mellon University, Pittsburgh, PA
pp. 195

Applying Design of Experiments to Software Testing (Abstract)

I. S. Dunietz , AT&T NCS OTC, NJ
W. K. Ehrlich , AT&T NCS OTC, NJ
B. D. Szablak , Lucent Technologies Bell Laboratories, NJ
C. L. Mallows , AT&T Laboratories, NJ
A. Iannino , Pipeline Associates, NJ
pp. 205

A Theory of Probabilistic Functional Testing (Abstract)

Gilles Bernot , Universit? d'Evry, LaMI, France
Laurent Bouaziz , CERMICS-ENPC, France
Pascale Le Gall , Universit? d'Evry, LaMI, France
pp. 216
Static Analysis

Analyzing Partially-Implemented Real-Time Systems (Abstract)

George S. Avrunin , University of Massachusetts, Amherst
James C. Corbett , University of Hawai'i, Honolulu
Laura K. Dillod , University of California, Santa Barbara
pp. 228

Software Deviation Analysis (Abstract)

Jon Damon Reese , University of Washington, Seattle
Nancy G. Leveson , University of Washington, Seattle
pp. 250
Metrics

A Predictive Metric Based on Discriminant Statistical Analysis (Abstract)

l?vlaurizio Pighin , Universit? degli Studi di Udine, Italy
Roberto Zamolo , Universit? degli Studi di Udine, Italy
pp. 262

Communication Metrics for Software Development (Abstract)

Bernd Bruegge , Carnegie Mellon University, Pittsburgh, PA
Allen H. Dutoit , Carnegie Mellon University, Pittsburgh, PA
pp. 271

Characterizing and Modeling the Cost of Rework in a Library of Reusable Software Components (Abstract)

Victor R. Basili , University of Maryland, College Park
Steven E. Condon , CSC, Lanham-Seabrook, MD
Khaled El Emam , Fraunhofer IESE, Germany
Robert B. Hendrick , CSC, Lanham-Seabrook, MD
Walcelio Melo , CRIM, Montreal, Canada
pp. 282
Process

A New Software Project Simulator Based on Generalized Stochastic Petri-net (Abstract)

Shinji Kusumoto , Osaka University, Japan
Osamu Mizuno , Osaka University, Japan
Tohru Kikuno , Osaka University, Japan
Yuji Hirayama , Osaka University, Japan
Yasunair Takagi , OMRON Corporation, Japan
Keishi Sakamoto , OMRON Corporation, Japan
pp. 293

The Criticality of Modeling Formalisms in Software Design Method Comparison (Abstract)

Rodion M. Podorozhny , University of Massachusetts, Amherst
Leon J. Osterweil , University of Massachusetts, Amherst
pp. 303
Keynote Speakers
Object Technology

Leveraging a Large Banking Organization to Object Technology (PDF)

Werner Karbach , IT Development and Coordination Center for the German Savings Bank Organization, Bonn, Germany
Joerg Noack , IT Development and Coordination Center for the German Savings Bank Organization, Bonn, Germany
Hans-Bernd Kittlaus , IT Development and Coordination Center for the German Savings Bank Organization, Bonn, Germany
pp. 554

Tailoring OMT for an Industry Software Project (PDF)

Jeffrey Melanson , Siemens Medical Systems, Danvers, MA
Robert L. Nord , Siemens Corporate Research, Princeton, NJ
Dilip Soni , Siemens Corporate Research, Princeton, NJ
pp. 556
Architectural Recovery and Reverse Engineering

Software Architecture Recovery of Embedded Software (PDF)

Wolfgang Eixelsberger , ABB Corporate Research, Norway
Lasse Warholm , ABB Corporate Research, Norway
Rene KI?sch , Technical University of Vienna, Austria
Harald Gall , Technical University of Vienna, Austria
pp. 558

Integrating Forward and Reverse Object-Oriented Software Engineering (PDF)

Christoph Welsch , ABB Corporate Research, Germany
Alexander Schalk , Adtranz, Germany
Stefan Kramer , ABB Calor Emag Schaltanlagen, Germany
pp. 560
Large Systems Experience
Management Issues

Prioritizing Software Requirements in an Industrial Setting (PDF)

Kevin Ryan , University of Limerick, Ireland
Joachim Karlsson , Focal Point AB, Sweden
pp. 564

BOOTSTRAP: Four Years of Assessment Experience (PDF)

Franz Engelmann , SYNSPACE AG, Switzerland
Hans Stienen , SYNSPACE AG, Switzerland
Ernst Lebsanft , SYNLOGIC AG, Switzerland
pp. 568
Process Issues

Code Reviews Enhance Software Quality (PDF)

Richard A. Baker, Jr. , Schneider Automation, Inc., North Andover, MA
pp. 570

Implementing Cleanroom Software Engineering into a Mature CMM-Based Software Organization (PDF)

Robert Osbana , Texas Instruments Inc., Dallas, TX
Frank P. Coyle , Southern Methodist University, Dallas, TX
pp. 572

Redesigning the Systems Development Process (PDF)

Debra Bond , AT&T, Middletown, NJ
Patty Rishi , AT&T, Middletown, NJ
pp. 574
Panels and Invited Presentations

Architecting Families of Software-Intensive Products (PDF)

Alexander Ran , Nokia Research Center, Burlington, Ma
Hamish Kellock , Nokia Telecommunications, Espoo, Finland
Peter Hjort , Nokia Telecommunications, Espoo, Finland
pp. 580

Java Development Environments (PDF)

Anthony I. Wasserman , Software Methods & Tools, San Francisco, CA
pp. 582

Pragmatic Software Metrics for Iterative Development (PDF)

Walker Royce , Rational Software Corporation
pp. 585

Collaborative Software Engineering (PDF)

Prasun Dewan , University of North Carolina, Chapel Hill
Philip Johnson , University of Hawaii, Honolulu
Kanth Miriyala , Andersen Consulting LLP, Northbrook, IL
Remo Pareschi , Rank Xerox Research Centre, Meylan, France
pp. 586
State of the Art Reports
Analysis

Verification of Concurrent Software with FLAVERS (PDF)

Gleb Naumovich , University of Massachusetts, Amherst
Lori A. Clarke , University of Massachusetts, Amherst
Leon J. Osterweil , University of Massachusetts, Amherst
Matthew B. Dwyer , Kansas State University
pp. 594

Nitpick: A Tml For Interactive Design Analysis (PDF)

Craig A. Damon , Carnegie Mellon University, Pittsburgh, PA
pp. 596
Software Evolution

Endeavors: A Process System Infrastructure (PDF)

Arthur S. Hitomi , University of California, Irvine
Gregory Alan Bolter , University of California, Irvine
Richard N. Taylor , University of California, Irvine
pp. 598

Argo: A Design Environment for Evolving Software Architectures (PDF)

Jason E. Robbins , University of California, Irvine
David M. Hilbert , University of California, Irvine
David F. Redmiles , University of California, Irvine
pp. 600
Software Evolution and Maintenance

Automatic Monitoring of Software Requirements (PDF)

Don Cohen , Computing Services Support Solutions
Martin S. Feather , Computing Services Support Solutions
K. Narayanaswamy , Computing Services Support Solutions
Stephen S. Fickas , Computing Services Support Solutions
pp. 602

Preventive Program Maintenance in Demeter/Java (PDF)

Karl J. Lieberherr , Northeastern University, Boston, MA
Doug Orleans , Northeastern University, Boston, MA
pp. 604
Reverse Engineering and Maintenance

Rigi: A Visualization Environment for Reverse Engineering (PDF)

Margaret-Anne D. Storey , Simon Fraser University, Canada
Kenny Wong , University of Victoria, Canada
Hausi A. M? , University of Victoria, Canada
pp. 606

An Object-Oriented Testing and Maintenance Environment (PDF)

Pei Asia , The University of Texas at Arlington
David Kung , The University of Texas at Arlington
pp. 608
Requirements

The SCR Method for FormalngT Specifying, Verifying, and Validating Requirements: Tool Support (PDF)

Constance Heitmeyer , Naval Research Laboratory
James Kirby , Naval Research Laboratory
Bruce Labaw , Naval Research Laboratory
pp. 610

GRAIUKAOS: An Environment for Goal-Driven Requirements Engineering (PDF)

R. Darimont , CEDITI-UCL, Belgium
E. Delor , CEDITI-UCL, Belgium
P. Massonet , CEDITI-UCL, Belgium
A. van Lamsweerde , Universite Catholique de Louvain, Belgium
pp. 612
Component Integration

ADE - An Architecture Design Environment for Component-Based Software Engineering (PDF)

Jim Q. Ning , Center for Strategic Technology Research, Northbrook, Illinois
pp. 614

Package-Oriented Programming of Engineering Tools (PDF)

Kevin J. Sullivan , University of Virginia, Charlottesville
Jake Cockrell , University of Virginia, Charlottesville
Shengton Zhang , University of Virginia, Charlottesville
David Coppit , University of Virginia, Charlottesville
pp. 616
Environments

Developing Graphical (Software Engineering) Tools with PROGRES (PDF)

Andy Sch? , Lehrstuhl f?r Informatik III, RWTH Aachen, Germany
pp. 618

TINA ACE: an environment for Specifying, Developing and Generating TINA Services (PDF)

Piergiorgio Bosco , CSELT, Torino, Italia
Giovanni Martini , CSELT, Torino, Italia
Con-ado Moiso , CSELT, Torino, Italia
pp. 620
Tutorial Summaries

Software Process Improvement: Methods and Lessons Learned (PDF)

Bill Curtis , TeraQuest Metrics, Inc., Austin, Texas
pp. 624

Software Interoperability: Principles and Practice (PDF)

Jack C. Wileden , University of Massachusetts, Amherst
Alan Kaplan , Flinders University, Adelaide, Australia
pp. 631

Distributed Software Architectures (PDF)

Jeff Kramer , Imperial College of Science, Technology and Medicine, United Kingdom
Jeff Magee , Imperial College of Science, Technology and Medicine, United Kingdom
pp. 633

Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (PDF)

Stuart Faulk , University of Oregon, Eugene
Constance Heitmeyer , Naval Research Laboratory, Washington, DC
pp. 637

Software and Business Process Technology (PDF)

Volker Gruhn , LION GmbH, Germany
Wilhelm Sch?fer , Universit?t - GH - Paderborn, Germany
pp. 639

An Introduction to OMG/CORBA (PDF)

Wolfgang Emmerich , The City University, London, UK and Logon Technology Transfer, Germany
pp. 641

The Experience Factory: How to Build and Run One (PDF)

Victor Basili , University of Maryland, College Park
Frank McGarry , Computer Sciences Corporation, Lanham-Seabrook, Md.
pp. 643

The Personal Software Process (PSP)<sup>SM</sup> A Full-Day Tutorial (PDF)

Watts S. Humphrey , Carnegie Mellon University, Pittsburgh, PA
James W. Over , Carnegie Mellon University, Pittsburgh, PA
pp. 645

Making Requirements Measurable (PDF)

Bashar Nuseibeh , Imperial College, London, UK
Suzanne Robertson , Atlantic Systems Guild Ltd., London, UK
pp. 647

Defining Families: The Commonality Analysis (PDF)

Mark A. Ardis , Lucent Technologies, Naperville, IL
David M. Weiss , Lucent Technologies, Naperville, IL
pp. 649

A Survey of Object Oriented Analysis and Design Methods (PDF)

Martin Fowler , Independent Consultant, Melrose, MA
pp. 653

Simplifying the Evolution of Java Programs (PDF)

Linda M. Seiter , Boston College, Chestnut Hill, MA
Karl J. Lieberherr , Northeastern University, Boston, MA
Doug Orleans , Northeastern University, Boston, MA
pp. 655

A Primer on Empirical Studies (PDF)

D. E. Perry , Bell Laboratories, Murray Hill, NJ
A. A. Porter , University of Maryland, College Park, MD
L. G. Votta , Bell Laboratories, Naperville, IL
pp. 657

Reverse Engineering Strategies for Software Migration (PDF)

Hausi A. M? , University of Victoria, Canada
pp. 659

A Software Process Improvement Approach Tailored for Small Organizations and Small Projects (PDF)

Judith G. Brodman , LOGOS International, Inc., Needham, MA
Donna L. Johnson , LOGOS International, Inc., Lincoln, MA
pp. 661

Design Patterns for Object-Oriented Software Development (PDF)

Wolfgang Pree , Johannes Kepler University Linz, Austria
Hermann Sikora , RACON Software, Inc., Austria
pp. 663

Formal Methods for Broadband and Multimedia Systems (PDF)

Stefan Fischer , Universit? de Mont?al, Canada
Stefan Leue , University of Waterloo, Canada
pp. 665

Software Engineering Data Analysis Techniques (PDF)

Amrit L. Goel , Syracuse University, NY
Miyoung Shin , Syracuse University, NY
pp. 667

Comprehension and Evolution of Legacy Software (PDF)

Vaclav Rajlich , Wayne State University, Detroit, MI
pp. 669
Workshop Summaries

The Second ISEW Cleanroom Workshop (PDF)

Graeme Smith , Q-Labs GmbH, Germany
pp. 674

Process Modelling and Empirical Studies of Software Evolution (PDF)

Rachel Harrison , University of Southampton, UK
Martin Shepperd , Bournemouth University, UK
John W. Daly , Fraunhofer Institut (IESE), UK
pp. 675

Software Engineering (on) the World Wide Web (PDF)

David Eichmann , University of Houston - Clear Lake
pp. 676

Fourth International Workshop on Software Engineering Education (IVVSEE4) (PDF)

Laurie Werth , University of Texas at Austin
John Werth , University of Texas at Austin
pp. 677

Workshop on Software Engineering for Parallel and Distributed Systems (PDF)

GUI Agha , University of Illinois
Stefano Russo , Universiti di Napoli Federico II
pp. 678

7th International Workshop on Software Configuration Management (SCM7) (PDF)

Reidar Conradi , Norwegian University of Science and Technology (NTNU)
pp. 679

ICSE 97 Doctoral Consortium (PDF)

Michal Young , Purdue University, West Lafayette, IN
pp. 680
Joint Session - 1997 Symposium on Software Reuse (SSR)

Author Index (PDF)

pp. 711
78 ms
(Ver 3.3 (11022016))