{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:05:43Z","timestamp":1726412743638},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540506950"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0034285","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T05:36:30Z","timestamp":1134279390000},"page":"1-42","source":"Crossref","is-referenced-by-count":0,"title":["On the role of software reliability in software engineering"],"prefix":"10.1007","author":[{"given":"C.","family":"Ghezzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Morzenti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Pezz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Proceedings ACM Conference on Language Design for Reliable Software, SIGPLAN Notices Vol. 12 no. 3 (March 77)."},{"key":"1_CR2","unstructured":"ACM Sigsoft Notes, Special Issue on \"Formal Verification Workshop\" August 1985."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Brent Auernheimer, Richard Kemmerer, RT-Aslan: a Specification Language for Real-Time Systems, IEEE Transactions on Software Engineering, Vol. SE-12, no. 9, September 1986.","DOI":"10.1109\/TSE.1986.6313044"},{"key":"1_CR4","volume-title":"Characteristics of Software Quality","author":"B. Boehm","year":"1978","unstructured":"B. Boehm et al., Characteristics of Software Quality, North Holland, Amsterdam, 1978."},{"key":"1_CR5","volume-title":"Software Engineering Economics","author":"B. Boehm","year":"1981","unstructured":"B. Boehm, Software Engineering Economics, Prentice Hall, Englewood Cliffs, NJ, 1981."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Frederick P. Brooks, No Silver Bullet, Essence and Accidents of Software Engineering, Computer Vol. 20, no. 4, April 1987.","DOI":"10.1109\/MC.1987.1663532"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"J. P. Cavano, J. A. Mc Call, A Framework for the Measurement of Software Quality, Proc. ACM Software Quality Assurance Workshop, Nov. 1978.","DOI":"10.1145\/800283.811113"},{"key":"1_CR8","unstructured":"B. Cohen, W. T. Hartwood, M. I. Jackson, The Specification of Complex Systems, Addison Wesley, 1986."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"L. D. Fosdick, L. G. Osterweil, Data Flow Analysis in Software Reliability, ACM Computer Surveys, Vol. 8, September 1976.","DOI":"10.1145\/356674.356676"},{"key":"1_CR10","unstructured":"Marie Claude Gaudel, Logic Programming and Authomatization of Software Test Strategies, ESPRIT technical Report, Project Meteor, (Project n 432) December 1986."},{"key":"1_CR11","volume-title":"Computer Program Testing","author":"C. Ghezzi","year":"1981","unstructured":"Carlo Ghezzi, Levels of Static Program Validation, in Computer Program Testing, B. Chandrasekaran and S. Radicchi eds., North Holland, Amsterdam, 1981."},{"key":"1_CR12","unstructured":"N. Gehani, A. McGettrick, Software Specification Techniques, Addison Wesley, 1986."},{"key":"1_CR13","volume-title":"Programming Language Concepts","author":"C. Ghezzi","year":"1987","unstructured":"Ghezzi, C., M. Jazayeri, Programming Language Concepts, 2nd edition, J. Wiley & Sons, New York, 1987.","edition":"2nd edition"},{"key":"1_CR14","unstructured":"Ghezzi, C., D. Mandrioli, On Eclecticism in Specifications: A Case Study Centered Around Petri Net, Proc. 4th Int. Workshop on Software Specification and Design, Monterey, April 1987."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"William E. Howden, A Functional Approach to Program Testing and Analysis, IEEE Transactions on Software Engineering, Vol. SE-12, no. 10, October 1986.","DOI":"10.1109\/TSE.1986.6313016"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Richard A. Kemmerer, Testing Formal Specifications to Detect Design Errors, IEEE Transactions on Software Engineering, Vol. SE-11, no. 1, January 1985.","DOI":"10.1109\/TSE.1985.231535"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"James C. King, Symbolic Execution and Program Testing, Communications of the ACM, Vol. 19, no. 7, July 1976.","DOI":"10.1145\/360248.360252"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"C. E. Landwehr, Formal Models for Computer Security, ACM Computing Surveys, Vol. 13, September 1981.","DOI":"10.1145\/356850.356852"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Nancy G. Leveson, Software Safety: What, Why, and How, ACM Computing Surveys, Vol. 18, no. 2, June 1986.","DOI":"10.1145\/7474.7528"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Dave L. Parnas, Software aspects of strategic defense systems, Communications of the ACM, Vol. 28, no. 12, December 1985.","DOI":"10.1145\/214956.214961"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"H. Partsch, R. Steinbruggen, Program Transformation Systems, ACM Computing Surveys, Vol. 15, no. 3, September 1983.","DOI":"10.1145\/356914.356917"},{"key":"1_CR22","volume-title":"Computer Program Testing","author":"L. J. White","year":"1981","unstructured":"L. J. White, Basic Mathematical Definitions and Results of Testing, in Computer Program Testing, B. Chandrasekaran and S. Radicchi eds., North Holland, Amsterdam, 1981."}],"container-title":["Lecture Notes in Computer Science","Software Reliability Modelling and Identification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0034285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:40:59Z","timestamp":1586612459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0034285"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540506950"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0034285","relation":{},"subject":[]}}