default search action
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 - 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 Zoren Werner 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
- 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
- Harlan D. Mills, Peter B. Dyson:
Using Metrics to Quantify Development - Guest Editors' Introduction. 14-16 - 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
- 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
- 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
- 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 J. Dongarra, Alan H. Karp, David J. Kuck:
1989 Gordon Bell Prize. 100-104, 110
Volume 7, Number 4, July 1990
- 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
- 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 V. Zicari, Gianfranco Lamperti
, Luigi Lavazza
Algres: An Advanced System for Complex Applications. 68-78
Volume 7, Number 5, September 1990
- Susan L. Gerhart:
Applications of Formal Methods: Develoment Virtuoso Software - Guest Editor's Introduction. 6-10 - 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
- 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
- Ted G. Lewis, Paul W. Oman:
The Challenge of Software Development - Guest Editors' Introduction. 9-12 - 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
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-12-18 18:30 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: