{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:41:43Z","timestamp":1725748903617},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642410093"},{"type":"electronic","value":"9783642410109"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41010-9_10","type":"book-chapter","created":{"date-parts":[[2013,9,16]],"date-time":"2013-09-16T09:31:39Z","timestamp":1379323899000},"page":"139-153","source":"Crossref","is-referenced-by-count":0,"title":["High-Level Guidance for Managers Deploying Formal Methods in Their Organisation"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Ponsard","sequence":"first","affiliation":[]},{"given":"Jean-Christophe","family":"Deprez","sequence":"additional","affiliation":[]},{"given":"Renaud","family":"De Landtsheer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/11813040_13","volume-title":"FM 2006: Formal Methods","author":"S. Bacherini","year":"2006","unstructured":"Bacherini, S., Fantechi, A., Tempestini, M., Zingoni, N.: A story about formal methods adoption by a railway signaling manufacturer. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 179\u2013189. Springer, Heidelberg (2006)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24756-2_1","volume-title":"Integrated Formal Methods","author":"T. Ball","year":"2004","unstructured":"Ball, T., Cook, B., Levin, V., Rajamani, S.K.: SLAM and static driver verifier: Technology transfer of formal methods inside microsoft. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 1\u201320. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Behm, P., Benoit, P., Faivre, A., Meynadier, J.M.: METEOR: A successful application of B in a large project. In: Wing, et al (eds.), pp. 369\u2013387 (1999)","key":"10_CR3","DOI":"10.1007\/3-540-48119-2_22"},{"unstructured":"Bowen, J.: Formal Methods Wiki, http:\/\/formalmethods.wikia.com","key":"10_CR4"},{"issue":"4","key":"10_CR5","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/2.375178","volume":"28","author":"J.P. Bowen","year":"1995","unstructured":"Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods. IEEE Computer\u00a028(4), 56\u201363 (1995)","journal-title":"IEEE Computer"},{"issue":"2-3","key":"10_CR6","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/B:FORM.0000040027.28662.a4","volume":"25","author":"G. Brat","year":"2004","unstructured":"Brat, G., Drusinsky, D., Giannakopoulou, D., Goldberg, A., Havelund, K., Lowry, M., Pasareanu, C., Venet, A., Visser, W., Washington, R.: Experimental evaluation of verification and validation tools on martian rover software. Form. Methods Syst. Des.\u00a025(2-3), 167\u2013198 (2004)","journal-title":"Form. Methods Syst. Des."},{"unstructured":"Clabaut, M.: Challenges in Applying Formal Methods - An SME View. In: Dagstuhl Seminar on Refinement Based Methods for the Construction of Dependable Systems (September 2009)","key":"10_CR7"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-34281-3_2","volume-title":"Formal Methods and Software Engineering","author":"D.D. Cofer","year":"2012","unstructured":"Cofer, D.D.: Formal methods in the aerospace industry: Follow the money. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol.\u00a07635, pp. 2\u20133. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Craigen, D., Gerhart, S.L., Ralston, T.: An international survey of industrial applications of formal methods. In: Z User Workshop, pp. 1\u20135 (1992)","key":"10_CR9","DOI":"10.1007\/978-1-4471-3556-2_1"},{"unstructured":"DEPLOY, Industrial deployment of system engineering methods providing high dependability and productivity, http:\/\/www.deploy-project.eu","key":"10_CR10"},{"doi-asserted-by":"crossref","unstructured":"Fecko, M.A., Amer, P.D., Sethi, A.S., Umit Uyar, M., Dzik, T., Menell, R., Mcmahon, M.: A success story of formal description techniques: Estelle specification and test generation for mil-std 188-220. In: FDTs in Practice, pp. 1196\u20131213 (2000)","key":"10_CR11","DOI":"10.1016\/S0140-3664(99)00246-7"},{"unstructured":"FM4Industry, Evidence on Formal Methods Uses and Impact on Industry, http:\/\/www.fm4industry.org","key":"10_CR12"},{"doi-asserted-by":"crossref","unstructured":"Gnesi, S., Margaria, T.: Formal methods for industrial critical systems: A survey of applications, 1st edn. John Wiley & Sons, Inc. (2012)","key":"10_CR13","DOI":"10.1002\/9781118459898"},{"issue":"5","key":"10_CR14","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/52.57887","volume":"7","author":"A. Hall","year":"1990","unstructured":"Hall, A.: Seven myths of formal methods. IEEE Softw.\u00a07(5), 11\u201319 (1990)","journal-title":"IEEE Softw."},{"unstructured":"Kuliamin, V.V., Omelchenko, V.A., Petrenko, O.L.: Formal methods: for all or for chosen? In: Cordeiro, J.A.M., Shishkov, B., Verbraeck, A., Helfert, M. (eds.) CSEDU (2). INSTICC Press (2009)","key":"10_CR15"},{"doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Odense, M., Fitzgerald, J.S., Brookes, T.: Lessons learned from applying formal specification in industry. IEEE Software (1995)","key":"10_CR16","DOI":"10.1109\/52.493020"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"708","DOI":"10.1007\/978-3-642-05089-3_45","volume-title":"FM 2009: Formal Methods","author":"M. Leuschel","year":"2009","unstructured":"Leuschel, M., Falampin, J., Fritz, F., Plagge, D.: Automated Property Verification for Large Scale B Models. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 708\u2013723. Springer, Heidelberg (2009)"},{"unstructured":"Mathworks, Polyspace, http:\/\/www.mathworks.com\/products\/polyspace","key":"10_CR18"},{"unstructured":"Mediawiki, Collaborative online tools for knowledge sharing, http:\/\/www.mediawiki.org","key":"10_CR19"},{"unstructured":"DEPLOY Project, D47 Deliverable HOWTO Guide for Managers V2.0 (April 2012), http:\/\/www.deploy-project.eu\/pdf\/D47.pdf","key":"10_CR20"},{"doi-asserted-by":"crossref","unstructured":"Romanovsky, A., Thomas, M.: Industrial deployment of system engineering methods. Springer-Verlag New York Incorporated (June 2013)","key":"10_CR21","DOI":"10.1007\/978-3-642-33170-1"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-45236-2_11","volume-title":"FME 2003: Formal Methods","author":"D.C. Stidolph","year":"2003","unstructured":"Stidolph, D.C., Whitehead, J.: Managerial issues for the consideration and use of formal methods. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 170\u2013186. Springer, Heidelberg (2003)"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-540-68237-0_29","volume-title":"FM 2008: Formal Methods","author":"E. Verhulst","year":"2008","unstructured":"Verhulst, E., de Jong, G., Mezhuyev, V.: An industrial case: Pitfalls and benefits of applying formal methods to the development of a network-centric RTOS. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 411\u2013418. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: Practice and experience. ACM Comput. Surv.\u00a041(4) (2009)","key":"10_CR24","DOI":"10.1145\/1592434.1592436"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41010-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,6]],"date-time":"2022-03-06T07:02:34Z","timestamp":1646550154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41010-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642410093","9783642410109"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41010-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}