ICSE 1992

33 papers

1. A General Economics Model of Software Reuse · John E. Gaffney Jr., R. D. Cruickshank
2. A Measure for Composite Module Cohesion · Sukesh Patel, William C. Chu, Rich Baxter
3. A Toolbox for the Verification of LOTOS Programs · Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodríguez, Joseph Sifakis
4. Behavior Sampling: A Technique for Automated Retrieval of Reusable Components · Andy Podgurski, Lynn Pierce
5. Call Path Profiling · Robert J. Hall
6. Concepts and Implementation of a Rule-Based Process Engine · Burkhard Peuschel, Wilhelm Schäfer
7. Connecting Software Components with Declarative Glue · Brian W. Beach
8. Design of Dependable Real-Time Systems · Andrew M. Lister
9. Estimating Software Fault Content Cefore Coding · Stephen G. Eick, Clive R. Loader, M. David Long, Lawrence G. Votta, Scott A. Vander Wiel
10. Experience Report on Software Reuse Project: Its Structure, Activities, and Statistical Results · Sadahiro Isoda
11. Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL · Farn Wang, Aloysius K. Mok, E. Allen Emerson
12. GENOA: A Customizable Language- and Front-End Independent Code Analyzer · Premkumar T. Devanbu
13. Graphical Specifications for Concurrent Software Systems · Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
14. High-Pressure Steam Engines and Computer Software · Nancy G. Leveson
15. Incremental Testing of Object-Oriented Class Structures · Mary Jean Harrold, John D. McGregor, Kevin J. Fitzpatrick
16. Object-Oriented Analysis for Evolving Systems · Mitchell D. Lubars, Greg Meredith, Colin Potts, Charles Richter
17. Process Programming by Hindsight · Pankaj K. Garg, Sanjay Bhansali
18. Productivity Analysis of Software Development with an Integrated CASE Tool · Michio Tsuda, Yosuke Morioka, Masato Takadachi, Mayumi Takahashi
19. Program Visualization: The Art of Mapping Programs to Pictures · Gruia-Catalin Roman, Kenneth C. Cox
20. Programming-in-the-Large: Past, Present, and Future · Walter F. Tichy
21. Recent Advances in Software Estimation Techniques · Richard E. Fairley
22. Seeking Concurrency in Rule-Based Programming · Gruia-Catalin Roman, Rose F. Gamble, William E. Ball
23. Software Evolution through Iterative Prototyping · Neil M. Goldman, Khaled Narayanaswamy
24. Software Reuse Economics: Cost-Benefit Analysis on a Large-Scale Ada Project · Johan Margono, Thomas E. Rhoads
25. Specification-Based Test Oracles for Reactive Systems · Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley
26. Testing for Linear Errors in Nonlinear Computer Programs · Faten H. Afifi, Lee J. White, Steven J. Zeil
27. The Property Vector Specification of a Multiset Iterator · Trevor W. Pearce, David Alex Lamb
28. The Software Engineering Laboratory: An Operational Software Experience Factory · Victor R. Basili, Gianluigi Caldiera, Frank E. McGarry, Rose Pajerski, Gerald T. Page, Sharon Waligora
29. The Use of Program Dependence Graphs in Software Engineering · Susan Horwitz, Thomas W. Reps
30. Towards a Method of Programming With Assertions · David S. Rosenblum
31. Trusted Computing Systems: The ProCoS Experience · Dines Bjørner
32. Validating Real-Time Systems by History-Checking TRIO Specifications · Miguel Felder, Angelo Morzenti
33. Visualizing and Querying Software Structures · Mariano P. Consens, Alberto O. Mendelzon, Arthur G. Ryman