ICSE A*

34 papers

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