Preview
Unable to display preview. Download preview PDF.
References
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)
M. Hack: Decision problems for Petri-Nets and vector addition systems. MAC-TM 59, Project MAC, M.I.T., Cambridge, Mass., 1975
M. Hack: Petri Net languages. MAC-TR 159, Project MAC, M.I.T., Cambridge, Mass., 1976
J.J. Horning, B. Randell: Process Structuring. Computing Surveys 5, 1, 5–30 (1973)
C.B. Jones: Program Specifications and Formal Development. Proceedings International Computing Symposium 1977, 537–553. North Holland Publishing Company 1977
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)
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)
D.L. Parnas: A technique for software module specification with examples. Comm. ACM Vol. 15, 5, 330–336 (1972)
H. Plickert: Ein Ansatz zur formalisierten Behandlung der Semantik von Speichern mittels eines Maschinenmodells. Doctoral Dissertation, Faculty of Mathematics, Technical University Munich, 1977
H.R. Wiehle: Looking at software as hardware? Lecture Notes prepared for the International Summer School on Structured Programming and Programmed Structures, Munich 1973
Author information
Authors and Affiliations
Editor information
Rights 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