14. ICSE 1992: Melbourne, Australia

Keynote Addresses

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

Measurement and Prediction

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

Software Analysis and Testing

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

Environment Support

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

Software Evolution

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

Real-Time Systems

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

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
  
• Gruia-Catalin Roman, Rose F. Gamble, William E. Ball:
  Seeking Concurrency in Rule-Based Programming. 225-234
  
• Trevor W. Pearce, David Alex Lamb:
  The Property Vector Specification of a Multiset Iterator. 235-245
  
• Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis:
  A Toolbox for the Verification of LOTOS Programs. 246-259
  

Software Processes

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

Tools

• Robert J. Hall:
  Call Path Profiling. 296-306
  
• Premkumar T. Devanbu:
  GENOA: A Customizable Language- and Front-End Independent Code Analyzer. 307-317
  

Software Re-Use

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

Perspective

• Walter F. Tichy:
  Programming-in-the-Large: Past, Present, and Future. 362-367
  

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
  
• Richard E. Fairley:
  Recent Advances in Software Estimation Techniques. 382-391
  
• Susan Horwitz, Thomas W. Reps:
  The Use of Program Dependence Graphs in Software Engineering. 392-411
  
• Gruia-Catalin Roman, Kenneth C. Cox:
  Program Visualization: The Art of Mapping Programs to Pictures. 412-420