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

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

Nancy G. Leveson , University of Washington
Mats P. E. Heimdahl , Michigan State University
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
Testing

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

Aditya P. Mathur , Purdue University, W. Lafayette, IN
Joseph R. Horgan , Bell Communications Research, Morristown, NJ
Saul London , Bell Communications Research, Morristown, NJ
W. Eric Wong , Bell Communications Research, Morristown, NJ
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
Process I

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)

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

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)

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

An experience in process assessment (Abstract)

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

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

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

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

Walc?lio Melo , University of Maryland, College Park
Victor Basili , University of Maryland, College Park
Lionel Briand , CRIM, Canada
Carolyn Seaman , University of Maryland, College Park
pp. 133
Concurrency

A Compact Petri Net Representation for Concurrent Programs (Abstract)

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

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

Carlos Puchol , AT&T Bell Laboratories, Naperville, IL
John A. Chaves , AT&T Bell Laboratories, Naperville, IL
Peter Mataga , AT&T Bell Laboratories, Naperville, IL
Mark G. Staskauskas , AT&T Bell Laboratories, Naperville, IL
Lalita Jategaonkar Jagadeesan , AT&T Bell Laboratories, Naperville, IL
James Von Olnhausen , AT&T Bell Laboratories, Naperville, IL
Mark A. Ardis , 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
Architecture

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

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

Reverse Engineering to the Architectural Level (Abstract)

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

Software Architecture in Industrial Applications (Abstract)

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

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

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

Towards a Formal Semantics of Parnas Tables (Abstract)

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

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

Barry Boehm , University of Southern California
Ellis Horowitz , University of Southern California
Prasanta Bose , 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
Bashar Nuseibeh , Imperial College, London, UK
Jeff Kramer , Imperial College, London, UK
Anthony Finkelstein , City University, London, UK
pp. 255

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

M. Mantione , Politecnico di Milano, Italy
C. Ghezzi , Politecnico di Milano, Italy
E. Di Nitto , Politecnico di Milano, Italy
G. Cugola , Politecnico di Milano, Italy
pp. 265
State-of-the-Art (Invited)

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
Keynote (Invited)

The World and the Machine (Abstract)

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

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

Kenneth M. Anderson , University of California, Irvine
Nenad Medvidovic , University of California, Irvine
Richard N. Taylor , University of California, Irvine
Jason E. Robbins , University of California, Irvine
E. James Whitehead Jr. , 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)

Edel Sherratt , University of Wales Aberystwyth, UK
Chris Loftus , University of Wales Aberystwyth, UK
Bob Gautier , University of Wales Aberystwyth, UK
Lynda Thomas , University of Wales Aberystwyth, UK
pp. 315
Panel: Tractability of Reverse Engineering

Reverse Engineering of Legacy Code Exposed (Abstract)

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

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

Alex Quilici , University of Hawaii at Manoa
pp. 333
98 ms
(Ver )