A Guided Tour of Program Design Methodologies

Computer

Volumn 14, Issue 10, 1981, Pages 13-37

  Bergland, G D ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0019622033     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/C-M.1981.220206     Document Type: Article

References (26)

1. J. N. Buxton, “Software Engineering,” Programming Methodology, ed. D. Gries, Springer-Verlag, New York, 1978, pp. 23–28.
2. B. W. Boehm, “Software Engineering,” IEEE Trans. Computers, Dec. 1976, Vol. C-25, No. 12.
3. D. L. Parnas, “Software Engineering or Methods for the Multi-Person Construction of Multi-Version Programs,” Programming Methodology, Lecture Notes in Computer Science, No. 23, Springer-Verlag, New York, 1975, pp. 225–235.
4. V. A. Vyssotsky, “Software Engineering,” keynote speech delivered at COMPSAC 79, Nov. 6–8, 1979, Chicago, III.
5. G. D. Bergland and R. D. Gordon, Tutorial: Software Design Strategies, IEEE Computer Society Press, Silver Spring, Md., 1979, pp. 1–14.
6. G. M. Weinberg, The Psychology of Computer Programming, Van Nostrand Reinhold, New York, 1971.
7. M. A. Jackson, Principles of Program Design, Academic Press, New York, 1975.
8. E. Yourdon and L. L. Constantine, Structured Design, Yourdon Press, New York, 1975.
9. G. J. Myers, Reliable Software Through Composite Design, Petrocelli/Charter, New York, 1975.
10. B. Liskov and S.Zilles, “Programming with Abstract Data Types,” SIGPLAN Notices, Vol. 9, No. 4, Apr. 1974, pp. 50–59.
11. J. W. Johnson, “Software Design Techniques,” Proc. Nat'l Electronics Conf., Chicago, III., Oct. 12, 1977.
12. F. P. Brooks, Jr., The Mythical Man-Month, Addison-Wesley Pub. Co. Reading, Mass., 1975.
13. E. W. Dijkstra, “The Humble Programmer,” Comm. ACM, Vol. 15, No. 10, Oct. 1972, pp. 859–866.
14. Implications of Using Modular Programming, Central Computer Agency, Her Majesty's Stationery Office, London, 1973.
15. C. Alexander, Notes on Synthesis of Form, Harvard University Press, Cambridge, Mass., 1964.
16. L. A. Belady and M. M. Lehman,”Characteristics of Large Systems,” Systems,” Proc. Research Directions in Software Technology, Brown University, Oct. 1977.
17. F. T. Baker, “Structured Programming in Trans. Production Programming Environment,” IEEE Trans. Software Eng., June 1975, Vol. SE-1, No. 2, pp. 241–252.
18. D. L. Parnas, “On the Criteria to be Used in Decomposing Systems into Modules,” Comm. ACM, Vol. 15, No. 12, Dec. 1972, pp. 1053–1058.
19. R. C. Linger, H. D. Mills, and B. I. Witt, Structured Programming Theory and Practice, Addison-Wesley, Reading, Mass., 1979.
20. E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Cliffs, N.J., 1976.
21. N. Wirth, Systematic Programming, Prentice-Hall, Englewood Cliffs, N.J., 1973.
22. B. H. Liskov, “A Design Methodology for Reliable Software Systems,” AFIPS Conf. Proc., Vol. 41, FJCC 72, 1972, pp. 191–199.
23. J. D. Warnier, Logical Construction of Programs, Van Nostrand Reinhold Co., New York, 1974.
24. D. Gries, “An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs,” IEEE Trans. Software Eng., Vol. SE-2, No. 4, Dec. 1976, pp. 238–244.
25. E. W. Dijkstra and D. Gries, “Introduction to Programming Methodology,” Ninth Institute in Computer Science, University of California, Santa Cruz, Aug. 1979.
26. D. M. Ritchie and K. Thompson, “The UNIX Timesharing System,” BellSystem Technical J., Vol. 57, No. 6, Part 2, July-Aug. 1978, pp. 1905-1929.