{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:23:55Z","timestamp":1725629035683},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540112044"},{"type":"electronic","value":"9783642683558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/978-3-642-68355-8_9","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T11:03:00Z","timestamp":1320231780000},"page":"105-116","source":"Crossref","is-referenced-by-count":0,"title":["A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication"],"prefix":"10.1007","author":[{"given":"R.","family":"Gotzhein","sequence":"first","affiliation":[]},{"given":"S.","family":"Keramidis","sequence":"additional","affiliation":[]},{"given":"M.","family":"Reitenspie\u00df","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"9_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/390016.808430","volume":"10","author":"BW Boehm","year":"1975","unstructured":"Boehm, B.W.\/Mc Clean, R.K.\/Urfrig, R.B.: Some experiences with automated aids to the design of large-scale reliable software. Int. Conf. on Reliable Software = ACM SIGPLAN Not. 10, 6, p. 105\u2013113 (1975)","journal-title":"Int. Conf. on Reliable Software = ACM SIGPLAN Not"},{"key":"9_CR2","first-page":"37","volume-title":"Implementierungssprachen f\u00fcr nichtsequentielle Programmsysteme","author":"S Keramidis","year":"1981","unstructured":"Keramidis, S.\/Reitenspie\u00df, M.\/Weber, K.: Sprachkonstrukte und Betriebssystemunterstiitzung f\u00fcr asynchrone und verteilte Proze\u00dfsysteme. In: Implementierungssprachen f\u00fcr nichtsequentielle Programmsysteme (J. Nehmer, ed.), German Chapter of the ACM, Report 7, p. 37\u201362. Stuttgart: Teubner 1981"},{"key":"9_CR3","volume-title":"Programmentwicklung als konstruktive Aufgabe","author":"HJ Schneider","year":"1981","unstructured":"Schneider, H.J.: Programmentwicklung als konstruktive Aufgabe. University Erlangen-N\u00fcrnberg, Technical Report, June 1981"},{"key":"9_CR4","volume-title":"Software \u2014 Programmentwicklung und Projektorganisation","author":"P Schnupp","year":"1976","unstructured":"Schnupp, P.\/Floyd, C.: Software \u2014 Programmentwicklung und Projektorganisation. Berlin: W. de Gruyter 1976"}],"container-title":["Informatik-Fachberichte","Programmiersprachen und Programmentwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68355-8_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:28:23Z","timestamp":1606238903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68355-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540112044","9783642683558"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68355-8_9","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}