External Links

    Journal: IEEE Software

    Volume 7, Issue 6

    9 -- 12Ted G. Lewis, Paul W. Oman. The Challenge of Software Development - Guest Editors Introduction
    15 -- 24Mary Shaw. Prospects for an Engineering Discipline of Software
    25 -- 33Brad J. Cox. Planning the Software Industrial Revolution
    36 -- 43John D. Musa, William W. Everett. Software-Reliability Engineering: Technology for the 1990s
    44 -- 54Richard H. Cobb, Harlan D. Mills. Engineering Software under Statistical Quality Control
    55 -- 62Nancy G. Leveson. The Challenge of Building Process-Control Software
    63 -- 68Tadao Ichikawa, Masahito Hirakawa. Iconic Programming: Where to Go?
    71 -- 77Carl K. Chang, George B. Trubow. Joint Software Research Between Industry and Academia
    78 -- 82Tom DeMarco. Making a Difference in the Schools

    Volume 7, Issue 5

    6 -- 10Susan L. Gerhart. Applications of Formal Methods: Develoment Virtuoso Software - Guest Editor s Introduction
    11 -- 19Anthony Hall. Seven Myths of Formal Methods
    21 -- 28J. Michael Spivey. Specifying a Real-Time Kernel
    29 -- 36Norman M. Delisle, David Garlan. A Formal Specification of an Oscilloscope
    37 -- 50Richard A. Kemmerer. Integrating Formal Methods into the Development Process
    52 -- 64Mandayam K. Srivas, Mark Bickford. Formal Verification of a Pipelined Microprocessor
    65 -- 67David Blyth, Cornelia Boldyreff, Clive Ruggles, Nik Tetteh-Lartey. The Case for Formal Methods in Standards
    69 -- 76Michael J. Quinn, Philip J. Hatcher. Data-Parallel Programming on Multicomputers
    77 -- 87Deborah Hix. Generations of User-Interface Management Systems

    Volume 7, Issue 4

    12 -- 20Andrew Harbert, William Lively, Sallie Sheppard. A Graphical Specification System for User-Interface Design
    29 -- 36Kiem-Phong Vo. IFS: A Tool to Build Application Systems
    38 -- 48Bob Beck. Shared-Memory Parallel Programming in C++
    50 -- 55Peter M. Maurer. Generating Test Data with Enhanced Context-Free Grammars
    57 -- 66Steven P. Reiss. Connecting Tools Using Message Passing in the Field Environment
    68 -- 78Stefano Ceri, Stefano Crespi-Reghizzi, Roberto Zicari, Gianfranco Lamperti, Luigi Lavazza. Algres: An Advanced System for Complex Applications

    Volume 7, Issue 3

    14 -- 19Dennis B. Smith, Paul W. Oman. Software Tools in Context
    21 -- 30Kathleen M. Nichols. Performance Tools
    31 -- 36Ed Lee. User-Interface Development Tools
    37 -- 43Paul W. Oman. CASE Analysis and Design Tools
    45 -- 51Warren Harrison. Tools for Multiple-CPU Environments
    53 -- 57Michael J. Lutz. Testing Tools
    59 -- 65Paul W. Oman. Maintenance Tools
    67 -- 70Ted G. Lewis. Code generators
    71 -- 77Sorel Reisman. Management and Integrated Tools
    78 -- 89Weichang Du, William W. Wadge. A 3D Spreadsheet Based on Intensional Logic
    90 -- 98Pankaj K. Garg, Walt Scacchi. A Hypertext System to Manage Software Life-Cycle Documents
    100 -- 0Jack Dongarra, Alan H. Karp, David J. Kuck. 1989 Gordon Bell Prize

    Volume 7, Issue 2

    14 -- 16Harlan D. Mills, Peter B. Dyson. Using Metrics to Quantify Development - Guest Editors Introduction
    17 -- 25H. Dieter Rombach. Design Measurement: Some Lessons Learned
    26 -- 34Robert B. Grady. Work-Product Analysis: The Philosopher s Stone of Software?
    36 -- 44Sallie M. Henry, Calvin Selig. Predicting Source-Code Complexity at the Design Stage
    46 -- 54Adam A. Porter, Richard W. Selby. Empirically Guided Software Development Using Metric-Based Classification Trees
    56 -- 64Willa K. Ehrlich, S. Keith Lee, Rex H. Molisani. Applying Reliability Measurement: A Case Study
    65 -- 72Stewart Fenick. Implementing Management Metrics: An Army Program
    74 -- 84Valdis Berzins, Luqi. An Introduction to the Specification Language Spec
    85 -- 92T. V. Geetha, R. K. Subramanian. Representing Natural Language with Prolog

    Volume 7, Issue 1

    11 -- 12Wilma M. Osborne, Elliot J. Chikofsky. Fitting Pieces to the Maintenance Puzzle - Guest Editors Introduction
    13 -- 17Elliot J. Chikofsky, James H. Cross II. Reverse Engineering and Design Recovery: A Taxonomy
    19 -- 25Victor R. Basili. Viewing Maintenance as Reuse-Oriented Software Development
    26 -- 30Carol Withrow. Error Desnsity and Size in Ada Software
    31 -- 36Jean Hartmann, David J. Robson. Techniques for Selective Revalidation
    39 -- 45Paul W. Oman, Curtis R. Cook. The Book Paradigm for Improved Maintenance
    46 -- 54Spencer Rugaber, Stephen B. Ornburn, Richard J. LeBlanc. Recognizing Design Decisions in Programs
    55 -- 63Philip A. Hausler, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner. Using Function Abstraction to Understand Program Behavior
    66 -- 71Song C. Choi, Walt Scacchi. Extracting and Restructuring the Design of Large Systems
    74 -- 81Mehdi T. Harandi, Jim Q. Ning. Knowledge-Based Program Analysis
    82 -- 89Charles Rich, Linda M. Wills. Recognizing a Program s Design: A Graph-Parsing Approach
    90 -- 96Pamela Samuelson. Reverse-Engineering Someone Else s Software: Is It Legal?
    97 -- 105Tarek K. Abdel-Hamid. Investigating the Cost/Schedule Trade-Off in Software Development
    106 -- 115Wing Hong Cheung, James P. Black, Eric G. Manning. A Framework for Distributed Debugging
    runs on