IEEE Software, Volume 7, 1990

Volume 7, Number 1, January 1990

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

• Tarek K. Abdel-Hamid: Investigating the Cost/Schedule Trade-Off in Software Development. 97-105 BibTeX
• Wing Hong Cheung, James P. Black, Eric G. Manning: A Framework for Distributed Debugging. 106-115 BibTeX

Volume 7, Number 2, March 1990

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

• Valdis Berzins, Luqi: An Introduction to the Specification Language Spec. 74-84 BibTeX
• T. V. Geetha, R. K. Subramanian: Representing Natural Language with Prolog. 85-92 BibTeX

Volume 7, Number 3, May 1990

• Dennis B. Smith, Paul W. Oman: Software Tools in Context. 14-19 BibTeX
• Kathleen M. Nichols: Performance Tools. 21-30 BibTeX
• Ed Lee: User-Interface Development Tools. 31-36 BibTeX
• Paul W. Oman: CASE Analysis and Design Tools. 37-43 BibTeX
• Warren Harrison: Tools for Multiple-CPU Environments. 45-51 BibTeX
• Michael J. Lutz: Testing Tools. 53-57 BibTeX
• Paul W. Oman: Maintenance Tools. 59-65 BibTeX
• Ted G. Lewis: Code generators. 67-70 BibTeX
• Sorel Reisman: Management and Integrated Tools. 71-77 BibTeX

• Weichang Du, William W. Wadge: A 3D Spreadsheet Based on Intensional Logic. 78-89 BibTeX
• Pankaj K. Garg, Walt Scacchi: A Hypertext System to Manage Software Life-Cycle Documents. 90-98 BibTeX
• Jack Dongarra, Alan H. Karp, David J. Kuck: 1989 Gordon Bell Prize. 100-104, 110 BibTeX

Volume 7, Number 4, July 1990

• Andrew Harbert, William Lively, Sallie Sheppard: A Graphical Specification System for User-Interface Design. 12-20 BibTeX
• Sven Moen: Drawing Dynamic Trees. 21-28 BibTeX
• Kiem-Phong Vo: IFS: A Tool to Build Application Systems. 29-36 BibTeX

• Bob Beck: Shared-Memory Parallel Programming in C++. 38-48 BibTeX
• Peter M. Maurer: Generating Test Data with Enhanced Context-Free Grammars. 50-55 BibTeX
• Steven P. Reiss: Connecting Tools Using Message Passing in the Field Environment. 57-66 BibTeX
• Stefano Ceri, Stefano Crespi-Reghizzi, Roberto Zicari, Gianfranco Lamperti, Luigi Lavazza: Algres: An Advanced System for Complex Applications. 68-78 BibTeX

Volume 7, Number 5, September 1990

• Susan L. Gerhart: Applications of Formal Methods: Develoment Virtuoso Software - Guest Editor's Introduction. 6-10 BibTeX
• Anthony Hall: Seven Myths of Formal Methods. 11-19 BibTeX
• J. Michael Spivey: Specifying a Real-Time Kernel. 21-28 BibTeX
• Norman M. Delisle, David Garlan: A Formal Specification of an Oscilloscope. 29-36 BibTeX
• Richard A. Kemmerer: Integrating Formal Methods into the Development Process. 37-50 BibTeX
• Mandayam K. Srivas, Mark Bickford: Formal Verification of a Pipelined Microprocessor. 52-64 BibTeX
• David Blyth, Cornelia Boldyreff, Clive Ruggles, Nik Tetteh-Lartey: The Case for Formal Methods in Standards. 65-67 BibTeX

• Michael J. Quinn, Philip J. Hatcher: Data-Parallel Programming on Multicomputers. 69-76 BibTeX
• Deborah Hix: Generations of User-Interface Management Systems. 77-87 BibTeX

Volume 7, Number 6, November 1990

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