The Community for Technology Leaders
1995 17th International Conference on Software Engineering (ICSE) (1995)
Seattle, Washington, USA
April 23, 1995 to April 30, 1995
ISSN: 0270-5257
ISBN: 0-89791-708-1
TABLE OF CONTENTS

Completeness and Consistency Analysis of State-Based Requirements (Abstract)

Mats P. E. Heimdahl , Michigan State University
Nancy G. Leveson , University of Washington
pp. 3

Deriving Specifications from Requirements: an Example (Abstract)

Michael Jackson , AT&T Bell Laboratories and MAJ Consulting Ltd, London, England
Pamela Zave , AT&T Bell Laboratories, Murray Hill, NJ
pp. 15

Effect of Test Set Minimization on Fault Detection Effectiveness (Abstract)

W. Eric Wong , Bell Communications Research, Morristown, NJ
Joseph R. Horgan , Bell Communications Research, Morristown, NJ
Saul London , Bell Communications Research, Morristown, NJ
Aditya P. Mathur , Purdue University, W. Lafayette, IN
pp. 41

Testing Real-Time Constraints in a Process Algebraic Setting (Abstract)

Duncan Clarke , University of Pennsylvania, Philadelphia, PA
Insup Lee , University of Pennsylvania, Philadelphia, PA
pp. 51

Using Testability Measures for Dependability Assessment (Abstract)

Antonia Bertolino , Istituto di Elaborazione della Informazione del CNR via S. Maria, Italy
Lorenzo Strigini , Istituto di Elaborazione della Informazione del CNR via S. Maria, Italy
pp. 61

Automating Process Discovery through Event-Data Analysis (Abstract)

Jonathan E. Cook , University of Colorado, Boulder
Alexander L. Wolf , University of Colorado, Boulder
pp. 73

Using Event Contexts and Matching Constraints to Monitor Software Processes (Abstract)

Naser S. Barghouti , AT&T Bell Laboratories, Murray Hill, NJ
Balachander Krishnamurthy , AT&T Bell Laboratories, Murray Hill, NJ
pp. 83

An Organizational Learning Approach to Domain Analysis (Abstract)

Scott Henninger , University of Nebraska-Lincoln, NE
Kris Lappala , University of Nebraska-Lincoln, NE
Anand Raghavendran , University of Nebraska-Lincoln, NE
pp. 95

Managing Software Reuse--An Experience Report (Abstract)

Susan Rosenbaum , Schlumberger Austin Systems Center, Austin, TX
Bertrand du Castel , Schlumberger Austin Systems Center, Austin, TX
pp. 105

An experience in process assessment (Abstract)

Fabiano Cattaneo , Politecnico di Milano and CEFRIEL
Alfonso Fuggetta , Politecnico di Milano and CEFRIEL
Luigi Lavazza , Politecnico di Milano and CEFRIEL
pp. 115

Improvement of Software Process by Process Description and Benefit Estimation (Abstract)

Toshifumi Tanaka , OMRON Corporation
Keishi Sakamoto , OMRON Corporation
Shinji Kusumoto , Osaka University
Ken-ichi Matsumoto , Nara Institute of Science and Technology
Tohru Kikuno , Osaka University
pp. 123

Characterizing and Assessing a Large-Scale Software Maintenance Organization (Abstract)

Lionel Briand , CRIM, Canada
Walcelio Melo , University of Maryland, College Park
Carolyn Seaman , University of Maryland, College Park
Victor Basili , University of Maryland, College Park
pp. 133

A Compact Petri Net Representation for Concurrent Programs (Abstract)

Matthew B. Dwyer , University of Massachusetts, Amherst
Lori A. Clarke , University of Massachusetts, Amherst
Kari A. Nies , University of California, Irvine
pp. 147

A Framework for Evaluating Specification Methods for Reactive Systems (Abstract)

Mark A. Ardis , AT&T Bell Laboratories, Naperville, IL
John A. Chaves , AT&T Bell Laboratories, Naperville, IL
Lalita Jategaonkar Jagadeesan , AT&T Bell Laboratories, Naperville, IL
Peter Mataga , AT&T Bell Laboratories, Naperville, IL
Carlos Puchol , AT&T Bell Laboratories, Naperville, IL
Mark G. Staskauskas , AT&T Bell Laboratories, Naperville, IL
James Von Olnhausen , AT&T Bell Laboratories, Naperville, IL
pp. 159

PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method (Abstract)

Kyo C. Kang , Pohang University of Science and Technology, Korea
Kwang-Il Ko , Pohang University of Science and Technology, Korea
pp. 169

Architectural Mismatch or Why it's hard to build systems out of existing parts (Abstract)

David Garlan , Carnegie Mellon University, Pittsburgh, PA
Robert Allen , Carnegie Mellon University, Pittsburgh, PA
John Ockerbloom , Carnegie Mellon University, Pittsburgh, PA
pp. 179

Reverse Engineering to the Architectural Level (Abstract)

David R. Harris , The MITRE Corporation, Bedford, MA
Howard B. Reubenstein , GTE Laboratories, Waltham, MA
Alexander S. Yeh , The MITRE Corporation, Bedford, MA
pp. 186

Software Architecture in Industrial Applications (Abstract)

Dilip Soni , Siemens Corporate Research Inc., Princeton, NJ
Robert L. Nord , Siemens Corporate Research Inc., Princeton, NJ
Christine Hofmeister , Siemens Corporate Research Inc., Princeton, NJ
pp. 196

A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies (Abstract)

Craig Chambers , University of Washington, Seattle
Jeffrey Dean , University of Washington, Seattle
David Grove , University of Washington, Seattle
pp. 221

Towards a Formal Semantics of Parnas Tables (Abstract)

Ryszard Janicki , McMaster University, Ontario, Canada
pp. 231

Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach (Abstract)

Barry Boehm , University of Southern California
Prasanta Bose , University of Southern California
Ellis Horowitz , University of Southern California
Ming June Lee , University of Southern California
pp. 243

Decentralised Process Enactment in a Multi-Perspective Development Environment (Abstract)

Ulf Leonhardt , Imperial College, London, UK
Jeff Kramer , Imperial College, London, UK
Bashar Nuseibeh , Imperial College, London, UK
Anthony Finkelstein , City University, London, UK
pp. 255

How To Deal With Deviations During Process Model Enactment (Abstract)

G. Cugola , Politecnico di Milano, Italy
E. Di Nitto , Politecnico di Milano, Italy
C. Ghezzi , Politecnico di Milano, Italy
M. Mantione , Politecnico di Milano, Italy
pp. 265

Experimental Software Engineering: A Report on the State of the Art (Abstract)

Lawrence G. Votta , AT&T Bell Laboratories, Naperville, Illinois
Adam Porter , University of Maryland, College Park
pp. 277

The World and the Machine (Abstract)

Michael Jackson , MAJ Consulting Ltd, London, England
pp. 283

A Component- and Message-Based Architectural Style for GUI Software (Abstract)

Richard N. Taylor , University of California, Irvine
Nenad Medvidovic , University of California, Irvine
Kenneth M. Anderson , University of California, Irvine
E. James Whitehead Jr. , University of California, Irvine
Jason E. Robbins , University of California, Irvine
pp. 295

An Architecture for Integrating Concurrency Control into Environment Frameworks (Abstract)

George T. Heineman , Columbia University, New York, NY
Gail E. Kaiser , Columbia University, New York, NY
pp. 305

Tool Integration: Experiences and Directions (Abstract)

Bob Gautier , University of Wales Aberystwyth, UK
Chris Loftus , University of Wales Aberystwyth, UK
Edel Sherratt , University of Wales Aberystwyth, UK
Lynda Thomas , University of Wales Aberystwyth, UK
pp. 315

Reverse Engineering of Legacy Code Exposed (Abstract)

Bruce W. Weide , The Ohio State University, Columbus
Wayne D. Heym , The Ohio State University, Columbus
Joseph E. Hollingsworth , Indiana University Southeast, New Albany
pp. 327

Reverse Engineering of Legacy Systems: A Path Toward Success (Abstract)

Alex Quilici , University of Hawaii at Manoa
pp. 333
80 ms
(Ver 3.3 (11022016))