Volume 8, Number 1, January 1991

• 
  Bruce H. Barnes, Terry Bollinger: Making Reuse Cost-Effective. 13-24
• 
  Glen W. Russell: Experience with Inspection in Ultralarge-Scale Developments. 25-31
• 
  Barry W. Boehm: Software Risk Management: Principles and Practices. 32-41

• 
  James L. Elshoff, Michael Marcotty: Microtool: An Environment for Programming Microprocessors. 42-48
• 
  Scott Myers: Difficulties in Integrating Multiview Development Systems. 49-57
• 
  Timothy A. Budd: Blending Imperative and Relational Programming. 58-65
• 
  Santosh K. Shrivastava, Graeme N. Dixon, Graham D. Parrington: An Overview of the Arjuna Distributed Programming System. 66-73
• 
  David C. Luckham, Sriram Sankar, Shuzo Takahashi: Two-Dimensional Pinpointing: Debugging with Formal Specifications. 74-84

Volume 8, Number 2, March 1991

• 
  Ytzhak H. Levendel: Improving Quality with a Manufacturing Process. 13-25
• 
  Jason Su, Paul R. Ritter: Experience in Testing the Motif Interface. 26-33
• 
  Susan A. Sherer: A Cost-Effective Approach to Testing. 34-40
• 
  Jeffrey M. Voas, Larry J. Morell, Keith W. Miller: Predicting Where Faults Can Hide from Testing. 41-48
• 
  Richard Denney: Test-Case Generation from Prolog-Based Specifications. 49-57
• 
  Mary Jean Harrold, Mary Lou Soffa: Selecting and Using Data fro Integration Testing. 58-65
• 
  Richard H. Carver, Kuo-Chung Tai: Replay and Testing fro Concurrent Programs. 66-74

• 
  Guillermo Arango, Laurent Bruneau, Jean-François Clorec, Albert Feroldi: A Tool Shell for Tracking Design Decisions. 75-83
• 
  Mehmet Aksit, Jan Willem Dijkstra, Anand R. Tripathi: Atomic Delegation: Object-Oriented Transactions. 84-92

Volume 8, Number 3, May 1991

• 
  Thomas G. Moher, Paul R. Wilson: Offsetting Human Limits With Debugging Technoloy - Guest Editors' Introduction. 11-13
• 
  Keijiro Araki, Zengo Furukawa, Jingde Cheng: A General Framework for Debugging. 14-20
• 
  Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford: An Execution-Backtracking Approach to Debugging. 21-26
• 
  Ronald A. Olsson, Richard H. Crawford, W. Wilson Ho, Christopher E. Wee: Sequential Debugging at a High Level of Abstraction. 27-36
• 
  M. Krish Ponamgi, Wenwey Hseush, Gail E. Kaiser: Debugging Multithreaded Programs with MPD. 37-43
• 
  Takao Shimomura, Sadahiro Isoda: Linked-List Visualization for Debugging. 44-51
• 
  David S. Rosenblum: Specifying Concurrent Systems with TSL. 52-61

• 
  John A. Stankovic, Krithi Ramamritham: The Spring Kernel: A New Paradigm for Real-Time Systems. 62-72
• 
  Steve Engelstad, Keith Falck, Warren A. Montgomery, Joe Neumann, Ralph Straubs, Jim Vandendorpe, Mike Wilde: A Dynamic C-Based Object-Oriented System for UNIX. 73-85
• 
  Maryam Alavi, James C. Wetherbe: Mixing Prototyping and Data Modeling for Information-System Design. 86-91
• 
  Jack Dongarra, Alan H. Karp, Ken Miura, Horst D. Simon: 1990 Gordon Bell Prize Winners. 92-97

Volume 8, Number 4, July 1991

• 
  Watts S. Humphrey, Terry R. Snyder, Ronald R. Willis: Software Process Improvement at Hughes Aircraft. 11-23
• 
  Terry Bollinger, Clement L. McGowan: A Critical Look at Software Capability Evaluations. 25-41
• 
  Watts S. Humphrey, Bill Curtis: Comments on 'A Critical Look'. 42-46

• 
  Nancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall: Safety Verification of Ada Programs Using Software Fault Trees. 48-59
• 
  John P. J. Kelly, Thomas I. McVittie, Wayne I. Yamamoto: Implementing Design Diversity to Achieve Fault Tolerance. 61-71
• 
  Gary T. Leavens: Modular Specification and Verification of Object-Oriented Programs. 72-80
• 
  Mitchell D. Lubars: Representing Design Dependencies in an Issue-Based Style. 81-89

Volume 8, Number 5, September 1991

• 
  Kathleen M. Nichols, Paul W. Oman: Navigating Complexity to Achieve High Performance - Guest Editors' Introduction. 12-15
• 
  Allen D. Malony, David H. Hammerslag, David Jablonowski: Traceview: A Trace Visualization Tool. 19-28
• 
  Michael T. Heath, Jennifer A. Etheridge: Visualizing the Performance of Parallel Programs. 29-39
• 
  Kevin B. Kenny, Kwei-Jay Lin: Measuring and Analyzing Real-Time Performance. 41-49
• 
  Jon Flower, Adam Kolawa, Timothy Liang, Victor Weingarten: Finite-Element Analysis on a PC. 50-57
• 
  Cynthia A. Funka-Lea, Tasos D. Kontogiorgos, Robert J. T. Morris, Larry D. Rubin: Interactive Visual Modeling for Performance. 58-68
• 
  Joseph A. Couvillion, Roberto S. Freire, Ron Johnson, W. Douglas Obal II, Muhammad A. Qureshi, Manish Rai, William H. Sanders, Janet E. Tvedt: Performability Modeling with UltraSAN. 69-80

• 
  Walter Cunto, Jorge Araujo, Federico Giovannetti, Juan Rivero: Fplus: A Programming Environment for Scientific Applications. 81-92

Volume 8, Number 6, November 1991

• 
  K. Mani Chandy, Carl Kesselman: Parallel Programming in 2001. 11-20

• 
  Raymond T. Yeh, David A. Naumann, Roland Mittermeir, Reinhard A. Schlemmer, William S. Gilmore, George E. Sumrall, John T. Lebaron: A Commonsense Management Model. 23-33

• 
  Virginio Cantoni, Stefano Levialdi: Languages and Environments for Vision Applications - Guest Editors' Introduction. 34-36
• 
  Bertrand Zavidovique, Véronique Serfaty, Christian Fortunel: Mechanisms to Capture and Communicate Image-Processing Expertise. 37-50
• 
  Anthony P. Reeves: Parallel Programming for Computer Vision. 51-59

last updated on Sat May 18 06:37:41 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page