The object model: A conceptual tool for structuring software

  • Anita K. Jones
Chapter 2.: Models
Part of the Lecture Notes in Computer Science book series (LNCS, volume 60)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. References

  1. Burroughs Corporation, The Descriptor—A definition of the B5000 Information Processing System. Detroit, MI (February 1961).Google Scholar
  2. Dahl, O.-J., B. Myhrhaung and K. Nygaard, The Simula 67 Common Base Language, Norwegian Computing Center, Oslo, Norway (1968).Google Scholar
  3. Dennis, J. B. and Van Horn, E. C., Programming Semantics for Multiprogrammed Computations, CACM 9, 3 (March 1966) 143–155.Google Scholar
  4. Habermann, A. N., On the Concurrency of Parallel Processes, Perspectives in Computer Science, A. Jones, editor, Academic Press (1977).Google Scholar
  5. Jones, A. K. and W. A. Wulf, Towards the Design of Secure Systems. Software—Practice and Experience, 5, 4 (October–December 1975) 321–336.Google Scholar
  6. Jones, A. K. and B. H. Liskov, A Language Extension for Controlling Access to Shared Data. IEEE Transactions on Software Engineering SE-2, 4 (December 1976) 277–284.Google Scholar
  7. Lampson, B. W. and H. Sturgis, Reflections on an Operating System Design. CACM 19, 5 (May 76), 251–266.Google Scholar
  8. Liskov, B. H. and S. Zilles, Specification Techniques for Data Abstractions. Proceedings of the International Conference on Reliable Software, SIGPLAN Notices 12,3 (1977).Google Scholar
  9. Liskov, B. H., A. Snyder, R. Atkinson, and C. Schaffert, Abstraction Mechanisms in CLU. Proceedings of the ACM Conference on Language Design for Reliable Software, SIGPLAN Notices 10,6 (1975), 534–545.Google Scholar
  10. Needham, R. and R. D. H. Walker, The Cambridge CAP Computer and its Protection System. Proceedings of the 6th ACM Symposium on Operating System Principles (November 77) 1–10.Google Scholar
  11. Organick, E. I., The Multics System: iAn Examination of its Structure. MIT Press (1972).Google Scholar
  12. Schroeder, M. D. and J. H. Saltzer, A Hardware Architecture for Implementing Protection Rings. CACM 15, 3 (March 1972) 157–170.Google Scholar
  13. Wulf, W. A., et al, Hydra: the Kernel of a Multiprocessor Operating System. CACM 17, 6 (June 1974) 337–345.Google Scholar
  14. Wulf, W. A., R. L. London and M. Shaw, Abstraction and Verification in Alphard. IEEE Transactions on Software Engineering (April 1976).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Anita K. Jones
    • 1
  1. 1.Department of Computer ScienceCarnegie-Mellon UniversityPittsburghUSA

Personalised recommendations