Splitting the difference: The historical necessity of synthesis in software engineering

IEEE Annals of the History of Computing

Volumn 19, Issue 1, 1997, Pages 20-54

  Shapiro, Stuart ^a,b,c,d  

^a BRUNEL UNIVERSITY   (United Kingdom)

^b OPEN UNIVERSITY   (United Kingdom)

^c NORTHWESTERN UNIVERSITY   (United States)

^d CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; FORMAL LOGIC; HISTORY; STRUCTURED PROGRAMMING;

ANALOG SYSTEM; ARBITRARY COMPLEXITY; CONTINUOUS FUNCTIONS; DIGITAL SYSTEM; PROGRAM VERIFICATION; SOFTWARE LIFE CYCLE; SOFTWARE METRICS;

SOFTWARE ENGINEERING;

EID: 0030811465     PISSN: 10586180     EISSN: None     Source Type: Journal    
DOI: 10.1109/85.560729     Document Type: Review

References (272)

1. Andrew L. Friedman with Dominic S. Cornfeld, Computer Systems Development: History, Organization and implementation. New York: John Wiley & Sons, 1989.
2. David Lorge Parnas, "Software Aspects of Strategic Defense Systems," Am. Scientist, vol. 73, no. 5, pp. 432-440; reprinted in Computerization and Controversy: Value Conflicts and Social Choices, Charles Dunlop and Rob Kling, eds. New York: Academic Press, 1991, pp. 593-611.
3. David Lorge Parnas, "Software Aspects of Strategic Defense Systems," Am. Scientist, vol. 73, no. 5, pp. 432-440; reprinted in Computerization and Controversy: Value Conflicts and Social Choices, Charles Dunlop and Rob Kling, eds. New York: Academic Press, 1991, pp. 593-611.
4. Frederick P. Brooks, Jr., "No Silver Bullet: Essence and Accidents of Software Engineering," Computer, vol. 20, p. 12, Apr. 1987.
5. Eloina Pelaez, "A Gift from Pandora's Box: The Software Crisis," PhD diss., Univ. of Edinburgh, 1988.
6. Peter Naur and Brian Randell, eds., Software Engineering: Report on a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, Oct. 7-11, 1968. Brussels: Scientific Affairs Division, North Atlantic Treaty Organization (NATO), 1969, p. 13.
7. B. Randell, "Towards a Methodology of Computing System Design," Peter Naur and Brian Randell, eds., Software Engineering: Report on a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, Oct. 7-11, 1968. Brussels: Scientific Affairs Division, North Atlantic Treaty Organization (NATO), 1969, p. 205.
8. Stanley Gill, "Thoughts on the Sequence of Writing Software," Peter Naur and Brian Randell, eds., Software Engineering: Report on a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, Oct. 7-11, 1968. Brussels: Scientific Affairs Division, North Atlantic Treaty Organization (NATO), 1969, p. 186.
9. J. N. Buxton and B. Randell, eds., Software Engineering Techniques: A Report on a Conference Sponsored by the NATO Science Committee, Rome, Italy, Oct. 27-31, 1969. Brussels: Scientific Affairs Division, NATO, 1970, p. 7.
10. R. M. Needham and J. D. Aron, "Software Engineering and Computer Science," J. N. Buxton and B. Randell, eds., Software Engineering Techniques: A Report on a Conference Sponsored by the NATO Science Committee, Rome, Italy, Oct. 27-31, 1969. Brussels: Scientific Affairs Division, NATO, 1970, p. 114.
11. Niklaus Wirth, "Program Development by Stepwise Refinement," Comm. ACM, vol. 14, p. 221, Apr. 1971.
12. Alan Cohen, "Letter," Datamation, vol. 17, p. 15, Feb. 1, 1971.
13. D. L. Parnas, "A Technique for Software Module Specification with Examples," Comm. ACM, vol. 15, p. 330, May 1972.
14. D. L. Parnas, "On the Criteria To Be Used in Decomposing Systems into Modules," Comm. ACM, vol. 15, p. 1,053, Dec. 1972.
15. Glenford J. Myers, "Characteristics of Composite Design," Datamation, vol. 19. p. 102, Sept. 1973.
16. Frank DeRemer and Hans Kron, "Programming-in-the-Large Versus Programming-in-the-Small," SIGPLAN Notices, vol. 10, p. 114, June 1975.
17. Barbara H. Liskov and Stephen N. Zilles, "Specification Techniques for Data Abstractions," IEEE Transactions on Software Engineering, vol. 1, p. 7, Mar. 1975.
18. John Guttag, "Abstract Data Types and the Development of Data Structures," Comm. ACM, vol. 20, p. 404, June 1977.
19. Grady Booch, "Object-Oriented Development," IEEE Transactions on Software Engineering, vol. 12, p. 212, Feb. 1986.
20. Patrick H. Loy, "A Comparison of Object-Oriented and Structured Development Methods," Software Eng. Notes, vol. 15, p. 46, Jan. 1990.
21. Brad J. Cox, "Message/Object Programming: An Evolutionary Change in Programming Technology," IEEE Software, vol. 1, p. 51, Jan. 1984.
22. Victor R. Basili et al., "Characterization of an Ada Software Development," Computer, vol. 18, p. 64, Sept. 1985.
23. Paul T. Ward, "How to Integrate Object Orientation with Structured Analysis and Design," IEEE Software, vol. 6, pp. 74-82, Mar. 1989.
24. Russell J. Abbott, "Knowledge Abstraction," Comm. ACM, vol. 30, p. 666, Aug. 1987.
25. Bill Curtis, Herb Krasner, and Neil Iscoe, "A Field Study of the Software Design Process for Large Systems," Comm. ACM, vol. 31, p. 1,271, Nov. 1988.
26. Galen Gruman, "ICSE Assesses the State of Software Engineering," IEEE Software, vol. 6. pp. 110-111, July 1989.
27. M. A. Jackson, Principles of Program Design. New York: Academic Press, 1975.
28. Jean Warnier, Logical Construction of Programs, translation by B.M. Flanagan. New York: Van Nostrand Reinhold, 1976.
29. John Parker, "A Comparison of Design Methodologies," Software Eng. Notes, vol. 3, p. 19, Oct. 1978.
30. James R. Donaldson, "Structured Programming," Datamation, Vol. 19, p. 53, Dec. 1973.
31. W. Stevens, G. Myers, and L. Constantine, "Structured Design," IBM Systems J., vol. 13, pp. 115-139, May 1974; reprinted in Classics in Software Engineering, Edward N. Yourdon, ed. New York: Yourdon Press, 1979, pp. 207-232.
32. W. Stevens, G. Myers, and L. Constantine, "Structured Design," IBM Systems J., vol. 13, pp. 115-139, May 1974; reprinted in Classics in Software Engineering, Edward N. Yourdon, ed. New York: Yourdon Press, 1979, pp. 207-232.
33. Herbert A. Simon, The Sciences of the Artificial, 2nd ed. Cambridge, Mass.: MIT Press, 1981.
34. F. Terry Baker and Harlan D. Mills, "Chief Programmer Teams," Datamation, vol. 19, p. 58, Dec. 1973.
35. Gerald M. Weinberg, The Psychology of Computer Programming. New York: Van Nostrand Reinhold, 1971.
36. Laton McCartney, "Data for Rent," Datamation, vol. 23, p. 167, May 1977.
37. Fred Gruenberger, "Letter," Datamation, vol. 20, pp. 27-28, Feb. 1974.
38. Dick Butterworth, "Letter," Datamation, vol. 20, p. 158, Mar. 1974.
39. John G. Fletcher, "Letter," Datamation, vol. 20, p. 29, Mar. 1974.
40. R. R. Brown, "1974 Lake Arrowhead Workshop on Structured Programming," Computer, vol. 7, p. 62, Oct. 1974.
41. James L. Elshoff, "The Influence of Structured Programming on PL/I Program Profiles," IEEE Transactions on Software Engineering, vol. 3, p. 367, Sept. 1977.
42. Frank P. Mathur, "Review of Infotech State of the Art Report: Structured Programming," Computer, vol. 9, p. 116, Dec. 1976.
43. Paul Abrahams, "'Structured Programming' Considered Harmful," SIGPLAN Notices, vol. 10, p. 13, Apr. 1975.
44. Daniel M. Berry, "Structured Documentation," SIGPLAN Notices, vol. 10, p. 9, Nov. 1975.
45. David L. Parnas and Paul C. Clements, "A Rational Design Process: How and Why to Fake It," IEEE Transactions on Software Engineering, vol. 12, pp. 251-252, Feb. 1986.
46. "Address on Structured Programming Keynotes Compcon Software Sessions," Computer, vol. 8, p. 7, Mar. 1975.
47. Peter J. Denning, "Comments on Mathematical Overkill," SIGPLAN Notices, vol. 10, p. 11, Sept. 1975.
48. C. Wrandle Barth, "STRCMACS - an Extensive Set of Macros to Aid in Structured Programming in 360/370 Assembly Language," SIGPLAN Notices, vol. 11, p. 31, Aug. 1976.
49. David Frost, "Psychology and Program Design," Datamation, vol. 21, p. 138, May 1975.
50. Lawrence J. Peters and Leonard L. Tripp, "Is Software Design Wicked?" Datamation, vol. 22, p. 127, May 1976.
51. Lawrence J. Peters and Leonard L. Tripp, "Comparing Software Design Methodologies," Datamation, vol. 23, p. 94, Nov. 1977.
52. Dennis P. Geller, "Letter," Software Eng. Notes, vol. 4, p. 18, Jan. 1979.
53. Frederick P. Brooks, Jr., The Mythical Man-Month: Essays on Software Engineering. Reading, Mass.: Addison-Wesley, 1982, p. 177.
54. Edsger W. Dijkstra, Selected Writings on Computing: A Personal Perspective. New York: Springer Verlag, 1982, pp. 126-128.
55. Harlan D. Mills, "The New Math of Computer Programming," Comm. of the ACM, vol. 18, p. 44, Jan. 1975.
56. Harlan Mills, "Software Development," IEEE Transactions on Software Engineering, vol. 2, pp. 268-269, Dec. 1976.
57. Edsger W. Dijkstra, A Discipline of Programming. Englewood Cliffs, N.J.: Prentice Hall, 1976.
58. M. E. Hopkins, "A Case for the GOTO," Proc. 25th Nat'l ACM Conf., 1972, pp. 787-790, reprinted in Yourdon, Classics in Software Engineering, pp. 101-109; W. A. Wulf, "A Case Against the GOTO," Proc. 25th Nat'l ACM Conf., pp. 791-797, reprinted in Yourdon, Classics in Software Engineering, pp. 85-98.
59. M. E. Hopkins, "A Case for the GOTO," Proc. 25th Nat'l ACM Conf., 1972, pp. 787-790, reprinted in Yourdon, Classics in Software Engineering, pp. 101-109; W. A. Wulf, "A Case Against the GOTO," Proc. 25th Nat'l ACM Conf., pp. 791-797, reprinted in Yourdon, Classics in Software Engineering, pp. 85-98.
60. M. E. Hopkins, "A Case for the GOTO," Proc. 25th Nat'l ACM Conf., 1972, pp. 787-790, reprinted in Yourdon, Classics in Software Engineering, pp. 101-109; W. A. Wulf, "A Case Against the GOTO," Proc. 25th Nat'l ACM Conf., pp. 791-797, reprinted in Yourdon, Classics in Software Engineering, pp. 85-98.
61. M. E. Hopkins, "A Case for the GOTO," Proc. 25th Nat'l ACM Conf., 1972, pp. 787-790, reprinted in Yourdon, Classics in Software Engineering, pp. 101-109; W. A. Wulf, "A Case Against the GOTO," Proc. 25th Nat'l ACM Conf., pp. 791-797, reprinted in Yourdon, Classics in Software Engineering, pp. 85-98.
62. Donald Knuth, "Structured Programming With Go To Statements," Computing Surveys, vol. 6, pp. 261-301, Dec. 1974.
63. R. A. DeMillo, S. C. Eisenstat, and R. J. Lipton, "Can Structured Programs Be Efficient?" SIGPLAN Notices, vol. 11, p. 16, Oct. 1976.
64. Ronald E. Jeffries, "Letter," SIGPLAN Notices, vol. 11, p. 1, Dec. 1976.
65. William Rosenfeld, "Letter," SIGPLAN Notices, vol. 11, p. 3, Dec. 1976.
66. Henry F. Ledgard and Michael Marcotty, "A Genealogy of Control Structures," Comm. ACM, vol. 18, p. 629, Nov. 1975.
67. Mario J. Gonzalez, Jr., "Workshop Report: The Science of Design," Computer, vol. 12, p. 113, Dec. 1979
68. Tom Gilb, "Letter," Software Eng. Notes, vol. 3, p. 28, July 1978.
69. Kenneth W. Kolence, "A Software View of Measurement Tools," Datamation, vol. 17, p. 32, Jan. 1, 1971.
70. Maurice H. Halstead, Elements of Software Science. New York: Elsevier, 1977.
71. Thomas J. McCabe, "A Complexity Measure," IEEE Transactions on Software Engineering, vol. 2, p. 308, Dec. 1976.
72. Glenford J. Meyers, "An Extension to the Cyclomatic Measure of Program Complexity," SIGPLAN Notices, vol. 12, p. 61, Oct. 1977.
73. James L. Elshoff and Michael Marcotty, "On the Use of the Cyclomatic Number to Measure Program Complexity," SIGPLAN Notices, vol. 13, p. 38, Dec. 1978.
74. Alonzo G. Grace, Jr., "The Dimensions of Complexity," Datamation, vol. 23, p. 317, Sept. 1977.
75. Edward T. Chen, "Program Complexity and Programmer Productivity," IEEE Transactions on Software Engineering, vol. 4, p. 188, May 1978.
76. Bill Curtis et al., "Measuring the Psychological Complexity of Software Maintenance Tasks with the Halstead and McCabe Metrics," IEEE Transactions on Software Engineering, vol. 5, p. 103, Mar. 1979.
77. N. F. Schneidewind and Heinz-Michael Hoffmann, "An Experiment in Software Error Data Collection and Analysis," IEEE Transactions on Software Engineering, vol. 5, p. 283, May 1979.
78. Warren Harrison et al., "Applying Software Complexity Metrics to Program Maintenance," Computer, vol. 15, p. 78, Sept. 1982.
79. W. M. Evangelist, "Relationships Among Computational, Software, and Intuitive Complexity," SIGPLAN Notices, vol. 18, p. 58, Dec. 1983.
80. Victor R. Basili, Richard W. Selby, Jr., and Tsai-Yun Phillips, "Metric Analysis and Data Validation Across Fortran Projects," IEEE Transactions on Software Engineering, vol. 9, p. 662, Nov. 1983.
81. Martin Shepperd, "A Critique of Cyclomatic Complexity as a Software Metric," Software Eng. J., vol. 3, p. 35, Mar. 1988.
82. J. Paul Myers, Jr., "The Complexity of Software Testing," Software Eng. J., vol. 7, p. 13, Jan. 1992.
83. John C. Munson and Taghi M. Khoshgoftaar, "Measuring Dynamic Program Complexity," IEEE Software, vol. 9, pp. 48-49, Nov. 1992.
84. Victor R. Basili, "Tailoring SQA to Fit Your Own Life Cycle," IEEE Software, vol. 5, p. 87, Mar. 1988.
85. Shari L. Pfleeger, "Lessons Learned in Building a Corporate Metrics Program," IEEE Software, vol. 10, p. 74, May 1993.
86. Bernard Elspas, Milton W. Green, and Karl N. Levitt, "Software Reliability," Computer, vol. 4, p. 22, Jan./Feb. 1971.
87. John L. Kirkley, "The Critical Issues: A 1974 Perspective," Datamation, vol. 20, p. 65, Jan. 1974.
88. T. J. Vander Noot, "Systems Testing ... a Taboo Subject?" Datamation, vol. 17, p. 64, Nov. 15, 1971.
89. Dorothy A. Walsh, "Structured Testing," Datamation, vol. 23, p. 111, July 1977.
90. Paul F. Barbuto, Jr., and Joe Geller, "Tools for Top-Down Testing," Datamation, vol. 24, p. 178, Oct. 1978.
91. Laura L. Scharer, "Improving System Testing Techniques," Datamation, vol. 23, p. 117, Sept. 1977.
92. John B. Goodenough and Susan L. Gerhart, "Toward a Theory of Test Data Selection," IEEE Transactions on Software Engineering, vol. 1, p. 165, June 1975.
93. B. Chandrasekaran, "Guest Editorial," IEEE Transactions on Software Engineering, vol. 6, p. 235, May 1980.
94. Richard A. DeMillo, Richard J. Lipton, and Frederick G. Sayward, "Hints on Test Data Selection: Help for the Practicing Programmer," Computer, vol. 11, p. 41, Apr. 1978.
95. Elaine J. Weyuker and Thomas J. Ostrand, "Theories of Program Testing and the Application of Revealing Subdomains," IEEE Transactions on Software Engineering, vol. 6, p. 245, May 1980.
96. Nathan H. Petschenik, "Practical Priorities in System Testing," IEEE Software, vol. 2, p. 18, Sept. 1985.
97. Simeon C. Ntafos, "On Required Element Testing," IEEE Transactions on Software Engineering, vol. 10, p. 795, Nov. 1984.
98. Samuel T. Redwine, Jr., "An Engineering Approach to Software Test Data Design," IEEE Transactions on Software Engineering, vol. 9, p. 192, Mar. 1983.
99. Robert W. Floyd, "Assigning Meanings to Programs," Mathematical Aspects of Computer Science, Proceedings of Symposia in Applied Mathematics. Providence, R.I.: American Mathematical Society, 1967, pp. 19-32. For a more in-depth discussion of the history of research on formal verification, see C. B. Jones, The Search for Tractable Ways of Reasoning About Programs. Manchester, England: Dept. of Computer Science, Manchester Univ., 1992, UMCS-92-4-4.
100. Robert W. Floyd, "Assigning Meanings to Programs," Mathematical Aspects of Computer Science, Proceedings of Symposia in Applied Mathematics. Providence, R.I.: American Mathematical Society, 1967, pp. 19-32. For a more in-depth discussion of the history of research on formal verification, see C. B. Jones, The Search for Tractable Ways of Reasoning About Programs. Manchester, England: Dept. of Computer Science, Manchester Univ., 1992, UMCS-92-4-4.
101. C. A. R. Hoare, "Proof of a Program: FIND," Comm. ACM, vol. 14, p. 39, Jan. 1971.
102. M. Foley and C. A. R. Hoare, "Proof of a Recursive Program: Quicksort," Computer J., vol. 14, p. 391, Nov. 1971.
103. C. A. R. Hoare, "Proof of a Structured Program: 'The Sieve of Eratosthenes,'" Computer J., vol. 15, p. 321, Nov. 1972.
104. Richard A. DeMillo, Richard J. Lipton, and Alan J. Perlis, "Social Processes and Proofs of Theorems and Programs," Comm. ACM, vol. 22, p. 271, May 1979.
105. Leslie Lamport, "Letter," Comm. ACM, vol. 22, p. 624, Nov. 1979.
106. W. D. Maurer, "Letter," Comm. ACM, vol. 22, p. 625, Nov. 1979.
107. Richard A. DeMillo, Richard J. Lipton, and Alan J. Perlis, "Letter," Comm. ACM, vol. 22, p. 630, Nov. 1979.
108. Henry Petroski, To Engineer is Human: The Role of Failure in Successful Design. New York: St. Martin's Press, 1985, p. 165.
109. Richard Hill, "Letter," Comm. ACM, vol. 22, p. 621, Nov. 1979.
110. H. Lienhard, "Letter," Comm. ACM, vol. 22, p. 622, Nov. 1979.
111. Edsger W. Dijkstra, "On a Political Pamphlet from the Middle Ages," Software Eng. Notes, vol. 3, p. 14, Apr. 1978.
112. Richard A. DeMillo, Richard J. Lipton, and Alan J. Perlis, "Letter," Software Eng. Notes, vol. 3, pp. 16-17, Apr. 1978.
113. H. J. Jeffrey, "Letter," Software Eng. Notes, vol. 3, p. 18, Apr. 1978.
114. Raymond J. Rubey, Joseph A. Dana, and Peter W. Biche, "Quantitative Aspects of Software Validation," IEEE Transactions on Software Engineering, vol. 1, p. 152, June 1975.
115. Douglas T. Ross and Kenneth E. Schoman, Jr., "Structured Analysis for Requirements Definition," IEEE Transactions on Software Engineering, vol. 3, p. 6, Jan. 1977.
116. Susan Gerhart, "Workshop Report: Software Testing and Test Documentation," Computer, vol. 12, p. 99, Mar. 1979.
117. Edsger W. Dijkstra, "Correctness Concerns and, Among Other Things, Why They Are Resented," SIGPLAN Notices, vol. 10, p. 547, June 1975.
118. Andrew S. Tanenbaum, "In Defense of Program Testing or Correctness Proofs Considered Harmful," SIGPLAN Notices, vol. 11, p. 68, May 1976.
119. Susan L. Gerhart and Lawrence Yelowitz, "Observations of Fallibility in Applications of Modern Programming Methodologies," IEEE Transactions on Software Engineering, vol. 2, p. 206, Sept. 1976.
120. David L. Parnas, "Letter," Software Eng. Notes, vol. 3, p. 20, Oct. 1978.
121. Debra J. Richardson and Lori A. Clarke, "Partition Analysis: A Method Combining Testing and Verification," IEEE Transactions on Software Engineering, vol. 11, p. 1,488, Dec. 1985.
122. James H. Fetzer, "Program Verification: The Very Idea," Comm. ACM, vol. 31, p. 1,057, Sept. 1988.
123. Mark Ardis et al., "Letter," Comm. ACM, vol. 32, p. 287, Mar. 1989.
124. Richard Hill, "Letter," Comm. ACM, vol. 32, p. 790, July 1989.
125. James C. Pleasant, "Letter," Comm. ACM, vol. 32, p. 374, Mar. 1989.
126. Lawrence Paulson, Avra Cohen, and Michael Gordon, "Letter," Comm. ACM, vol. 32, p. 375, Mar. 1989.
127. James H. Fetzer, "Letter," Comm. ACM, vol. 32, p. 378, Mar. 1989.
128. John Dobson and Brian Randell, "Program Verification: Public Image and Private Reality," Comm. ACM, vol. 32, pp. 420-422, Apr. 1989.
129. James H. Fetzer, "Letter," Comm. ACM, vol. 32, p. 381, Mar. 1989.
130. David A. Nelson, "Letter," Comm. ACM, vol. 32, p. 792, July 1989.
131. James H. Fetzer, "Letter," Comm. ACM, vol. 32, p. 381, Mar. 1989.
132. Leon Stucki, "Guest Editorial," IEEE Transactions on Software Engineering, vol. 2, p. 194, Sept. 1976.
133. C. V. Ramamoorthy, Siu-Bun F. Ho, and W. T. Chen, "On the Automated Generation of Program Test Data," IEEE Transactions on Software Engineering, vol. 2, p. 293, Dec. 1976.
134. George J. Schick and Ray W, Wolverton, "An Analysis of Competing Software Reliability Models," IEEE Transactions on Softwave Engineering, vol. 4, p. 105, Mar. 1978.
135. Nancy G. Leveson, "Software Safety," Software Eng. Notes vol. 7, p. 21, Apr. 1982.
136. Algirdas Avizienis and John P. J. Kelly, "Fault Tolerance by Design Diversity: Concepts and Experiments," Computer, vol. 17, p. 67, Aug. 1984.
137. Dave E. Eckhardt, Jr., and Larry D. Lee, "A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors," IEEE Transactions on Software Engineering, vol. 11, p. 1,511, Dec. 1985.
138. John C. Knight and Nancy G. Leveson, "An Experimental Evaluation of the Assumption of Independence in Multiversion Programming," IEEE Transactions on Software Engineering, vol. 12, p. 96, Jan. 1986.
139. John C. Knight and Nancy G. Leveson, "A Reply to the Criticisms of the Knight & Leveson Experiment," Software Eng. Notes, vol. 15, pp. 24-35, Jan. 1990.
140. Bev Littlewood and Douglas R. Miller, "Conceptual Modeling of Coincident Failures in Multiversion Software," IEEE Transactions on Software Engineering, vol. 15, p. 1,596, Dec. 1989.
141. Susan S. Brilliant, John C. Knight, and Nancy G. Leveson, "Analysis of Faults in an N-Version Software Experiment," IEEE Transactions on Software Engineering, vol. 16, p. 245, Feb. 1990.
142. Abdalla A. Abdel-Ghaly, P. Y. Chan, and Bev Littlewood, "Evaluation of Competing Software Reliability Predictions," IEEE Transactions on Software Engineering, vol. 12, p. 950, Sept. 1986.
143. Richard Hamlet, "Special Section on Software Testing," Cumm. ACM, vol. 31, pp. 665-666, June 1988.
144. Galen Gruman, "IFIP Participants Debate Programming Approaches," IEEE Software, vol. 6, p. 76, Nov. 1989.
145. Donald MacKenzie, "Negotiating Arithmetic, Constructing Proof: The Sociology of Mathematics and Information Technology," Social Studies of Science, vol. 23, pp. 37-65, Feb. 1993.
146. National Bureau of Standards, Guideline for Lifecycle Validation, Verification, and Testing of Software, Washington, D.C., 1983, NBS FIPS 101; quoted in David Gelperin and Bill Hetzel, "The Growth of Software Testing," Comm. ACM, vol. 31, p. 690, June 1988.
147. National Bureau of Standards, Guideline for Lifecycle Validation, Verification, and Testing of Software, Washington, D.C., 1983, NBS FIPS 101; quoted in David Gelperin and Bill Hetzel, "The Growth of Software Testing," Comm. ACM, vol. 31, p. 690, June 1988.
148. Dolores R. Wallace and Roger U. Fujii, "Verification and Validation: Techniques to Assure Reliability," IEEE Software, vol. 6, p. 9, May 1989.
149. C. A. R. Hoare, "An Axiomatic Basis for Computer Programming," Comm. ACM, vol. 12, p. 576, Oct. 1969.
150. C. A. R. Hoare, "Professionalism," Computer Bull., 2nd series, p. 3, Sept. 1981.
151. Stuart Shapiro, "Its Own Worst Enemy: How Software Engineering Has Fallen Victim to Engineering Mythology," CRICT Discussion Paper No. 25, Brunel Univ., 1992.
152. Nancy G. Leveson, "Formal Methods in Software Engineering," IEEE Transactions on Software Engineering, vol. 16, p. 929, Sept. 1990.
153. Susan L. Gerhart, "Applications of Formal Methods: Developing Virtuoso Software," IEEE Software, vol. 10, p. 10, Sept. 1990.
154. C. B. Jones, "Theorem Proving and Software Engineering," Software Eng. J., vol. 3, p. 2, Jan. 1988.
155. Susan Gerhart, "Formal Methodists Warn of Software Disasters," IEEE Software, vol. 6, p. 77, Nov. 1989.
156. Anthony Hall, "Seven Myths of Formal Methods," IEEE Software, vol. 7, p. 13, Sept. 1990.
157. Jeannette M. Wing, "A Specifier's Introduction to Formal Methods," Computer, vol. 23, p. 13, Sept. 1990.
158. Harlan D. Mills, Michael Dyer, and Richard C. Linger, "Cleanroom Software Engineering," IEEE Software, vol. 4, p. 20, Sept. 1987.
159. Richard W. Shelby, Victor R. Basili, and F. Terry Baker, "Cleanroom Software Development: An Empirical Evaluation," IEEE Transactions on Software Engineering, vol. 13, pp. 1.027-1,037, Sept. 1987.
160. D. A. Duce and E. V. C. Fielding, "Formal Specification - a Comparison of Two Techniques," Computer J., vol. 30, p. 327, Aug. 1987.
161. C. A. R. Hoare, "An Overview of Some Formal Methods for Program Design," Computer, vol. 20, pp. 90-91, Sept. 1987.
162. Carl Chang, "Let's Stop the Bipolar Drift," IEEE Software, vol. 7, p. 4. May 1990.
163. I. F. Currie, "NewSpeak: An Unexceptional Language," Software Eng. J., vol. 1, pp. 170-176, July 1986.
164. Jean E. Sammet, Programming Languages: History and Fundamentals. Englewood Cliffs, N.J.: Prentice Hall, 1969; and Richard L. Wexelblat, ed., History of Programming Languages. New York: Academic Press, 1981. These works contain in-depth histories of these older languages.
165. Jean E. Sammet, Programming Languages: History and Fundamentals. Englewood Cliffs, N.J.: Prentice Hall, 1969; and Richard L. Wexelblat, ed., History of Programming Languages. New York: Academic Press, 1981. These works contain in-depth histories of these older languages.
166. David A. Fisher, "DoD's Common Programming Language Effort," Computer, vol. 11, p. 25, Mar. 1978.
167. Barry W. Boehm, "Software and Its Impact: A Quantitative Assessment," Datamation, vol. 19, p. 48, May 1973.
168. Edsger W. Dijkstra, "DoD-I: The Summing Up," SIGPLAN Notices, vol. 13, pp. 24-26, July 1978.
169. Robert L. Glass, "From Pascal to Pebbleman ... and Beyond," Datamation, vol. 25, pp. 146-147, July 1979.
170. Rob Kling and Walter Scacchi, "The DoD Common High Order Programming Language Effort (DoD-1): What Will the Impacts Be?" SIGPLAN Notices, vol. 14, pp. 32-40, Feb. 1979.
171. Paul R. Eggert, "Letter," SIGPLAN Notices, vol. 15, p. 9, Jan. 1980.
172. J. T. Galkowski, "A Critique of the DOD Common Language Effort," SIGPLAN Notices, vol. 15, p. 15, June 1980.
173. Patrick Skelly, "The ACM Position on Standardization of the Ada Language," Comm. ACM, vol. 25, p. 119, Feb. 1982.
174. Henry F. Ledgard and Andrew Singer, "Scaling Down Ada (or Towards a Standard Ada Subset)," Comm. ACM, vol. 25, p. 121, Feb. 1982.
175. Robert L. Glass, "Letter," Comm. ACM, vol. 25, p. 500, July 1982.
176. Randall Leavitt, "Letter," Comm. ACM, vol. 25, p. 500, July 1982.
177. Brian Wichmann, "Is Ada Too Big? A Designer Answers the Critics," Comm. ACM, vol. 27, p. 103, Feb. 1984.
178. William I. MacGregor, "Letter," SIGPLAN Notices, vol. 13, p. 18, Sept. 1978.
179. Peter Wegner, "The Ada Language and Environment," Software Eng. Notes, vol. 5, p. 9, Apr. 1980.
180. Charles Antony Richard Hoare, "The Emperor's Old Clothes," Comm. ACM, vol. 24, p. 82, Feb. 1981.
181. "DOD Interim Policy on Ada Issued," Comm. ACM, vol. 26, p. 706, Sept. 1983.
182. Saul Rosen, "Programming Systems and Languages 1965-1975," Comm. ACM, vol. 15, p. 591, July 1972.
183. David R. Hanson, "A Simple Technique for Representing Strings in Fortran IV," Comm. ACM, vol. 17, p. 646, Nov. 1974.
184. Daniel D. McCracken, "Is There a Fortran in Your Future?" Datamation, vol. 19, p. 237, May 1973.
185. Daniel D. McCracken, "Letter," Comm. ACM, vol. 28, p. 568, June 1985.
186. "The NCC: Reminiscent of the Late Sixties," Datamation, vol. 21, p. 104, June 1975.
187. Tomasz Kowaltowski, "Letter," SIGPLAN Notices, vol. 10, p. 4, Aug. 1975.
188. Eric Campbell, "Letter," SIGPLAN Notices, vol. 11, p. 2, May 1976.
189. Stuart W. Rowland, "Some Comments on Structured Fortran," SIGPLAN Notices, vol. 11, p. 45, Oct. 1976.
190. Michael J. Viehman, "Letter," SIGPLAN Notices, vol. 10, p. 8, Oct. 1975.
191. Anthony Ralston and Jerrold L. Wagener, "Structured Fortran - an Evolution of Standard Fortran," IEEE Transactions on Software Engineering, vol. 2. p. 154, Sept. 1976.
192. Daniel D.McCracken, "Let's Hear It for COBOL!" Datamation, vol. 22, p. 242, May 1976.
193. Peter Naur, "Programming Languages, Natural Languages, and Mathematics," Comm. ACM, vol. 18, pp. 678-680, Dec. 1975.
194. Michael Hammer et al., "A Very High Level Programming Language for Data Processing Applications," Comm. ACM, vol. 20, pp. 832-833, Nov. 1977.
195. Mark R. Crispin, "Letter," Datamation, vol. 22, p. 7, Nov. 1976.
196. A. C. Larman, "Letter," Computer Bull, 1st series, no. 16, p. 506, Nov. 1972.
197. Ware Myers, "Key Developments in Computer Technology: A Survey," Computer, vol. 9, p. 59, Nov. 1976.
198. Linda Runyan, "Software Still a Sore Spot," Datamation, vol. 27, p. 165, Mar. 1981.
199. Ronald A. Frank, "Let the Users Program," Datamation, vol. 28, p. 88, Jan. 1982.
200. Nigel S. Read and Douglas L. Harmon, "Language Barrier to Productivity," Datamation, vol. 29, p. 209. Feb. 1983.
201. John Cardullo and Herb Jacobsohn, "Letter," Datamation, vol. 29, p. 24, May 1983.
202. Bill Inmon, "Rethinking Productivity," Datamation, vol. 30, p. 185, June 15, 1984.
203. Michael H. Brown, "Letter," Datamation, vol. 30, p. 23, Sept. 15, 1984.
204. F. J. Grant, "The Downside of 4GLs," Datamation, vol. 31, p. 99, July 15, 1985.
205. Peter Wegner, "Capital-Intensive Software Technology, Part 2: Programming in the Large," IEEE Software, vol. 1, p. 31, July 1984.
206. Alex Pines and Dan Pines, "Don't Shoot the Programmers," Datamation, vol. 29, p. 114, Aug. 1983.
207. Santosh K. Misra and Paul J. Jalics, "Third-Generation Versus Fourth-Generation Software Development," IEEE Software, vol. 6, p. 14, July 1989.
208. Bruce Hailpem, "Multiparadigm Languages and Environments," IEEE Software, vol. 3, p. 6, Jan. 1986.
209. Pamela Zave, "A Compositional Approach to Multiparadigm Programming," IEEE Software, vol. 6, p. 15, Sept. 1989.
210. John Backus, "Can Programming Be Liberated From the von Neumann Style? A Functional Style and Its Algebra of Programs," Comm. ACM, vol. 21, p. 514, Aug. 1978.
211. R. N. Caffin, "Heresy on High-Level Languages," Computer, vol. 12, pp. 108-109, Mar. 1979.
212. Jim Haynes, "Comment on High-Level Heresy," Computer, vol. 12, p. 109, Mar. 1979.
213. David Feign, "Letter," Computer, vol. 12, p. 122, Sept. 1979.
214. William A. Wulf, "Trends in the Design and Implementation of Programming Languages," Computer, vol. 13, p. 15, Jan. 1980.
215. Victor R. Basili and Albert J. Turner, "Iterative Enhancement: A Practical Technique for Software Development," IEEE Transactions on Software Engineering, vol. 1, p. 390, Dec. 1975.
216. W. P. Dodd, "Prototype Programs," Computer, vol. 13, p. 81, Feb. 1980.
217. Pat Hall, Janet Low, and Steve Woolgar, "Human Factors in Information Systems Development: A Project Report," CRICT Discussion Paper No. 31, Brunel University, 1992.
218. Fletcher J. Buckley, "A Modest Proposal," Computer, vol. 15, p. 103, Dec. 1982.
219. Daniel D. McCracken and Michael A. Jackson, "Life Cycle Concept Considered Harmful," Software Eng. Notes, vol. 7, p. 32, Apr. 1982.
220. G. R. Gladden, "Stop the Life-Cycle, I Want to Get Off," Software Eng. Notes, vol. 7, p. 35, Apr. 1982.
221. Patrick A. V. Hall, "Letter," Software Eng. Notes, vol. 7, p. 23, July 1982.
222. Bruce I. Blum, "The Life Cycle - a Debate Over Alternate Models," Software Eng. Notes, vol. 7, p. 18, Oct. 1982.
223. Joseph W. Chambers, "Letter," Comm. ACM, vol. 26. p. 108, Feb. 1983.
224. Ware Myers, "Can Software Development Processes Improve - Drastically?" IEEE Software, vol. 1, p. 101, July 1984; Mark Dowson and Jack C. Wileden, "A Brief Report on the International Workshop on the Software Process and Software Environments," Software Eng. Notes, vol. 10, p. 21, July 1985.
225. Ware Myers, "Can Software Development Processes Improve - Drastically?" IEEE Software, vol. 1, p. 101, July 1984; Mark Dowson and Jack C. Wileden, "A Brief Report on the International Workshop on the Software Process and Software Environments," Software Eng. Notes, vol. 10, p. 21, July 1985.
226. Stefano Nocentini, "The Planning Ritual," Datamation, vol. 31, p. 128, Apr. 15, 1985.
227. R. E. A. Mason and T. T. Carey, "Prototyping Interactive Information Systems," Comm. ACM, vol. 26, p. 348, May 1983.
228. Jerry Schulz, "Letter," Datamation, vol. 29, p. 24, Sept. 1983.
229. Barry W. Boehm, Terence E. Gray, and Thomas Seewaldt. "Prototyping Versus Specifying: A Multiproject Experiment," IEEE Transactions on Software Engineering, vol. 10, p. 300, May 1984.
230. Gruia-Catalin Roman, "A Taxonomy of Current Issues in Requirements Engineering," Computer, vol. 18, p. 20, Apr. 1985.
231. Zohar Manna and Richard Waldinger, "Synthesis: Dreams => Programs," IEEE Transactions on Software Engineering, vol. 5, p. 295, July 1979.
232. D. J. Cooke, "Program Transformation," Computer Bull., 2nd series, p. 20, Dec. 1979.
233. David W. Wile, "Program Developments: Formal Explanations of Implementations," Comm. ACM, vol. 26, p. 903, Nov. 1983.
234. Pamela Zave, "The Operational Versus the Conventional Approach to Software Development," Comm. ACM, vol. 27, p. 113, Feb. 1984.
235. Manfred Broy and Peter Pepper, "Program Development as a Formal Activity," IEEE Transactions on Software Engineering, vol. 7, p. 22, Jan. 1981.
236. Barry W. Boehm, "A Spiral Model of Software Development and Enhancement," Computer, vol. 21, p. 65, May 1988.
237. Dennis M. Ritchie and Ken Thompson, "The Unix Time-Sharing System," Comm. ACM, vol. 17, p. 365, July 1974.
238. Evan L. Ivie, "The Programmer's Workbench - a Machine for Software Development," Comm. ACM, vol. 20, p. 746, Oct. 1977.
239. B. W. Kernighan and P. J. Plauger, "Software Tools," Software Eng. Notes, vol. 1, p. 15, May 1976.
240. Anthony I. Wasserman, "Automated Development Environments," Computer, vol. 14, p. 9, Apr. 1981.
241. Michael Lesk, "Another View," Datamation, vol. 27, p. 139, Nov. 1981.
242. David Morris, "How Not to Worry About Unix," Datamation, vol. 30, p. 83, Aug. 1, 1984.
243. Dennis F. Barlow and Norman S. Zimbel, "Unix - How Important Is It?" Datamation, vol. 30, p. 101, Aug. 1, 1984.
244. T. H. Crowley, L. L. Crume, and C. B. Hergenhan, "AT&T Asks for a Unix Standard," Datamation, vol. 30, p. 100, Aug. 1, 1984.
245. Peter J. Denning, "Throwaway Programs," Comm. ACM, vol. 24, p. 58, Feb. 1981.
246. Grover P. Righter, "Letter," Datamation, vol. 30, p. 16, Nov. 1, 1984.
247. Tim Teitelbaum, "The Cornell Program Synthesizer: A Syntax-Directed Programming Environment," SIGPLAN Notices, vol. 14, p. 75, Oct. 1979.
248. Vie Stenning et al., "The Ada Environment: A Perspective," Computer, vol. 14, p. 27, June 1981.
249. Charles Rich and Howard E. Shrobe, "Initial Report on a Lisp Programmer's Apprentice," IEEE Transactions on Software Engineering, vol. 4, p. 456, Nov. 1978.
250. Elliot Soloway, "A Cognitively-Based Methodology for Designing Languages/Environments/Methodologies," SIGPLAN Notices, vol. 19, p. 195, May 1984.
251. Ware Myers, "MCC: Planning the Revolution in Software," IEEE Software, vol. 2, p. 72, Nov. 1985.
252. J. Trenouth, "A Survey of Exploratory Software Development," Computer J., vol. 34, p. 153, Apr. 1991.
253. Winston Royce, "Has the Exploratory Approach Come of Age?" IEEE Software, vol. 10, p. 104, Jan. 1993.
254. A. Nico Habermann and David Notkin, "Gandalf: Software Development Environments," IEEE Transactions on Software Engineering, vol. 12, p. 1,118, Dec. 1986.
255. Jayshree Ramanathan and Soumitra Sarkar, "Providing Customized Assistance for Software Lifecycle Approaches," IEEE Transactions on Software Engineering, vol. 14, p. 749, June 1988.
256. Ronald J. Norman and Gene Forte, "CASE in the '90s," Comm. ACM, vol. 35, p. 30, Apr. 1992.
257. Arthur J. Collmeyer, "Developments in Design Automation," Computer, vol. 7, p. 11, Jan. 1974.
258. Peter Freeman, "Automating Software Design," Computer, vol. 7, p. 34, Apr. 1974.
259. Frederick P. Brooks, Jr., "No Silver Bullet: Essence and Accidents of Software Engineering," Computer, vol. 20, p. 11, Apr. 1987.
260. Paul Rook, "Controlling Software Projects," Software Eng. J., vol. 1, p. 8, Jan. 1986.
261. Anthony Finkelstein, "London Open CRIS Conference," Computer Bull, 2nd series, p. 5, Sept. 1984.
262. A. T. Wood-Harper and G. Fitzgerald, "A Taxonomy of Current Approaches to Systems Analysis," Computer J., vol. 25, pp. 12-16, Feb. 1982.
263. G. Fitzgerald, N. Stokes, and J. R. G. Wood, "Feature Analysis of Contemporary Information Systems Methodologies," Computer J., vol. 28, no. 3, pp. 223-230, 1985.
264. J. Mayhew and P. A. Dearnley, "An Alternative Prototyping Classification," Computer J., vol. 30, pp. 481-484, Dec. 1987.
265. Xiping Song and Leon J. Osterweil, "Toward Objective, Systematic Design-Method Comparisons," IEEE Software, vol. 9, p. 44 May 1992.
266. D. M. Episkopou and A. T. Wood-Harper, "Towards a Framework to Choose Appropriate IS Approaches," Computer J., vol. 29, p. 222 June 1986.
267. Alan M. Davis, Edward H. Bersoff, and Edward R. Comer, "A Strategy for Comparing Alternative Software Development Life Cycle Models," IEEE Transactions on Software Engineering, vol. 14, pp 1,453-1,461, Oct. 1988.
268. Bo Sanden, "The Case for Electric Design of Real-Time Software," IEEE Transactions on Software Engineering, vol. 15, p. 360, Mar. 1989.
269. "Panel on Problems of the 80s, ICSE Atlanta," Software Eng. Nates, vol. 3, p. 29, July 1978.
270. Ware Myers, "New British Tool Centre a Response to Software Complexity," IEEE Software, vol. 2, p. 94, Nov. 1985.
271. W. Wayt Gibbs, "Software's Chronic Crisis," Scientific Am., pp. 72-81, Sept. 1994.
272. Annie Kuntzmann-Combelles, "Software Help Wanted: Revolutionary Thinkers," IEEE Software, vol. 9, p. 10, Sept. 1992.