|
|
Conferences in DBLP
- Nancy G. Leveson
High-Pressure Steam Engines and Computer Software. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:2-14 [Conf]
- Dines Bjørner
Trusted Computing Systems: The ProCoS Experience. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:15-34 [Conf]
- Andrew M. Lister
Design of Dependable Real-Time Systems. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:35-36 [Conf]
- Sukesh Patel, William C. Chu, Rich Baxter
A Measure for Composite Module Cohesion. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:38-48 [Conf]
- Michio Tsuda, Yosuke Morioka, Masato Takadachi, Mayumi Takahashi
Productivity Analysis of Software Development with an Integrated CASE Tool. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:49-58 [Conf]
- Stephen G. Eick, Clive R. Loader, M. David Long, Lawrence G. Votta, Scott A. Vander Wiel
Estimating Software Fault Content Cefore Coding. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:59-65 [Conf]
- Mary Jean Harrold, John D. McGregor, Kevin J. Fitzpatrick
Incremental Testing of Object-Oriented Class Structures. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:68-80 [Conf]
- Faten H. Afifi, Lee J. White, Steven J. Zeil
Testing for Linear Errors in Nonlinear Computer Programs. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:81-91 [Conf]
- David S. Rosenblum
Towards a Method of Programming With Assertions. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:92-104 [Conf]
- Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley
Specification-Based Test Oracles for Reactive Systems. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:105-118 [Conf]
- Brian W. Beach
Connecting Software Components with Declarative Glue. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:120-137 [Conf]
- Mariano P. Consens, Alberto O. Mendelzon, Arthur G. Ryman
Visualizing and Querying Software Structures. [Citation Graph (1, 0)][DBLP]
ICSE, 1992, pp:138-156 [Conf]
- Neil M. Goldman, Khaled Narayanaswamy
Software Evolution through Iterative Prototyping. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:158-172 [Conf]
- Mitchell D. Lubars, Greg Meredith, Colin Potts, Charles Richter
Object-Oriented Analysis for Evolving Systems. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:173-185 [Conf]
- Farn Wang, Aloysius K. Mok, E. Allen Emerson
Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:188-198 [Conf]
- Miguel Felder, Angelo Morzenti
Validating Real-Time Systems by History-Checking TRIO Specifications. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:199-211 [Conf]
- Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
Graphical Specifications for Concurrent Software Systems. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:214-224 [Conf]
- Gruia-Catalin Roman, Rose F. Gamble, William E. Ball
Seeking Concurrency in Rule-Based Programming. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:225-234 [Conf]
- Trevor W. Pearce, David Alex Lamb
The Property Vector Specification of a Multiset Iterator. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:235-245 [Conf]
- Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis
A Toolbox for the Verification of LOTOS Programs. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:246-259 [Conf]
- Burkhard Peuschel, Wilhelm Schäfer
Concepts and Implementation of a Rule-Based Process Engine. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:262-279 [Conf]
- Pankaj K. Garg, Sanjay Bhansali
Process Programming by Hindsight. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:280-293 [Conf]
- Robert J. Hall
Call Path Profiling. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:296-306 [Conf]
- Premkumar T. Devanbu
GENOA: A Customizable Language- and Front-End Independent Code Analyzer. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:307-317 [Conf]
- Sadahiro Isoda
Experience Report on Software Reuse Project: Its Structure, Activities, and Statistical Results. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:320-326 [Conf]
- John E. Gaffney Jr., R. D. Cruickshank
A General Economics Model of Software Reuse. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:327-337 [Conf]
- Johan Margono, Thomas E. Rhoads
Software Reuse Economics: Cost-Benefit Analysis on a Large-Scale Ada Project. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:338-348 [Conf]
- Andy Podgurski, Lynn Pierce
Behavior Sampling: A Technique for Automated Retrieval of Reusable Components. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:349-360 [Conf]
- Walter F. Tichy
Programming-in-the-Large: Past, Present, and Future. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:362-367 [Conf]
- Victor R. Basili, Gianluigi Caldiera, Frank E. McGarry, Rose Pajerski, Gerald T. Page, Sharon Waligora
The Software Engineering Laboratory: An Operational Software Experience Factory. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:370-381 [Conf]
- Richard E. Fairley
Recent Advances in Software Estimation Techniques. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:382-391 [Conf]
- Susan Horwitz, Thomas W. Reps
The Use of Program Dependence Graphs in Software Engineering. [Citation Graph (1, 0)][DBLP]
ICSE, 1992, pp:392-411 [Conf]
- Gruia-Catalin Roman, Kenneth C. Cox
Program Visualization: The Art of Mapping Programs to Pictures. [Citation Graph (0, 0)][DBLP]
ICSE, 1992, pp:412-420 [Conf]
|
