{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:38:30Z","timestamp":1725899910886},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642317613"},{"type":"electronic","value":"9783642317620"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31762-0_3","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T06:09:11Z","timestamp":1341986951000},"page":"22-32","source":"Crossref","is-referenced-by-count":0,"title":["The Practical Application of Formal Methods: Where Is the Benefit for Industry?"],"prefix":"10.1007","author":[{"given":"James J.","family":"Hunt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Verification of Object-Oriented Software. The KeY Approach","year":"2007","unstructured":"Beckert, B., H\u00e4hnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software. LNCS (LNAI), vol.\u00a04334. Springer, Heidelberg (2007)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Object Modeling with the OCL. The Rationale behind the Object Constraint Language","year":"2002","unstructured":"Clark, A., Warmer, J. (eds.): Object Modeling with the OCL. The Rationale behind the Object Constraint Language. LNCS, vol.\u00a02263. Springer, Heidelberg (2002)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44880-2_1","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"D. Jackson","year":"2003","unstructured":"Jackson, D.: Alloy: A Logical Modelling Language. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, p. 1. Springer, Heidelberg (2003)"},{"key":"3_CR4","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. Technical Report TR #98-06t, Department of Computer Science, Iowa State University (2002)"},{"key":"3_CR5","unstructured":"MISRA Consortium. MISRA-C: 2004 \u2014 Guidelines for the use of the C language in critical systems (2004)"},{"key":"3_CR6","unstructured":"S.\u00a0of\u00a0the SC-205\/WG-71\u00a0Plenary. DO-330: Software Tool Qualification Considerations (December 2011)"},{"key":"3_CR7","unstructured":"S.\u00a0of\u00a0the SC-205\/WG-71\u00a0Plenary. DO-332: Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A (December 2011)"},{"key":"3_CR8","unstructured":"S.\u00a0of\u00a0the SC-205\/WG-71\u00a0Plenary. DO-333: Formal Methods Supplement to DO-178C and DO-278A (December 2011)"},{"key":"3_CR9","unstructured":"S.\u00a0of\u00a0the SC-205\/WG-71\u00a0Plenary. ED-215: Software Tool Qualification Considerations (January 2012)"},{"key":"3_CR10","unstructured":"S.\u00a0of\u00a0the SC-205\/WG-71\u00a0Plenary. ED-217: Object-Oriented Technology and Related Techniques Supplement to ED-12C and ED-109A (January 2012)"},{"key":"3_CR11","unstructured":"S.\u00a0of\u00a0the SC-205\/WG-71\u00a0Plenary. ED-218: Formal Methods Supplement to ED-12C and ED-109A (January 2012)"},{"key":"3_CR12","unstructured":"S.\u00a0Plenary. DO-178C: Software Considerations in Airborne Systems and Equipment Certification (December 2011)"},{"key":"3_CR13","unstructured":"S.\u00a0Plenary. DO-178C: Supporting Information for DO-178C and DO-278A (December 2011)"},{"key":"3_CR14","unstructured":"S.\u00a0Plenary. DO-278A: Software Integrity Assurance Considerations for Communication, Navigation, Surveillance and Air Traffic Management (CNS\/ATM) Systems (December 2011)"},{"key":"3_CR15","unstructured":"S.\u00a0Plenary. DO-109A: Software Integrity Assurance Considerations for Communication, Navigation, Surveillance and Air Traffic Management (CNS\/ATM) Systems (January 2012)"},{"key":"3_CR16","unstructured":"S.\u00a0Plenary. ED-12C: Software Considerations in Airborne Systems and Equipment Certification (January 2012)"},{"key":"3_CR17","unstructured":"S.\u00a0Plenary. ED-94C: Supporting Information for ED-12C and ED-109A (January 2012)"},{"key":"3_CR18","volume-title":"The Z notation: a reference manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z notation: a reference manual. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"key":"3_CR19","unstructured":"Stepney, S., Cooper, D., Woodcock, J.: An electronic purse: Specification, Refinement and Proof. Technical Monograph PRG\u2013126. Oxford University Computing Laboratory, Programming Research Group (2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Verification of Object-Oriented Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31762-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:47:36Z","timestamp":1620114456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31762-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642317613","9783642317620"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31762-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}