Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th ICSE 1992: Melbourne, Australia
- Tony Montgomery, Lori A. Clarke, Carlo Ghezzi:
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, George 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-29 23:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
