IEEE Software, Volume 9, 1992

Volume 9, Number 1, January 1992

Network Protocols

• 
  Fuchun J. Lin, Ming T. Liu:
  The Rise of Protocol Engineering - Guest Editors' Introduction. IEEE Software 9(1): 14-15 (1992)
• 
  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

Special Features

• 
  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

Integrated CASE

• 
  Ronald J. Norman, Minder Chen:
  Working Together to Integrate CASE - Guest Editors' Introduction. IEEE Software 9(2): 12-16 (1992)
• 
  Minder Chen, Ronald J. Norman:
  A Framework for Integrated CASE. 18-22
• 
  Alan W. Brown, John A. 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

Special Features

• 
  Peter C. Nelson, Anestis A. Toptsis:
  Unidirectional and Bidirectional Search Algorithms. 77-83

Volume 9, Number 3, May 1992

Tools Assessment

• 
  Elliot J. Chikofsky, David E. Martin, Hugh Chang:
  Assessing the State of Tools - Guest Editors' Introduction. IEEE Software 9(3): 18-21 (1992)
• 
  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

Special Features

• 
  Gene Forte:
  Out of the Lab, onto the Shelf. IEEE Software 9(3): 70-79 (1992)
• 
  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

Reliability Meassurement

• 
  Pradip K. Srimani, Yashwant K. Malaiya:
  Steps to Practical Reliability Meassurement - Guest Editors' Introduction. IEEE Software 9(4): 10-12 (1992)
• 
  Frederick T. Sheldon, Krishna M. Kavi, Robert 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, Darrell Whitley, Yashwant K. Malaiya:
  Using Neural Networks in Reliability Prediction. 53-59

Special Features

• 
  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

Insider

• 
  Annie Kuntzmann-Combelles:
  Software Help Wanted: Revolutionary Thinkers. 10

Theme Articles

• 
  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

Special Features

• 
  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

Interface Design

• 
  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

Special Features

• 
  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