Object-Oriented Development

IEEE Transactions on Software Engineering

Volumn SE-12, Issue 2, 1986, Pages 211-221

  Booch, Grady ^a  

^a US Department of Defense ^*  (United States)

Author keywords

Abstract data type; Ada; object; object oriented development; software development method

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE;

ABSTRACT DATA TYPES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0022670294     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1986.6312937     Document Type: Article

References (33)

1. T. Rentsch, “Object-oriented programming.” SIGPLAN Notices, vol. 17, no. 9, p. 51, Sept. 1982.
2. J. Guttag, E. Horowitz, and D. Musser, The Design of Data Type Specification (Current Trends in Programming Methodology, Vol. 4). Englewood Cliffs, NJ: Prentice-Hall, 1978, p. 200.
3. Adapted from an exercise provided by P. Ward at the Rocky Mountain Institute for Software Engineering, Aspen, CO, 1984.
4. C. Gane and T. Sarson, Structured Systems Analysis: Tools and Techniques. Englewood Cliffs, NJ: Prentice-Hall, 1979.
5. E. Yourdon and L. Constantine, Structured Design. Englewood Cliffs, NJ: Prentice-Hall, 1979.
6. H. Levy, Capability-Based Computer Systems. Bedford, MA: Digital Press, 1984, p. 13.
7. G. Curry and R. Ayers, “Experience with traits in the Xerox Star workstation,” in Proc. Workshop Reusability in Program., ITT Programming, Stratford, CT, 1983, p. 83.
8. M. Shaw, “Abstraction techniques in modern programming languages,” IEEE Software, vol. 1, no. 4, p. 10, Oct. 1984.
9. D. L. Parnas, “On the criteria to be used in decomposing systems into modules,” Commun. ACM. Dec. 1972.
10. R. Abbott, “Report on teaching Ada,” Science Applications, Inc., Rep. SAI-81-312WA. Dec. 1980.
11. “Program design by informal English descriptions,” Commun. ACM. vol. 26, no. 11, p. 884, Nov. 1983.
12. M. Jackson, System Development. Englewood Cliffs, NJ’ PrenticeHall, Hall, 1983.
13. M. Alford, “SREM at the age of eight: The distributed computing design system,” Computer, vol. 18, no. 4, Apr. 1985.
14. G. Buzzard and T. Mudge, “Object-based computing and the Ada programming language,” Computer, vol. 18, no. 3, p. 12, 1985.
15. D. Boehm-Davis and L. Ross, “Approaches to structuring the software development process,” General Elec. Co., Rep. GEC/DIS/TR-84-B1V-1, Oct. 1984, p. 13.
16. B. Meyer, “Towards a two-dimensional programming environment,” in Readings in Artificial Intelligence. Palo Alto, CA: Tioga, 1981, p. 178.
17. A. Borgida, S. Greenspan and J. Mylopoulos, “Knowledge representation as the basis for requirements specification,” Computer, vol. 18, no. 4, p. 85, Apr. 1985.
18. D. Boehm-Davis and L. Ross, “Approaches to structuring the software development process,” General Elec. Co., Rep. GEC/DIS/TR-84-B1V-1, Oct. 1984, p. 14.
19. B. MacLennan, “Values and objects in programming languages”,- SIGPLAN Notices, vol. 17, no. 12, p. 75, Dec. 1982.
20. H. Levy, Capability-Based Computer Systems. Bedford, MA: Digital Press, 1984, p. 13.
21. B. Liskov, “A design method for reliable software systems,” in Proc. Fall Joint CO nput. Conf., AFIPS, 1972, p. 67.
22. B. Liskov and S. Zilles, “Specification techniques for data abstractions,” IEEE Trans. Software Eng., vol. SE-1, Mar. 1975.
23. J. Guttag, E. Horowitz, and D. Musser, The Design of Data Type Specification (Current Trends in Programming Methodology, Vol. 4). Englewood Cliffs, NJ: Prentice-Hall, 1978.
24. M. Shaw, “Abstraction techniques in modern programming languages,” IEEE Software, vol. 1, no. 4, Oct. 1984.
25. A. Abelson, G. Sussman, and J. Sussman, Structure and Interpretation of Computer Programs. Cambridge, MA: M.I.T. Press, 1985.
26. B. Cox, “Message/object programming: An evolutionary change in programming technology,” IEEE Software, vol. 1, no. 1, Jan. 1984.
27. “A symposium on actor languages,” Creative Comput., Oct. 1980.
28. G. Myers, Advances in Computer Architecture. New York: Wiley, 1982.
29. H. Deitel, An Introduction to Operating Systems. Reading, MA: Addison-Wesley, 1983, p. 456.
30. B. Liskov and S. Zilles, An Introduction to Formal Specifications of Data Abstractions (Current Trends in Programming Methodology, Vol. 1). Englewood Cliffs, NJ: Prentice-Hall, 1977, p. 19.
31. M. Shaw, W. Wulf, and R. London, “Abstraction and verification in Alphard: Iteration and generators,” in Alphard: Form and Content. New York: Springer-Verlag, 1981.
32. B. Liskov, R. Atkinson, T. Bloom, E. Moss, J. Schaffert, R. Schiefler, and A. Snyder, CLU Reference Manual. New York: Sprinter-Verlag, 1981, p. 8.
33. E. G. Booch, “Describing software design in Ada,” SIGPLAN Notices, Sept. 1981.