External Links

    Journal: IEEE Software

    Volume 8, Issue 4

    11 -- 23Watts S. Humphrey, Terry R. Snyder, Ronald R. Willis. Software Process Improvement at Hughes Aircraft
    25 -- 41Terry Bollinger, Clement L. McGowan. A Critical Look at Software Capability Evaluations
    42 -- 46Watts S. Humphrey, Bill Curtis. Comments on A Critical Look
    48 -- 59Nancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall. Safety Verification of Ada Programs Using Software Fault Trees
    61 -- 71John P. J. Kelly, Thomas I. McVittie, Wayne I. Yamamoto. Implementing Design Diversity to Achieve Fault Tolerance
    72 -- 80Gary T. Leavens. Modular Specification and Verification of Object-Oriented Programs
    81 -- 89Mitchell D. Lubars. Representing Design Dependencies in an Issue-Based Style
    runs on