default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Software, Volume 8, 1991
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 J. 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 T. 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 Y. 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
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 2024-11-15 19:42 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:
