default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Software, Volume 9, 1992
Volume 9, Number 1, January 1992
- Fuchun J. Lin, Ming T. Liu:
The Rise of Protocol Engineering - Guest Editors' Introduction. 14-15 - Gerard J. Holzmann:
Protocol Design: Redefining the State of the Art. 17-22 - Fuchun J. Lin
, Ming T. Liu:
Protocol Validation for Large-Scale Applications. 23-26 - Kshirasagar Naik, Behçet Sarikaya:
testing Communication Protocols. 27-37 - Norio Shiratori, Kaoru Takahashi, Kenji Sugawara, Tetsuo Kinoshita:
Using Artificial Intelligence in Communication System Design. 38-46
- Lynette van Zijl, Deon Mitton, Simon Crosby:
A Tool for Graphical Network Modeling and Analysis. 47-54 - Luqi:
Computer-Aided Prototyping for a Command-and-Control System Using CAPS. 56-67 - Perry A. Emrath, Sanjoy Ghosh, David A. Padua:
Detecting Nondeterminacy in Parallel Programs. 69-77
Volume 9, Number 2, March 1992
- Ronald J. Norman, Minder Chen:
Working Together to Integrate CASE - Guest Editors' Introduction. 12-16 - Minder Chen, Ronald J. Norman:
A Framework for Integrated CASE. 18-22 - Alan W. Brown, John Alexander McDermid:
Learning from IPSE's Mistakes. 23-28 - Ian Thomas, Brian A. Nejmeh:
Definitions of Tool Integration for Environments. 29-35 - Christer Fernström, Kjell-Håkan Närfelt, Lennart Ohlsson:
Software Factory Principles, Architecture, and Experiments. 36-44 - Peiwei Mi, Walt Scacchi:
Process Integration in CASE Environments. 45-53 - Matthias Jarke:
Strategies for Integrating CASE Environments. 54-61 - Jacob L. Cybulski, Karl Reed:
A Hypertext Based Software-Engineering Environment. 62-68 - Alan R. Hevner, Shirley A. Becker, Lenard B. Pedowitz:
Integrated CASE for Cleanroom Development. 69-76
- Peter C. Nelson, Anestis A. Toptsis:
Unidirectional and Bidirectional Search Algorithms. 77-83
Volume 9, Number 3, May 1992
- Elliot J. Chikofsky, David E. Martin, Hugh Chang:
Assessing the State of Tools - Guest Editors' Introduction. 18-21 - Chris F. Kemerer:
How the Learning Curve Affects CASE Tool Adoption. 23-28 - Vicky Mosley:
How to Assess Tools Efficiently and Quantitatively. 29-32 - Robert M. Poston, Michael P. Sexton:
Evaluating and Selecting Testing Tools. 33-42 - Xiping Song, Leon J. Osterweil:
Toward Objective, Systematic Design-Method Comparisons. 43-53 - Tom Nicinski:
Extending Teamwork for Architectures Diagrams. 54-60 - Joseph Robert Horgan, Aditya P. Mathur:
Assessing Testing Tools in Research and Education. 61-69
- Gene Forte:
Out of the Lab, onto the Shelf. 70-79 - James D. Palmer, N. Ann Fields:
An Integrated Environment for Requirements Engineering. 80-85 - Dror Zernik, Marc Snir, Dalia Malki:
Using Visualization Tools to Understand Concurrency. 87-92
Volume 9, Number 4, July 1992
- Pradip K. Srimani, Yashwant K. Malaiya:
Steps to Practical Reliability Meassurement - Guest Editors' Introduction. 10-12 - Frederick T. Sheldon, Krishna M. Kavi, Robert C. Tausworthe, James T. Yu, Ralph Brettschneider, William W. Everett:
Reliability Measurement: From Theory to Practice. 13-20 - Richard G. Hamlet:
Are We Testing for True Reliability? 21-27 - Norman F. Schneidewind, Ted W. Keller:
Applying Reliability Models to the Space Shuttle. 28-33 - Sarah Brocklehurst, Bev Littlewood:
New Ways to Get Accurate Reliability Measures. 34-42 - Michael R. Lyu, Allen P. Nikora:
Applying Reliability Models More Effectively. 43-52 - Nachimuthu Karunanithi, L. Darrell Whitley, Yashwant K. Malaiya:
Using Neural Networks in Reliability Prediction. 53-59
- Greg Astfalk, Irvin Lustig, Roy E. Marsten, David F. Shanno:
The Interior-Point Method for Linear Programming. 61-68
Volume 9, Number 5, September 1992
- Annie Kuntzmann-Combelles:
Software Help Wanted: Revolutionary Thinkers. 10
- Kwei-Jay Lin, Emmett J. Burke:
Guest Editors' Introduction: Coming to Grips with Real-Time Realities. 12-15 - Swaminathan Natarajan, Wei Zhao:
Issues in Building Dynamic Real-Time Systems. 16-21 - Stuart R. Faulk, John W. Brackett, Paul Ward, James Kirby Jr.:
The Core Method for Real-Time Requirements. 22-33 - Gustav Pospischil, Peter P. Puschner, Alexander Vrchoticky, Ralph Zainlinger:
Developing Real-Time Tasks With Predictable Timing. 35-44 - Prabha Gopinath, Thomas E. Bihari, Rajiv Gupta:
Compiler Support for Object-Oriented Real-Time Software. 45-50 - Magnus Morin, Simin Nadjm-Tehrani, Per Österling, Erik Sandewall:
Real-Time Hierarchical Control. 51-57 - Kang G. Shin, Dilip D. Kandlur, Daniel L. Kiskis, Paul S. Dodd, Harold A. Rosenberg, Atri Indiresan:
A Distributed Real-Time Operating System. 58-68
- Alan M. Davis:
Operational Prototyping: A New Development Approach. 70-78 - Robert G. Reynolds, Jonathan I. Maletic, Stephen E. Porvin:
Stepwise Refinement and Problem Solving. 79-88 - Leon J. Osterweil, Lori A. Clarke:
A Proposed Testing and Analysis Research Initiative. 89-96
Volume 9, Number 6, November 1992
- Jim Rudolf, Cathy Waite:
Completing the Job of Interface Design. 11-22 - Raimund K. Ege, Christian Stary:
Designing Maintainable Reusable Interfaces. 24-32 - Bruce Oberg, David Notkin:
Error Reporting with Graduated Color. 33-38
- Richard D. Schneeman:
Porting Multimedia Applications to the Open System Environment. 39-47 - John C. Munson, Taghi M. Khoshgoftaar:
Measuring Dynamic Program Complexity. 48-55 - Barbara B. Wyatt, Krishna M. Kavi, Stephen P. Hufnagel:
Parallelism in Object-Oriented Languages: A Survey. 56-66 - Leonardo A. Lopez, Karim A. Valimohammed, Linda G. Schub:
An Environment for Painless MIMD System Development. 67-76 - Luqi, Winston Royce:
Status Report: Computer-Aided Prototyping. 77-81
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 2025-11-02 21:07 CET 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:
