{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:17:48Z","timestamp":1775053068919,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540089346","type":"print"},{"value":"9783540357315","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08934-9_80","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:38:17Z","timestamp":1330187897000},"page":"211-236","source":"Crossref","is-referenced-by-count":35,"title":["Using assertions about traces to write abstract specifications for software modules"],"prefix":"10.1007","author":[{"given":"Wolfram","family":"Bartussek","sequence":"first","affiliation":[]},{"given":"David L.","family":"Parnas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"10_CR1","unstructured":"Parnas, D.L. \"Information Distribution Aspects of Design Methodology.\" Proc. IFIP Congress, 1971"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Parnas, D.L. \"On the Criteria to be Used in Decomposing Systems into Modules.\" Communications of the ACM (Programming Techniques Department), December 1972.","DOI":"10.1145\/361598.361623"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Parnas, D.L., Shore, J.E., and D. Weiss. \"Abstract Types Defined as Classes of Variables.\" Proc. Conference on Data: Abstraction, Definition, and Structure, pp. 22\u201324, Salt Lake City, Utah, March 1976.","DOI":"10.1145\/800237.807133"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"R. W. Floyd","year":"1967","unstructured":"Floyd, R.W. \"Assigning Meanings to Programs.\" In \"Mathematical Aspects of Computer Science\" (J.T. Schwartz, ed.). Proc. Symp. of Applied Mathematics, Vol. 19, American Math. Society, Providence, 1967, 19\u201332.","journal-title":"Proc. Symp. of Applied Mathematics"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R. \"An Axiomatic Basis for Computer Programming.\" Comm. ACM 12, 10. October 1969, 576\u2013583.","DOI":"10.1145\/363235.363259"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W. \"Guarded Commands, Nondeterminancy, and the Formal Derivation of Programs.\" CACM 18, 8, August 1975.","DOI":"10.1145\/360933.360975"},{"key":"10_CR7","unstructured":"Dijkstra, E.W. A Discipline of Programming. Prentice Hall, 1976."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Parnas, D.L. \"A Technique for Software Module Specification with Examples.\" Comm. ACM, May 1972.","DOI":"10.1145\/355602.361309"},{"key":"10_CR9","unstructured":"Guttag, J. \"The Specification and Application to Programming of Abstract Data Types.\" Ph. D. Thesis, CSRG TR 59, University of Toronto, September 1975."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Guttag, J. \"Abstract Data Types and the Development of Data Structures.\" SIGPLAN\/SIGMOD Conference on DATA: Abstraction, Definition and Structure (to be published in CACM).","DOI":"10.1145\/800237.807124"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Parnas, D.L. and W.R. Price. \"The Design of the Virtual Memory Aspects of a Virtual Machine\" Proceedings of the ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, March 1973.","DOI":"10.1145\/800122.803957"},{"key":"10_CR12","unstructured":"Parnas, D.L. and W.R. Price. \"Using Memory Access Control as the Only Protection Mechanism.\" Proc. of International Workshop on Protection in Operating System, 13\u201314 August, IRIA."},{"key":"10_CR13","unstructured":"Roubine, O. and L. Robinson. \"Special Reference Manual\" (Second Edition), Technical Report CSG-45, Stanford Research Institute, Menlo Park, Calif."},{"key":"10_CR14","unstructured":"Liskov, B. and V. Berzins. \"An Appraisal of Program Specifications.\" Research Direction in Software Technology (P. Wegner, ed.). To be published by MIT Press."},{"key":"10_CR15","unstructured":"J. Guttag. Private communication, 1976."},{"key":"10_CR16","unstructured":"Parnas, D.L. and H. Wuerges. \"Response to Undesired Events in Software Systems.\" Proc. of the 2nd International Conference on Software Engineering, 13\u201315 October 1976, San Francisco, California."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Parnas, D.L., Handzel, G. and H. Wuerges. \"Design and Specification of the Minimal Subset of an Operating System Family.\" Presented at 2nd International Conference on Software Engineering, 13\u201315 October 1976; published in special issue of IEEE Transactions on Software Engineering, December 1976.","DOI":"10.1109\/TSE.1976.233836"},{"key":"10_CR18","unstructured":"Neumann, P.G., et.al. A Provably Secure Operating System: The System, Its Applications, and Proofs. Final Report, Stanford Research Institute, 11 February 1977, Menlo Park, California"},{"key":"10_CR19","unstructured":"Parnas, D.L. \"The Use of Precise Specifications in the Development of Software.\" Proc. IFIP Congress 1977, North Holland Publishing Company."},{"key":"10_CR20","unstructured":"Parnas, D.L. and G. Handzel. \"More on Specification Techniques for Software Modules.\" Technical Report, Technische Hochschule Darmstadt, Darmstadt, West Germany, February 1975."},{"key":"10_CR21","unstructured":"Price, W.R. \"Implications of a Virtual Memory Mechanism for Implementing Protection in a Family of Operating Systems.\" Technical Report (Ph. D. Thesis), Carnegie-Mellon University, June 1973, AD766292."}],"container-title":["Lecture Notes in Computer Science","Information Systems Methodology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08934-9_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:00:33Z","timestamp":1605643233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08934-9_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089346","9783540357315"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-08934-9_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978]]}}}