14. ICSE 1992: Melbourne, Australia

Keynote Addresses

• Nancy G. Leveson:
  High-Pressure Steam Engines and Computer Software. 2-14
  Electronic Edition (ACM DL) BibTeX
• Dines Bjørner:
  Trusted Computing Systems: The ProCoS Experience. 15-34
  Electronic Edition (ACM DL) BibTeX
• Andrew M. Lister:
  Design of Dependable Real-Time Systems. 35-36
  Electronic Edition (ACM DL) BibTeX

Measurement and Prediction

• Sukesh Patel, William C. Chu, Rich Baxter:
  A Measure for Composite Module Cohesion. 38-48
  Electronic Edition (ACM DL) BibTeX
• Michio Tsuda, Yosuke Morioka, Masato Takadachi, Mayumi Takahashi:
  Productivity Analysis of Software Development with an Integrated CASE Tool. 49-58
  Electronic Edition (ACM DL) BibTeX
• Stephen G. Eick, Clive R. Loader, M. David Long, Lawrence G. Votta, Scott A. Vander Wiel:
  Estimating Software Fault Content Cefore Coding. 59-65
  Electronic Edition (ACM DL) BibTeX

Software Analysis and Testing

• Mary Jean Harrold, John D. McGregor, Kevin J. Fitzpatrick:
  Incremental Testing of Object-Oriented Class Structures. 68-80
  Electronic Edition (ACM DL) BibTeX
• Faten H. Afifi, Lee J. White, Steven J. Zeil:
  Testing for Linear Errors in Nonlinear Computer Programs. 81-91
  Electronic Edition (ACM DL) BibTeX
• David S. Rosenblum:
  Towards a Method of Programming With Assertions. 92-104
  Electronic Edition (ACM DL) BibTeX
• Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley:
  Specification-Based Test Oracles for Reactive Systems. 105-118
  Electronic Edition (ACM DL) BibTeX

Environment Support

• Brian W. Beach:
  Connecting Software Components with Declarative Glue. 120-137
  Electronic Edition (ACM DL) BibTeX
• Mariano P. Consens, Alberto O. Mendelzon, Arthur G. Ryman:
  Visualizing and Querying Software Structures. 138-156
  Electronic Edition (ACM DL) BibTeX

Software Evolution

• Neil M. Goldman, Khaled Narayanaswamy:
  Software Evolution through Iterative Prototyping. 158-172
  Electronic Edition (ACM DL) BibTeX
• Mitchell D. Lubars, Greg Meredith, Colin Potts, Charles Richter:
  Object-Oriented Analysis for Evolving Systems. 173-185
  Electronic Edition (ACM DL) BibTeX

Real-Time Systems

• Farn Wang, Aloysius K. Mok, E. Allen Emerson:
  Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. 188-198
  Electronic Edition (ACM DL) BibTeX
• Miguel Felder, Angelo Morzenti:
  Validating Real-Time Systems by History-Checking TRIO Specifications. 199-211
  Electronic Edition (ACM DL) BibTeX

Formal Methods

• Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna:
  Graphical Specifications for Concurrent Software Systems. 214-224
  Electronic Edition (ACM DL) BibTeX
• Gruia-Catalin Roman, Rose F. Gamble, William E. Ball:
  Seeking Concurrency in Rule-Based Programming. 225-234
  Electronic Edition (ACM DL) BibTeX
• Trevor W. Pearce, David Alex Lamb:
  The Property Vector Specification of a Multiset Iterator. 235-245
  Electronic Edition (ACM DL) BibTeX
• Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis:
  A Toolbox for the Verification of LOTOS Programs. 246-259
  Electronic Edition (ACM DL) BibTeX

Software Processes

• Burkhard Peuschel, Wilhelm Schäfer:
  Concepts and Implementation of a Rule-Based Process Engine. 262-279
  Electronic Edition (ACM DL) BibTeX
• Pankaj K. Garg, Sanjay Bhansali:
  Process Programming by Hindsight. 280-293
  Electronic Edition (ACM DL) BibTeX

Tools

• Robert J. Hall:
  Call Path Profiling. 296-306
  Electronic Edition (ACM DL) BibTeX
• Premkumar T. Devanbu:
  GENOA: A Customizable Language- and Front-End Independent Code Analyzer. 307-317
  Electronic Edition (ACM DL) BibTeX

Software Re-Use

• Sadahiro Isoda:
  Experience Report on Software Reuse Project: Its Structure, Activities, and Statistical Results. 320-326
  Electronic Edition (ACM DL) BibTeX
• John E. Gaffney Jr., R. D. Cruickshank:
  A General Economics Model of Software Reuse. 327-337
  Electronic Edition (ACM DL) BibTeX
• Johan Margono, Thomas E. Rhoads:
  Software Reuse Economics: Cost-Benefit Analysis on a Large-Scale Ada Project. 338-348
  Electronic Edition (ACM DL) BibTeX
• Andy Podgurski, Lynn Pierce:
  Behavior Sampling: A Technique for Automated Retrieval of Reusable Components. 349-360
  Electronic Edition (ACM DL) BibTeX

Perspective

• Walter F. Tichy:
  Programming-in-the-Large: Past, Present, and Future. 362-367
  Electronic Edition (ACM DL) BibTeX

State of the Art Reports (Invited Papers)

• Victor R. Basili, Gianluigi Caldiera, Frank E. McGarry, Rose Pajerski, Gerald T. Page, Sharon Waligora:
  The Software Engineering Laboratory: An Operational Software Experience Factory. 370-381
  Electronic Edition (ACM DL) BibTeX
• Richard E. Fairley:
  Recent Advances in Software Estimation Techniques. 382-391
  Electronic Edition (ACM DL) BibTeX
• Susan Horwitz, Thomas W. Reps:
  The Use of Program Dependence Graphs in Software Engineering. 392-411
  Electronic Edition (ACM DL) BibTeX
• Gruia-Catalin Roman, Kenneth C. Cox:
  Program Visualization: The Art of Mapping Programs to Pictures. 412-420
  Electronic Edition (ACM DL) BibTeX