{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:12Z","timestamp":1725663912414},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540559634"},{"type":"electronic","value":"9783540473305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55963-9_64","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:48:12Z","timestamp":1330253292000},"page":"380-394","source":"Crossref","is-referenced-by-count":3,"title":["The IBM Cleanroom software engineering technology transfer program"],"prefix":"10.1007","author":[{"given":"Richard C.","family":"Linger","sequence":"first","affiliation":[]},{"given":"R. Alan","family":"Spangler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,11]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Mills, H.D., M. Dyer, and R.C. Linger, \u201cCleanroom Software Engineering,\u201d IEEE Software, September, 1987, pp. 19\u201325.","DOI":"10.1109\/MS.1987.231413"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Cobb, R.H. and H.D. Mills, \u201cEngineering Software Under Statistical Quality Control,\u201d IEEE Software, November, 1990, pp. 44\u201354.","DOI":"10.1109\/52.60601"},{"key":"30_CR3","unstructured":"Linger, R.C., \u201cCleanroom Software Engineering for Zero-Defect Software,\u201d submitted for publication, 1992."},{"key":"30_CR4","volume-title":"Principles of Information Systems Analysis and Design","author":"H.D. Mills","year":"1986","unstructured":"Mills, H.D., R.C. Linger, and A.R. Hevner, Principles of Information Systems Analysis and Design, Academic Press, San Diego, CA, 1986."},{"issue":"No.4","key":"30_CR5","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1147\/sj.264.0395","volume":"26","author":"H.D. Mills","year":"1987","unstructured":"Mills, H.D., R.C. Linger, and A.R. Hevner, \u201cBox Structured Information Systems,\u201d IBM Systems Journal, Vol. 26, No. 4, 1987, pp. 393\u2013413.","journal-title":"IBM Systems Journal"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Deck, M.D, M.G. Pleszkoch, R.C. Linger, and H.D. Mills, \u201cExtended Semantics for Box Structures,\u201d Proc. 25th Hawaii International Conference on System Sciences, IEEE Computer Society Press, January, 1992, pp. 382\u2013393.","DOI":"10.1109\/HICSS.1992.183252"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Mills, H.D., \u201cStepwise Refinement and Verification in Box-Structured Systems,\u201d IEEE Computer, June, 1988, pp. 23\u201336.","DOI":"10.1109\/2.948"},{"key":"30_CR8","volume-title":"Structured Programming: Theory and Practice","author":"R.C. Linger","year":"1979","unstructured":"Linger, R.C., H.D. Mills, and B.I. Witt, Structured Programming: Theory and Practice, Addison-Wesley, Reading, MA, 1979."},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Mills, H.D., \u201cCertifying the Correctness of Software,\u201d Proc. 25th Hawaii International Conference on System Sciences, IEEE Computer Society Press, January, 1992, pp. 373\u2013381.","DOI":"10.1109\/HICSS.1992.183251"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Whittaker, J.A. and J.H. Poore, \u201cStatistical Testing for Cleanroom Software Engineering,\u201d Proc. 25th Hawaii International Conference on System Sciences, IEEE Computer Society Press, January, 1992, pp. 428\u2013436.","DOI":"10.1109\/HICSS.1992.183256"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Linger, R.C. and H.D. Mills, \u201cA Case Study in Cleanroom Software Engineering: The IBM COBOL Structuring Facility,\u201d Proc. 12th International Computer Science and Applications Conference, IEEE Computer Society Press, October, 1988.","DOI":"10.1109\/CMPSAC.1988.17141"},{"key":"30_CR12","unstructured":"Linger, R.C., \u201cThe Cleanroom Software Technology Center,\u201d Creativity! (ASD-WMA Edition), IBM Corporation, March, 1991."},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Rosen, S.J., \u201cDesign Languages for Cleanroom Software Engineering,\u201d Proc. 25th Hawaii International Conference on System Sciences, IEEE Computer Society Press, January, 1992, pp. 406\u2013417.","DOI":"10.1109\/HICSS.1992.183254"},{"issue":"No.1","key":"30_CR14","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/125489.122826","volume":"1","author":"C.J. Trammell","year":"1992","unstructured":"Trammell, C.J., L.H. Binder, and C.E. Snyder, \u201cThe Automated Production Control System: A Case Study in Cleanroom Software Engineering,\u201d ACM Transactions on Software Engineering and Methodology,\u201d Vol. 1, No. 1, January, 1992, pp. 81\u201394.","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Software Engineering Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55963-9_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:02:22Z","timestamp":1605646942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55963-9_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540559634","9783540473305"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-55963-9_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}