Perspectives in Software Engineering

ACM Computing Surveys (CSUR)

Volumn 10, Issue 2, 1978, Pages 197-216

  Zelkowitz, Marvin V ^a,b  

^a NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

^b UNIVERSITY OF MARYLAND   (United States)

Author keywords

certification; chmf programmer team; program correctness; program design language (PDL); software development life cycle; software engineering; software reliability; structured programming; top down design; top down development; validation; verification

Indexed keywords

EID: 84976803868     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/356725.356731     Document Type: Article

References (57)

1. Aho, A.; and Ullman, J. Theory of parsing, translation, and compiling, Prentice Hall, Inc., Englewood Cliffs, N J., 1972.
2. American Standard FORTRAN, American Natl. Standards Inst., x3.9-1966, March, 1966.
3. American Standard PL/1, American Natl. Standards Inst., x.53-1976, Aug., 1976.
4. Baker, F. T. “Chief programmer team management of production programming,” IBM Syst. J. 11, 1 (1972), 56-73.
5. Basili, V.; and Zelkowitz, M. “Analyzing medium scale software development,” Third Int. Conf. Software Engineering, 1978.
6. Basili, V.; and Turner, A. J. “Iterative enhancement: a practical technique for software development,” IEEE Trans. Softw. Eng. 1, 4 (Dec. 1975), 390-396.
7. Boehm, B.; McClean, R.; and Urfrig, D. “Some experience with automated aids to the design of large scale reliable software,” Int. Conf. on Reliable Software, 1975, ACM, New York, pp. 105-113.
8. Boehm, B. “Seven basic principles of software engineering,” in Infotech state of the art report on software engineering techniques, 1977, Infotech International Ltd., Maidenhead, UK, 1976.
9. Brinch, Hansen P. Architectures of concurrent programs, Prentice Hall, Inc., Englewood Cliffs, N. J., 1977.
10. Brooks, F. P. The mythical man month, Addison-Wesley Publ Co., Reading, Mass., 1975.
11. Caine, S. H.; and Gordon, E. K. “PDL—a tool for software design,” in Proc. 1975 AFIPS Natl. Computer Conf., Vol. 44, AFIPS Press, Montvale, N. J., pp. 271-276.
12. Conway, R. A primer on disciplined programming, Winthrop Publishers, Cambridge, Mass., 1978.
13. Conway, R.; and Wilcox, T. “Design and implementation of a diagnostic compiler for PL/1,” Commun. ACM 16, 3 (March 1973), 169-179.
14. Cooley, J. W.; and Tukey, J. W. “An algorithm for the machine calculation of complex Fourier series,” Math. Comput. 19, 90 (1965), 299-301.
15. Davis, C. G.; and Vick, C. R. “The software development system,” IEEE Trans. Softw. Eng. 3, 1 (Jan., 1977), 69-84.
16. Denning, P. J. “A hard look at structured programming,” in Infotech state of the art report on structured programming, 1976, Infotech International Ltd., Maidenhead, UK, pp. 183-202.
17. Denning, P. J. “Fault tolerant operating systems,” Comput. Surv. 8, 4 (Dec. 1976), 359-389.
18. Dijkstra, E. “GOTO statement considered harmful,” Commun. ACM 11, 3 (March 1968), 147-148.
19. Dijkstra, E. A discipline of programming, Prentice Hall, Inc., Englewood Cliffs, N. J., 1976.
20. Dolotta, T. A.; and Mashey, J. R. “An introduction to the programmer's workbench,” in Second Int. Conf Software Engineering, 1976, pp. 164-168
21. “Everything about the Narrows Bridge is big, bigger, or biggest,” Eng. News Record 166, June 29, 1961, 24-28.
22. “Narrows Bridge opens to traffic,” Eng. News Record 173, Nov. 19, 1964, 33.
23. “Alaskan pipe cost probe hits snag,” Eng. News Record 198, April 7, 1977, 14.
24. Fife, D. Computer software management: a primer for project management and quality control, Natl. Bureau of Standards, Inst. Computer Sciences and Technology, Special Publications, April 1977.
25. Gallagher, P. F. Project estimating by engineering methods, Hayden Book Co., New York, 1965.
26. Gerhart, S.; and Yelowitz, L. “Observations of fallibility in applications of modem programming methodologies,” IEEE Trans. Softw. Eng. 2, 3 (Sept. 1976), 195-207.
27. Goodenough, J. B.; and Gerhart, S. “Toward a theory of test data selection,” IEEE Trans. Softw. Eng. 1, 2 (June 1975), 156-173.
28. Halstead, M. Elements of software science, Elsevier North Holland, Inc., New York, 1977.
29. Hamilton, M.; and Zeldin, S. “Higher order software a methodology for defining software,” IEEE Trans. Softw. Eng. 2, 1 (March 1976), 9-32.
30. Hoare, C. A. R. “An axiomatic basis for computer programming,” Commun. ACM 12, 10 (Oct. 1969), 576-580, 583.
31. Huang, J. C. “An approach to program testing,” Comput. Surv. 7, 3 (Sept. 1975), 113-128.
32. Jeffery, S., and Linden, T. “Software engineering is engineering,” in IEEE Computer Science and Engineering Curricula Workshop,1977, IEEE, New York, pp. 112-115.
33. King, J. C. “A program verifier,” PhD Dissertation, Computer Science Dept., Carnegie-Mellon Univ. Pittsburgh, Pa.,1969.
34. Knuth, D. “An empirical study of FORTRAN programs.” Softw. Pract Exper. 1, 2 (1971), 105-133.
35. Knuth, D. “Structured programming with statements,” Comput Surv. 6, 4 (Dec. 1974), 261-301.
36. Liskov, B.; and Zilles, S. “Specification techniques for data abstractions,” IEEE Trans. Softw Eng. 1, 1 (1975), 9-19.
37. Liskov, B.; Snyder, A., Atkinson, R.; and Schaffert, C. “Abstraction mechanisms in CLU,” Commun. ACM 20, 8 (Aug. 1977), 564-576.
38. Lowry, E. S.; and Medlock, C. W. “Object code optimization,” Commun. ACM 12, 1 (Jan. 1969), 13-22.
39. Mills, H. D. “Software development,” IEEE Trans Softw. Eng. 2, 4 (1976), 265-273.
40. Parnas, D. L. “On the criteria for decomposing systems into modules,” Commun. ACM 15, 12 (Dec. 1972), 1053-1058.
41. Parnas, D. L. “The influence of software structure on reliability,” in Int. Conf. Reliable Software, 1975, pp. 358-362.
42. ACM SIGPLAN Notices 10, 6 June 1975.
43. Popek, G. J.; Horning, J. J.; Lampson, B. W.; Mitchell, J. G.; and London, R. L. “Notes on the design of EUCLID,” in Proc ACM Conf Language Design for Reliable Software, ACM, New York, 1977, pp. 11-18.
44. Putnam, L.; and Wolverton, R. Quantitative management, software cost estimating, (tutorial), IEEE Computer Society, Nov. 1977, IEEE, New York.
45. Ramamoorthy, C. V., and Ho, S. F. “Testing large software with automated software evaluation systems,” IEEE Trans. Softw Eng. 1, 1 (1975), 46-58.
46. Reifer, D. J. “The structured FORTRAN dilemma,” SIGPLAN Notices 11, 2 (1976), 30-32.
47. Ritchie, D. M.; and Thompson, K. “The UNIX time-sharing system,” Commun ACM 17, 7 (July 1974), 365-375.
48. Teichroew, D.; and Hershey, E. A. “PSL/PSA. a computer aided technique for structured documentation and analysis of information processing systems,” IEEE Trans Softw Eng. 3, 1 (1977), 41-48.
49. Walston, C. E., and Felix, C. P. “A method of programming measurements and estimation,” IBM Syst. J. 16, 1 (1977), 54-73.
50. Weide, B. “A survey of analysis techniques for discrete algorithms,” Comput.Surv. 9, 4 (Dec. 1977), 291-313.
51. Weinberg, G. M. The psychology of computer programming, Van Nostrand Remhold, New York, 1971.
52. Wirth, N. “Program development by stepwise refinement,” Commun. ACM 14, 4 (April 1971), 221-227.
53. Wirth, N. “On the composition of well-structured programs,” Comput. Surv 6, 4 (Dec 1974), 247-259.
54. Wolverton, R. W. “The cost of developing large scale software,” IEEE Trans. Comput. 23, 6 (1974), 615-636.
55. Wulf, W.; London, R., Shaw, M. “An introduction to the construction and verification of ALPHARD programs,” IEEE Trans Softw. Eng. 2, 4 (1976), 253-264.
56. Younger, D. “Recognition and parsing of context-free languages in time n**3,”Inf Control 10, 2 (1967), 189-208.
57. Zelkowitz, M. V. “Third generation compiler design,” in ACM Natl. Comput Conf., 1975, ACM, New York, pp. 253-258.