{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:37:59Z","timestamp":1725629879984},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540081234"},{"type":"electronic","value":"9783642665998"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/978-3-642-66599-8_22","type":"book-chapter","created":{"date-parts":[[2011,11,4]],"date-time":"2011-11-04T17:09:03Z","timestamp":1320426543000},"page":"295-304","source":"Crossref","is-referenced-by-count":0,"title":["Erfahrungen mit der Zuverl\u00e4ssigkeit von Proze\u00dfprogrammen bei der Verwendung von PEARL"],"prefix":"10.1007","author":[{"given":"Albrecht","family":"Zeh","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","first-page":"358","volume-title":"The influence of software structure on reliability, Proc. of the Intern","author":"DL Parnas","year":"1975","unstructured":"Parnas, D.L.: The influence of software structure on reliability, Proc. of the Intern. Conf. on Reliable Software, Los Angeles, 1975, pp. 358 \u2013 362"},{"key":"22_CR2","volume-title":"A new method to investigate the safety of control systems","author":"R Konakovsky","year":"1975","unstructured":"Konakovsky, R.: A new method to investigate the safety of control systems, IFAC Congress, Boston, USA, 1975, Reprints Part II D, p. 26.5\/1\u20138"},{"key":"22_CR3","first-page":"147","volume-title":"The GOTO statement considered harmful, Comm","author":"EW Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: The GOTO statement considered harmful, Comm. of the ACM, March 1968, pp. 147\u2013148"},{"key":"22_CR4","first-page":"86","volume-title":"Reliability and Integrity of Large Computer Programs","author":"CV Ramamoorthy","year":"1974","unstructured":"Ramamoorthy, C.V. a.o.: Reliability and Integrity of Large Computer Programs, GFK-GE-GMR, Fachtagung Proze\u00dfrechner 1974, Springer Verlag, pp. 86\u2013161"},{"key":"22_CR5","first-page":"51","volume-title":"Operational Testing and Software Reliability Estimation During Program Development","author":"ML Shopman","year":"1973","unstructured":"Shopman, M.L.: Operational Testing and Software Reliability Estimation During Program Development, Rec. of the 1973 IEEE Symp. on Comp. Software Reliability, May 1973, pp. 51\u201357"},{"key":"22_CR6","volume-title":"Programmausr\u00fcstung f\u00fcr den Einsatz von Proze\u00dfrechnern, Methoden zur Programmerstellung und Pr\u00fcfung, Interkama","author":"G Kr\u00fcger","year":"1974","unstructured":"Kr\u00fcger, G.: Programmausr\u00fcstung f\u00fcr den Einsatz von Proze\u00dfrechnern, Methoden zur Programmerstellung und Pr\u00fcfung, Interkama 1974, D\u00fcsseldorf"},{"key":"22_CR7","volume-title":"Experimentelle Untersuchungen von Spracheigenschaften der Proze\u00dfrechnersprache PEARL anhand von Modellprozessen, aus \u201cPraxis von Sprachen, Programmiersystemen und Programmgeneratoren\u201d, Hanser Verlag","author":"R Lauber","year":"1976","unstructured":"Lauber, R.: Experimentelle Untersuchungen von Spracheigenschaften der Proze\u00dfrechnersprache PEARL anhand von Modellprozessen, aus \u201cPraxis von Sprachen, Programmiersystemen und Programmgeneratoren\u201d, Hanser Verlag 1976"},{"key":"22_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96302-5","volume-title":"Proze\u00dfautomatisierung I","author":"R Lauber","year":"1976","unstructured":"Lauber, R.: Proze\u00dfautomatisierung I, Springer Verlag, Berlin-Heidelberg-New York 1976"},{"key":"22_CR9","unstructured":"Zeh, A.: Ein Vorschlag zur Erh\u00f6hung der Zuverl\u00e4ssigkeit der Proze\u00dfprogrammiersprache PEARL bei der Synchronisierung von Betriebsmitteln f\u00fcr parallel ablauff\u00e4hige Vorg\u00e4nge, ASME-Bericht A-004, Ges. f\u00fcr Kernforschung Karlsruhe, PDV"},{"key":"22_CR10","first-page":"366","volume-title":"Flow diagrams, touring machines and languages with only two formation rules","author":"C Boehm","year":"1966","unstructured":"Boehm, C., Jacopini, G.: Flow diagrams, touring machines and languages with only two formation rules, Comm. of ACM, May 1966, pp. 366\u2013371"},{"key":"22_CR11","first-page":"23","volume-title":"Notes avoiding GOTO statements Information processing letters 1","author":"F Knuth","year":"1971","unstructured":"Knuth, Floyd: Notes avoiding GOTO statements Information processing letters 1, 1971, pp. 23\u201331"}],"container-title":["Informatik - Fachberichte","Fachtagung Prozessrechner 1977"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-66599-8_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:05:23Z","timestamp":1606255523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-66599-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540081234","9783642665998"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-66599-8_22","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1977]]}}}