Skip to main content
SpringerLink
Log in

On system specification

  • Chapter 4: Future Outlook And Research Problems
  • Chapter
  • First Online:
Operating Systems

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

  • 201 Accesses

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.

References

  1. J.V. Guttag, E. Horwitz, D.R. Musser: The design of data type specifications. Proceedings 2nd International Conference on Software Engineering, IEEE, 414–420 (1976)

    Google Scholar 

  2. M. Hack: Decision problems for Petri-Nets and vector addition systems. MAC-TM 59, Project MAC, M.I.T., Cambridge, Mass., 1975

    Google Scholar 

  3. M. Hack: Petri Net languages. MAC-TR 159, Project MAC, M.I.T., Cambridge, Mass., 1976

    Google Scholar 

  4. J.J. Horning, B. Randell: Process Structuring. Computing Surveys 5, 1, 5–30 (1973)

    Google Scholar 

  5. C.B. Jones: Program Specifications and Formal Development. Proceedings International Computing Symposium 1977, 537–553. North Holland Publishing Company 1977

    Google Scholar 

  6. P.E. Lauer, R.H. Campbell: Formal semantics of a class of high-level primitives for coordinating concurrent processes. Acta Informatica 5, 297–332 (1975)

    Google Scholar 

  7. B. Liskov, S. Zilles: Specification techniques for data abstractions. Proceedings of ACM SIGPLAN Conference on Reliable Software. SIGPLAN Notices Vol. 10, 6, 72–87 (1975)

    Google Scholar 

  8. D.L. Parnas: A technique for software module specification with examples. Comm. ACM Vol. 15, 5, 330–336 (1972)

    Google Scholar 

  9. H. Plickert: Ein Ansatz zur formalisierten Behandlung der Semantik von Speichern mittels eines Maschinenmodells. Doctoral Dissertation, Faculty of Mathematics, Technical University Munich, 1977

    Google Scholar 

  10. H.R. Wiehle: Looking at software as hardware? Lecture Notes prepared for the International Summer School on Structured Programming and Programmed Structures, Munich 1973

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hochschule der Bundeswehr München, München, Germany

    H. R. Wiehle

Authors
  1. H. R. Wiehle
    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

Wiehle, H.R. (1978). On system specification. 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_12

Download citation

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

  • 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