Skip to main content
SpringerLink
Log in

The object model: A conceptual tool for structuring software

  • Chapter 2.: Models
  • Chapter
  • First Online:
Operating Systems

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 60))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. References

  • Burroughs Corporation, The Descriptor—A definition of the B5000 Information Processing System. Detroit, MI (February 1961).

    Google Scholar 

  • Dahl, O.-J., B. Myhrhaung and K. Nygaard, The Simula 67 Common Base Language, Norwegian Computing Center, Oslo, Norway (1968).

    Google Scholar 

  • Dennis, J. B. and Van Horn, E. C., Programming Semantics for Multiprogrammed Computations, CACM 9, 3 (March 1966) 143–155.

    Google Scholar 

  • Habermann, A. N., On the Concurrency of Parallel Processes, Perspectives in Computer Science, A. Jones, editor, Academic Press (1977).

    Google Scholar 

  • 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 

  • 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 

  • Lampson, B. W. and H. Sturgis, Reflections on an Operating System Design. CACM 19, 5 (May 76), 251–266.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • Organick, E. I., The Multics System: iAn Examination of its Structure. MIT Press (1972).

    Google Scholar 

  • Schroeder, M. D. and J. H. Saltzer, A Hardware Architecture for Implementing Protection Rings. CACM 15, 3 (March 1972) 157–170.

    Google Scholar 

  • Wulf, W. A., et al, Hydra: the Kernel of a Multiprocessor Operating System. CACM 17, 6 (June 1974) 337–345.

    Google Scholar 

  • Wulf, W. A., R. L. London and M. Shaw, Abstraction and Verification in Alphard. IEEE Transactions on Software Engineering (April 1976).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Carnegie-Mellon University, 15213, Pittsburgh, PA, USA

    Anita K. Jones

Authors
  1. Anita K. Jones
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

R. Bayer R. M. Graham G. Seegmüller

Rights and permissions

Reprints and permissions

Copyright information

© 1978 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Jones, A.K. (1978). The object model: A conceptual tool for structuring software. In: Bayer, R., Graham, R.M., Seegmüller, G. (eds) Operating Systems. Lecture Notes in Computer Science, vol 60. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08755-9_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-08755-9_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08755-7

  • Online ISBN: 978-3-540-35880-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation