IEEE Software, Volume 7, 1990

Volume 7, Number 1, January 1990

Maintenance, Reverse Engineering & Design Recovery

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

Special Features

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

Volume 7, Number 2, March 1990

Metrics

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

Special Features

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

Volume 7, Number 3, May 1990

Tools Fair

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

Special Features

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

Volume 7, Number 4, July 1990

User-Interface Design

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

Special Features

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

Volume 7, Number 5, September 1990

Formal Methods

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

Special Features

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

Volume 7, Number 6, November 1990

Software Challenges

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