14. ICSE 1992: Melbourne, Australia

Tony Montgomery, Lori A. Clarke, Carlo Ghezzi (Eds.): Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992. ACM Press 1992, ISBN 0-89791-504-6

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

Last update Fri May 24 03:07:46 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page