{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T21:17:35Z","timestamp":1767993455946,"version":"3.49.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,3,23]],"date-time":"2013-03-23T00:00:00Z","timestamp":1363996800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1007\/s10664-013-9251-2","type":"journal-article","created":{"date-parts":[[2013,3,22]],"date-time":"2013-03-22T05:13:34Z","timestamp":1363929214000},"page":"1169-1194","source":"Crossref","is-referenced-by-count":8,"title":["Experiences with incorporating formal techniques into industrial practice"],"prefix":"10.1007","volume":"19","author":[{"given":"Ammar","family":"Osaiweran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathijs","family":"Schuts","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jozef","family":"Hooman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,3,23]]},"reference":[{"key":"9251_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"J-R Abrial","year":"1996","unstructured":"Abrial J-R (1996) The B-book: assigning programs to meanings. Cambridge University Press, New\u00a0York, NY, USA"},{"key":"9251_CR5","volume-title":"Test driven development: by example","author":"K Beck","year":"2002","unstructured":"Beck K (2002) Test driven development: by example. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA"},{"key":"9251_CR6","doi-asserted-by":"crossref","unstructured":"Bicarregui J, Fitzgerald J, Larsen PG, Woodcock J (2009) Industrial practice in formal methods: a review. In: Cavalcanti A, Dams D (eds) FM 2009: formal methods. Second World Congress, Lecture Notes in Computer Science, vol 5850. Springer-Verlag, pp 810\u2013813","DOI":"10.1007\/978-3-642-05089-3_52"},{"key":"9251_CR7","first-page":"1","volume":"Q1","author":"G Broadfoot","year":"2005","unstructured":"Broadfoot G (2005) Introducing formal methods into industry using cleanroom and CSP. Dedic Syst Mag, Tools Q1:1\u201313","journal-title":"Dedic Syst Mag, Tools"},{"key":"9251_CR8","unstructured":"Broadfoot GH, Broadfoot PJ (2003) Academia and industry meet: some experiences of formal methods in practice. In: 10th Asia-Pacific software engineering conference (APSEC 2003), pp\u00a049\u201358"},{"key":"9251_CR9","unstructured":"ClearSy, Atelier B (2011) Industrial tool supporting the B method. http:\/\/www.atelierb.eu\/en\/ . Accessed Oct 2012"},{"key":"9251_CR10","unstructured":"CSK Systems Corporation (2011) VDMTools. Industrial tool supporting VDM+\u2009+. http:\/\/www.vdmtools.jp\/en\/ . Accessed Oct 2012"},{"key":"9251_CR11","unstructured":"Esterel Technologies (2011) SCADE Suite. Model based development environment dedicated to critical embedded software. http:\/\/www.esterel-technologies.com\/products\/scade-suite\/ . Accessed Oct 2012"},{"key":"9251_CR12","volume-title":"Validated designs for object-oriented systems","author":"J Fitzgerald","year":"2005","unstructured":"Fitzgerald J, Larsen PG, Mukherjee P, Plat N, Verhoef M (2005) Validated designs for object-oriented systems. Springer, New York. Examples are available at http:\/\/www.vdmbook.com"},{"key":"9251_CR14","unstructured":"Formal Systems (2010) (Europe) Ltd and Oxford University computing laboratory: failures-divergence refinement \u2013 FDR2 user manual, 9th edn"},{"key":"9251_CR13","unstructured":"Formal Systems (2011) (Europe) Ltd. FDR2 model checker. http:\/\/www.fsel.com . Accessed Oct 2012"},{"key":"9251_CR16","doi-asserted-by":"crossref","unstructured":"Groote JF, Osaiweran A, Wesselius JH (2011) Analyzing the effects of formal methods on the development of industrial control software. In: Proceedings of the 27th IEEE ICSM 2011. Williamsburg, VA, USA, pp 467\u2013472","DOI":"10.1109\/ICSM.2011.6081983"},{"key":"9251_CR15","doi-asserted-by":"crossref","unstructured":"Groote JF, Osaiweran A, Wesselius JH (2012) Experience report on developing the front-end client unit under the control of formal methods. In: Proceedings of the 27th ACM symposium on applied computing (SAC\u201912), ACM, pp 1183\u20131190","DOI":"10.1145\/2245276.2231962"},{"key":"9251_CR17","doi-asserted-by":"crossref","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice-Hall","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"9251_CR18","unstructured":"Hooman J, Huis in\u00a0\u2019t Veld R, Schuts M (2011) Experiences with a compositional model checker in the healthcare domain. In: FHIES 2011, LNCS 7151, Springer-Verlag, pp 93\u2013110, 2012 In: Pre-symposium Proceedings foundations of health information engineering and systems (FHIES 2011), pp 92\u2013109. UNU-IIST Report 454, McSCert Report\u00a05. http:\/\/www.iist.unu.edu\/ICTAC\/FHIES2011\/Files\/fhies2011_8_17.pdf"},{"key":"9251_CR19","doi-asserted-by":"crossref","unstructured":"Hooman J (1991) Specification and compositional verification of real-time systems. Lecture notes in computer science, vol 558. Springer","DOI":"10.1007\/3-540-54947-1"},{"issue":"6","key":"9251_CR20","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.entcs.2005.04.008","volume":"128","author":"PJ Hopcroft","year":"2005","unstructured":"Hopcroft PJ, Broadfoot GH (2005) Combining the box structure development method and CSP for software development. Electron Notes Theor Comp Sci 128(6):127\u2013144","journal-title":"Electron Notes Theor Comp Sci"},{"key":"9251_CR21","unstructured":"IBM ClearCase (2011) http:\/\/www-01.ibm.com\/software\/awdtools\/clearcase\/ . Accessed Oct 2012"},{"issue":"2","key":"9251_CR22","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/52.268956","volume":"11","author":"RC Linger","year":"1994","unstructured":"Linger RC (1994) Cleanroom process model. IEEE Softw 11(2):50\u201358","journal-title":"IEEE Softw"},{"key":"9251_CR23","volume-title":"Code complete","author":"S McConnell","year":"2004","unstructured":"McConnell S (2004) Code complete, 2nd edn. Microsoft Press, Redmond, WA, USA","edition":"2"},{"key":"9251_CR24","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/2.948","volume":"21","author":"HD Mills","year":"1988","unstructured":"Mills HD (1988) Stepwise refinement and verification in box-structured systems. Comput 21:23\u201336","journal-title":"Comput"},{"key":"9251_CR1","unstructured":"Osaiweran A, Schuts M, Hooman J, Wesselius JH (2012) Incorporating formal techniques into industrial practice: an experience report. In: Proceedings of the 9th International workshop on formal engineering approaches to software components and architectures (FESCA\u201912) ENTCS (pages in press)"},{"key":"9251_CR2","series-title":"Computer Science Report No. 12\u201313","first-page":"21","volume-title":"Evaluating the effect of formal techniques in industry","year":"2012","unstructured":"Osaiweran A, Groote JF, Schuts M, Hooman J, van Rijnsoever BJ (2012) Evaluating the effect of formal techniques in industry. Computer Science Report No. 12\u201313. Eindhoven: Technische Universiteit Eindhoven, pp 21"},{"key":"9251_CR25","unstructured":"Prowell S, Trammell C, Linger R, Poore J (1999) Cleanroom software engineering: technology and process. Addison-Wesley"},{"key":"9251_CR26","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TSE.2003.1199071","volume":"29","author":"SJ Prowell","year":"2003","unstructured":"Prowell SJ, Poore JH (2003) Foundations of sequence-based software specification. IEEE Trans Softw Eng 29:417\u2013429","journal-title":"IEEE Trans Softw Eng"},{"key":"9251_CR27","unstructured":"Schuts M (2010) Improving software development. Masters thesis, Radboud University Nijmegen, The Netherlands"},{"key":"9251_CR28","unstructured":"Stellman A, Greene J (2005) Applied software project management. O\u2019Reilly Media"},{"key":"9251_CR29","unstructured":"TIOBE homepage (2011) http:\/\/www.tiobe.com . Accessed Oct 2012"},{"key":"9251_CR30","unstructured":"Verum homepage (2011) http:\/\/www.verum.com . Accessed Oct 2012"},{"issue":"4","key":"9251_CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J Woodcock","year":"2009","unstructured":"Woodcock J, Larsen PG, Bicarregui J, Fitzgerald J (2009) Formal methods: practice and experience. ACM Comput Surv 41(4):1\u201336","journal-title":"ACM Comput Surv"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-013-9251-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-013-9251-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-013-9251-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T02:50:11Z","timestamp":1562813411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-013-9251-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,23]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,8]]}},"alternative-id":["9251"],"URL":"https:\/\/doi.org\/10.1007\/s10664-013-9251-2","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,23]]}}}