{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:45Z","timestamp":1725664125752},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600435"},{"type":"electronic","value":"9783540494102"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60043-4_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:34:22Z","timestamp":1330277662000},"page":"41-49","source":"Crossref","is-referenced-by-count":2,"title":["The role of education and training in the industrial application of formal methods"],"prefix":"10.1007","author":[{"given":"Ted","family":"Ralston","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susan","family":"Gerhart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Craigen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,25]]},"reference":[{"key":"3_CR1","unstructured":"G. Archinoff, et al. \u201cVerification of the Shutdown System Software at the Darlington Nuclear Generating Station.\u201d International Conference on Control Instrumentation and Nuclear Installations, Glasgow, Scotland, May 1990."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"G. Barrett. \u201cFormal Methods Applied to a Floating Point Number System.\u201d IEEE Transactions on Software Engineering, 1989.","DOI":"10.1109\/32.24710"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"S. Bear. \u201cAn Overview of HP-SL.\u201d Proceedings of VDM'91: Formal Development Methods, Volume 551, Lecture Notes in Computer Science, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54834-3_33"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"D. Brownbridge. \u201cUsing Z to Develop a CASE Toolset.\u201d 1989 Z User Meeting, Workshops in Computing, Springer-Verlag 1989.","DOI":"10.1007\/978-1-4471-3877-8_9"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"M. Carnot, C. DaSilva, B. Dehbonei and F. Meija. \u201cError-free Software Development for Critical Systems using the B methodology.\u201d Third International Symposium on Software Reliability Engineering, IEEE, 1992.","DOI":"10.1109\/ISSRE.1992.285893"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Dan Craigen, Susan Gerhart, Ted Ralston. \u201cFormal Methods Reality Check: Industrial Usage.\u201d IEEE Transactions on Software Engineering, 21(2), February 1995.","DOI":"10.1109\/32.345825"},{"key":"3_CR7","unstructured":"Dan Craigen, Susan Gerhart, Ted Ralston. \u201cAn International Survey of Industrial Applications of Formal Methods.\u201d U.S. National Institute of Standards and Technology, March 1993, Technical Report NIST GCR 93\/626 (Volumes 1 and 2). Also published by the U.S. Naval Research Laboratory (Formal Report 5546-93-9582, September 1993) and the Canadian Atomic Energy Control Board reports INFO-0474-1 (vol 1) and INFO-0474-2 (vol 2), January 1995. Also available at http:\/\/www.ora.on.ca\/."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Dan Craigen, Susan Gerhart and Ted Ralston. \u201cFormal Methods Technology Transfer: Impediments and Innovation.\u201d In Applications of Formal Methods, M.G. Hinchey and J.P. Bowen, Editors. Prentice-Hall International Series in Computer Science, September 1995.","DOI":"10.1016\/B978-0-8155-1362-9.50006-8"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"G. Dinolt, et al. \u201cMultinet Gateway-Towards A1 Certification.\u201d Symposium on Security and Privacy, IEEE 1984.","DOI":"10.1109\/SP.1984.10005"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"D. Garlan and N. Delisle. \u201cFormal Specifications as Reusable Frameworks.\u201d Proceedings of VDM'90: VDM and Z!, Vol. 428, Lecture Notes in Computer Science, Springer-Verlag 1990.","DOI":"10.1007\/3-540-52513-0_9"},{"key":"3_CR11","unstructured":"Susan Gerhart, Kevin Greene, Damir Jamsek, Mark Bouler, Ted Ralston, David Russinoff. \u201cMCC Formal Methods Transition Study,\u201d MCC Technical Report FTP-FT-200-91, August 31, 1991."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Susan Gerhart, Dan Craigen and Ted Ralston. \u201cObservations on Industrial Practice Using Formal Methods.\u201d In Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, May 1993.","DOI":"10.1109\/ICSE.1993.346058"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Susan Gerhart, Dan Craigen and Ted Ralston. \u201cExperiences with Formal Methods in Critical Systems.\u201d IEEE Software, January 1994.","DOI":"10.1109\/52.251198"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"I. Houston, S. King. \u201cCICS Project Report: Experiences and Results from the use of Z.\u201d Proceedings of VDM'91: Formal Development Methods, Volume 551, Lecture Notes in Computer Science, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54834-3_34"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"D. Kuhn and J. Dray. \u201cFormal Specification and Verification of Control Software for Cryptographic Equipment.\u201d Sixth Computer Security Applications Conference, 1990.","DOI":"10.1109\/CSAC.1990.143748"},{"key":"3_CR16","unstructured":"N. Leveson, et al. \u201cExperiences using Statecharts for a System Requirements Specification.\u201d UC Irvine technical report, TR-92-106. Submitted for publication."},{"key":"3_CR17","unstructured":"R. Linger and H. Mills. \u201cA Case Study in Cleanroom Software Engineering: the IBM COBOL Structuring Facility.\u201d COMPSAC, IEEE 1988."},{"key":"3_CR18","unstructured":"John Wordsworth. Software Development with Z. Addison-Wesley, 1992."},{"key":"3_CR19","unstructured":"\u201cExperiences from Applications of RAISE.\u201d LaCoS Project Reports, dated June 1991 and March 1992."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60043-4_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:22Z","timestamp":1605648502000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60043-4_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600435","9783540494102"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-60043-4_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}