{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:35:47Z","timestamp":1743017747284,"version":"3.40.3"},"publisher-location":"Cham","reference-count":104,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031124280"},{"type":"electronic","value":"9783031124297"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-12429-7_21","type":"book-chapter","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T03:40:43Z","timestamp":1663990843000},"page":"287-301","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Methods Communities of\u00a0Practice: A Survey of\u00a0Personal Experience"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8748-6140","authenticated-orcid":false,"given":"Jonathan P.","family":"Bowen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2296-6175","authenticated-orcid":false,"given":"Peter T.","family":"Breuer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,25]]},"reference":[{"key":"21_CR1","unstructured":"Abrial, J.R.: Data semantics. In: Klimbie, J.W., Koffeman, K.L. (eds.) IFIP TC2 Working Conference on Data Base Management, pp. 1\u201359. Elsevier, North-Holland (1974)"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027227","volume-title":"Formal Methods for Industrial Applications","year":"1996","unstructured":"Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.): Formal Methods for Industrial Applications. LNCS, vol. 1165. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0027227"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0027228","volume-title":"Formal Methods for Industrial Applications","author":"J-R Abrial","year":"1996","unstructured":"Abrial, J.-R., B\u00f6rger, E., Langmaack, H.: The steam boiler case study: competition of formal program specification and development methods. In: Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.) Formal Methods for Industrial Applications. LNCS, vol. 1165, pp. 1\u201312. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0027228"},{"key":"21_CR6","unstructured":"Beler, A., Borda, A., Bowen, J.P., Filippini-Fantoni, S.: The building of online communities: an approach for learning organizations, with a particular focus on the museum sector. In: Hemsley, J., Cappellini, V., Stanke, G. (eds.) EVA 2004 London Conference Proceedings, pp. 2.1\u20132.15. EVA Conferences International, University College London, UK (2004). https:\/\/arxiv.org\/abs\/cs\/0409055"},{"key":"21_CR7","unstructured":"Bj\u00f8rner, D., et al.: A ProCoS project description: ESPRIT BRA 3104. Bull. Eur. Assoc. Theor. Comput. Sci. 39, 60\u201373 (1989). http:\/\/researchgate.net\/publication\/256643262"},{"issue":"9","key":"21_CR8","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MC.2009.284","volume":"42","author":"SE Black","year":"2009","unstructured":"Black, S.E., Boca, P.P., Bowen, J.P., Gorman, J., Hinchey, M.G.: Formal versus agile: survival of the fittest. Computer 42(9), 37\u201345 (2009). https:\/\/doi.org\/10.1109\/MC.2009.284","journal-title":"Computer"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Boca, P.P., Bowen, J.P., Duce, D.A. (eds.): Teaching formal methods: practice and experience. In: Electronic Workshops in Computing (eWiC), FACS, BCS (2006). http:\/\/www.bcs.org\/ewic\/tfm2006","DOI":"10.14236\/ewic\/TFM2006.0"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Boca, P.P., Bowen, J.P., Larsen, P.G. (eds.): FACS 2007 Christmas Workshop: Formal Methods in Industry. In: Electronic Workshops in Computing (eWiC), FACS, BCS (2007). http:\/\/www.bcs.org\/ewic\/fmi2007","DOI":"10.14236\/ewic\/FMI2007.0"},{"key":"21_CR11","doi-asserted-by":"publisher","unstructured":"Boca, P.P., Bowen, J.P., Siddiqi, J.I. (eds.): Formal methods: state of the art and new directions. Springer, London (2010). https:\/\/doi.org\/10.1007\/978-1-84882-736-3","DOI":"10.1007\/978-1-84882-736-3"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Borda, A., Bowen, J.P.: Virtual collaboration and community. In: Information Resources Management Association (ed.) Virtual Communities: Concepts, Methodologies, Tools and Applications, chap. 8.9, pp. 2600\u20132611. IGI Global (2011)","DOI":"10.4018\/978-1-60960-100-3.ch809"},{"issue":"1","key":"21_CR13","doi-asserted-by":"publisher","first-page":"2","DOI":"10.3217\/jucs-008-01-0002","volume":"8","author":"E B\u00f6rger","year":"2002","unstructured":"B\u00f6rger, E.: The origins and development of the ASM method for high-level system design and analysis. J. Univ. Comput. Sci. 8(1), 2\u201374 (2002). https:\/\/doi.org\/10.3217\/jucs-008-01-0002","journal-title":"J. Univ. Comput. Sci."},{"issue":"1","key":"21_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00165-010-0168-x","volume":"23","author":"E B\u00f6rger","year":"2011","unstructured":"B\u00f6rger, E., Bowen, J.P., Butler, M.J., Poppleton, M.: Editorial. Formal Aspects Comput. 23(1), 1\u20132 (2011). https:\/\/doi.org\/10.1007\/s00165-010-0168-x","journal-title":"Formal Aspects Comput."},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87603-8","volume-title":"Abstract State Machines, B and Z","year":"2008","unstructured":"B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.): ABZ 2008. LNCS, vol. 5238. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87603-8"},{"volume-title":"ABZ 2008 Conference: Short Papers","year":"2008","key":"21_CR16","unstructured":"B\u00f6rger, E., Butler, M.J., Bowen, J.P., Boca, P.P. (eds.): ABZ 2008 Conference: Short Papers. BCS, London, UK (2008)"},{"issue":"1","key":"21_CR17","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1093\/comjnl\/39.1.52","volume":"39","author":"E B\u00f6rger","year":"1996","unstructured":"B\u00f6rger, E., Durdanovic, I.: Correctness of compiling Occam to Transputer code. Comput. J. 39(1), 52\u201392 (1996)","journal-title":"Comput. J."},{"key":"21_CR18","doi-asserted-by":"publisher","unstructured":"B\u00f6rger, E., Raschke, R.: Modeling companion for software practitioners. Springer, Heidelberger (2018). https:\/\/doi.org\/10.1007\/978-3-662-56641-1","DOI":"10.1007\/978-3-662-56641-1"},{"key":"21_CR19","doi-asserted-by":"publisher","unstructured":"Bowen, J.P. (ed.): Proceedings of Z users meeting. Oxford University Computing Laboratory, Rewley House, Wellington Square, Oxford, UK (1987). https:\/\/doi.org\/10.13140\/RG.2.2.20103.34724","DOI":"10.13140\/RG.2.2.20103.34724"},{"key":"21_CR20","unstructured":"Bowen, J.P. (ed.): Proceedings of the third annual Z users meeting. Oxford University Computing Laboratory, Rewley House, Wellington Square, Oxford, UK (1988). http:\/\/researchgate.net\/publication\/2526997"},{"issue":"4","key":"21_CR21","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1002\/smr.4360050403","volume":"5","author":"JP Bowen","year":"1993","unstructured":"Bowen, J.P.: From programs to object code and back again using logic programming: compilation and decompilation. J. Softw. Maint. Res. Pract. 5(4), 205\u2013234 (1993). https:\/\/doi.org\/10.1002\/smr.4360050403","journal-title":"J. Softw. Maint. Res. Pract."},{"key":"21_CR22","unstructured":"Bowen, J.P.: A ProCoS II project description: ESPRIT Basic Research project 7071. Bull. Eur. Assoc. Theor. Comput. Sci. 50, 128\u2013137 (1993). http:\/\/researchgate.net\/publication\/2521581"},{"key":"21_CR23","first-page":"136","volume":"53","author":"JP Bowen","year":"1994","unstructured":"Bowen, J.P.: A ProCoS-WG working group description: ESPRIT basic research 8694. Bull. Eur. Assoc. Theor. Comput. Sci. 53, 136\u2013145 (1994)","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci."},{"key":"21_CR24","unstructured":"Bowen, J.P.: Rapid compiler implementation. In: He [62], chap.\u00a010, pp. 141\u2013169"},{"key":"21_CR25","unstructured":"Bowen, J.P.: Formal specification and documentation using Z: a case study approach. International Thomson Computer Press (1996). http:\/\/researchgate.net\/publication\/2480325"},{"key":"21_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/978-3-540-49676-2_25","volume-title":"ZUM \u201998: The Z Formal Specification Notation","author":"JP Bowen","year":"1998","unstructured":"Bowen, J.P.: Comp.specification.z and Z FORUM frequently asked questions. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol. 1493, pp. 407\u2013416. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/978-3-540-49676-2_25"},{"key":"21_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/3-540-40911-4_16","volume-title":"Integrated Formal Methods","author":"JP Bowen","year":"2000","unstructured":"Bowen, J.P.: Combining operational semantics, logic programming and literate programming in the specification and animation of the Verilog hardware description language. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, pp. 277\u2013296. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-40911-4_16"},{"issue":"4","key":"21_CR28","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/332051.332078","volume":"43","author":"JP Bowen","year":"2000","unstructured":"Bowen, J.P.: The ethics of safety-critical systems. Commun. ACM 43(4), 91\u201397 (2000). https:\/\/doi.org\/10.1145\/332051.332078","journal-title":"Commun. ACM"},{"issue":"2","key":"21_CR29","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/505776.505794","volume":"26","author":"JP Bowen","year":"2001","unstructured":"Bowen, J.P.: Experience teaching Z with tool and web support. ACM SIGSOFT Softw. Eng. Notes 26(2), 69\u201375 (2001). https:\/\/doi.org\/10.1145\/505776.505794","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"21_CR30","unstructured":"Bowen, J.P.: Online communities: visualization and formalization. In: Blackwell, C. (ed.) Cyberpatterns 2013: Second International Workshop on Cyberpatterns - Unifying Design Patterns with Security, Attack and Forensic Patterns, pp. 53\u201361. Oxford Brookes University, Abingdon, UK (2013). http:\/\/arxiv.org\/abs\/1307.6145"},{"key":"21_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-39698-4_4","volume-title":"Theories of Programming and Formal Methods","author":"JP Bowen","year":"2013","unstructured":"Bowen, J.P.: A relational approach to an algebraic community: from Paul Erd\u0151s to He Jifeng. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 8051, pp. 54\u201366. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39698-4_4"},{"key":"21_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-319-29628-9_3","volume-title":"Engineering Trustworthy Software Systems","author":"JP Bowen","year":"2016","unstructured":"Bowen, J.P.: The Z notation: whence the cause and whither the course? In: Liu, Z., Zhang, Z. (eds.) SETSS 2014. LNCS, vol. 9506, pp. 103\u2013151. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-29628-9_3"},{"key":"21_CR33","series-title":"NASA Monographs in Systems and Software Engineering","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-319-48628-4_13","volume-title":"Provably Correct Systems","author":"JP Bowen","year":"2017","unstructured":"Bowen, J.P.: Provably correct systems: community, connections, and citations. In: Hinchey, M.G., Bowen, J.P., Olderog, E.-R. (eds.) Provably Correct Systems. NMSSE, pp. 313\u2013328. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-48628-4_13"},{"issue":"6","key":"21_CR34","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1007\/s00165-018-0472-4","volume":"30","author":"JP Bowen","year":"2018","unstructured":"Bowen, J.P.: Egon B\u00f6rger and Alexander Raschke: modeling companion for software practitioners. Formal Aspects Comput. 30(6), 761\u2013762 (2018). https:\/\/doi.org\/10.1007\/s00165-018-0472-4","journal-title":"Formal Aspects Comput."},{"key":"21_CR35","doi-asserted-by":"publisher","unstructured":"Bowen, J.P.: In memoriam: a tribute to five formal methods colleagues. FACS FACTS 2020(1), 13\u201329 (2020). https:\/\/doi.org\/10.13140\/RG.2.2.13481.62560","DOI":"10.13140\/RG.2.2.13481.62560"},{"key":"21_CR36","doi-asserted-by":"publisher","unstructured":"Bowen, J.P.: A personal view of EVA London: past, present, future. In: Weinel, J., Bowen, J.P., Diprose, G., Lambert, N. (eds.) EVA London 2020: Electronic Visualisation and the Arts. pp. 8\u201315. Electronic Workshops in Computing (eWiC), BCS, London, UK (2020). https:\/\/doi.org\/10.14236\/ewic\/EVA2020.2","DOI":"10.14236\/ewic\/EVA2020.2"},{"key":"21_CR37","unstructured":"Bowen, J.P.: ABZ 2021 conference report. FACS FACTS 2021(2), 65\u201370 (2021). https:\/\/www.bcs.org\/media\/7577\/facs-jul21.pdf"},{"key":"21_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-030-76020-5_6","volume-title":"Logic, Computation and Rigorous Methods","author":"JP Bowen","year":"2021","unstructured":"Bowen, J.P.: Communities and ancestors associated with Egon B\u00f6rger and ASM. In: Raschke, A., Riccobene, E., Schewe, K.-D. (eds.) Logic, Computation and Rigorous Methods. LNCS, vol. 12750, pp. 96\u2013120. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76020-5_6"},{"issue":"5","key":"21_CR39","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1049\/sej.1993.0031","volume":"8","author":"JP Bowen","year":"1993","unstructured":"Bowen, J.P., Breuer, P.T., Lano, K.C.: A compendium of formal techniques for software maintenance. Softw. Eng. J. 8(5), 253\u2013262 (1993). https:\/\/doi.org\/10.1049\/sej.1993.0031","journal-title":"Softw. Eng. J."},{"issue":"11\u201312","key":"21_CR40","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1016\/0950-5849(93)90083-F","volume":"35","author":"JP Bowen","year":"1993","unstructured":"Bowen, J.P., Breuer, P.T., Lano, K.C.: Formal specifications in software maintenance: from code to Z++ and back again. Inf. Softw. Technol. 35(11\u201312), 679\u2013690 (1993). https:\/\/doi.org\/10.1016\/0950-5849(93)90083-F","journal-title":"Inf. Softw. Technol."},{"key":"21_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44525-0","volume-title":"ZB 2000: Formal Specification and Development in Z and B","year":"2000","unstructured":"Bowen, J.P., Dunne, S., Galloway, A., King, S. (eds.): ZB 2000. LNCS, vol. 1878. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44525-0"},{"key":"21_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60271-2","volume-title":"ZUM \u201995: The Z Formal Specification Notation","year":"1995","unstructured":"Bowen, J.P., Hinchey, M.G. (eds.): ZUM 1995. LNCS, vol. 967. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-60271-2"},{"key":"21_CR43","doi-asserted-by":"publisher","unstructured":"Bowen, J.P., Hinchey, M.G.: Formal methods. In: Gonzalez, T., D\u00edaz-Herrera, J., Tucker, A.B. (eds.) Computing Handbook, Computer Science and Software Engineering, pp. 1\u201325. Chapman and Hall\/CRC Press, 3rd edn (2014). https:\/\/doi.org\/10.1201\/b16812-80","DOI":"10.1201\/b16812-80"},{"key":"21_CR44","doi-asserted-by":"publisher","unstructured":"Bowen, J.P., Hinchey, M.G., Janicke, H., Ward, M., Zedan, H.S.M.: Formality, agility, security, and evolution in software engineering. In: Hinchey, M.G. (ed.) Software Technology: 10 Years of Innovation in IEEE Computer, chap. 16, p. 384. Wiley-IEEE Press (2018). https:\/\/doi.org\/10.1002\/9781119174240.ch16","DOI":"10.1002\/9781119174240.ch16"},{"key":"21_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027279","volume-title":"ZUM \u201997: The Z Formal Specification Notation","year":"1997","unstructured":"Bowen, J.P., Hinchey, M.G., Till, D. (eds.): ZUM 1997. LNCS, vol. 1212. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0027279"},{"key":"21_CR46","unstructured":"Bowen, J.P., Hoare, C.A.R., Langmaack, H., Olderog, E.R., Ravn, A.P.: A ProCoS II project final report: ESPRIT basic research project 7071. Bull. Eur. Assoc. Theor. Comput. Sci. 59, 76\u201399 (1996). http:\/\/researchgate.net\/publication\/2255515"},{"key":"21_CR47","unstructured":"Bowen, J.P., Hoare, C.A.R., Langmaack, H., Olderog, E.R., Ravn, A.P.: A ProCoS-WG working group final report: ESPRIT working group 8694. Bull. Eur. Assoc. Theor. Comput. Sci. 64, 63\u201372 (1998). http:\/\/researchgate.net\/publication\/2527052"},{"key":"21_CR48","doi-asserted-by":"publisher","unstructured":"Bowen, J.P., Nicholls, J.E. (eds.): Z user workshop, London 1992. In: Proceedings of the Seventh Annual Z User Meeting, London, 14\u201315 December 1992. Springer, London (1993). https:\/\/doi.org\/10.1007\/978-1-4471-3556-2","DOI":"10.1007\/978-1-4471-3556-2"},{"key":"21_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-642-21437-0_24","volume-title":"FM 2011: Formal Methods","author":"JP Bowen","year":"2011","unstructured":"Bowen, J.P., Reeves, S.: From a community of practice to a body of knowledge: a case study of the formal methods community. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 308\u2013322. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21437-0_24"},{"key":"21_CR50","doi-asserted-by":"crossref","unstructured":"Bowen, J.P., Wilson, R.J.: Visualising virtual communities: from Erd\u0151s to the arts. In: Dunn, S., Bowen, J.P., Ng, K.C. (eds.) EVA London 2012: Electronic Visualisation and the Arts, pp. 238\u2013244. Electronic Workshops in Computing (eWiC), BCS (2012). http:\/\/arxiv.org\/abs\/1207.3420","DOI":"10.14236\/ewic\/EVA2012.40"},{"issue":"11","key":"21_CR51","doi-asserted-by":"publisher","first-page":"1263","DOI":"10.1002\/spe.4380251106","volume":"25","author":"PT Breuer","year":"1995","unstructured":"Breuer, P.T., Bowen, J.P.: A PREttier compiler-compiler: generating higher-order parsers in C. Softw. Pract. Experience 25(11), 1263\u20131297 (1995). https:\/\/doi.org\/10.1002\/spe.4380251106","journal-title":"Softw. Pract. Experience"},{"key":"21_CR52","doi-asserted-by":"publisher","unstructured":"Breuer, P.T., Bowen, J.P.: Empirical patterns in Google Scholar citation counts. In: SOSE 2014: IEEE 8th International Symposium on Service Oriented System Engineering, pp. 398\u2013403. IEEE (2014). https:\/\/doi.org\/10.1109\/SOSE.2014.55","DOI":"10.1109\/SOSE.2014.55"},{"issue":"1\u20132","key":"21_CR53","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1504\/IJCCBS.2019.098797","volume":"9","author":"PT Breuer","year":"2019","unstructured":"Breuer, P.T., Bowen, J.P.: Fully encrypted high-speed microprocessor architecture: the secret computer in simulation. Int. J. Crit. Comput.-Based Syst. 9(1\u20132), 26\u201355 (2019). https:\/\/doi.org\/10.1504\/IJCCBS.2019.098797","journal-title":"Int. J. Crit. Comput.-Based Syst."},{"key":"21_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-030-01950-1_12","volume-title":"Information and Communications Security","author":"PT Breuer","year":"2018","unstructured":"Breuer, P.T., Bowen, J.P., Palomar, E., Liu, Z.: On security in encrypted computing. In: Naccache, D., et al. (eds.) ICICS 2018. LNCS, vol. 11149, pp. 192\u2013211. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01950-1_12"},{"key":"21_CR55","doi-asserted-by":"publisher","unstructured":"Breuer, P.T., Madrid, N.M., Bowen, J.P., France, R., Petrie, M.L., Kloos, C.D.: Reasoning about VHDL and VHDL-AMS using denotational semantics. In: Borrione, D. (ed.) Conference on Design, Automation and Test in Europe, pp. 346\u2013352. ACM (1999). https:\/\/doi.org\/10.1109\/DATE.1999.761144","DOI":"10.1109\/DATE.1999.761144"},{"key":"21_CR56","doi-asserted-by":"crossref","unstructured":"Brown, J.S., Duguid, P.: The Social Life of Information. Harvard Business Review Press (2000)","DOI":"10.1145\/334425.334468"},{"key":"21_CR57","unstructured":"Cerone, A., Roggenbach, M., Schlingloff, B.H., Schneider, G., Shaikh, S.A.: Teaching formal methods for software engineering - ten principles. Informatica Didactica 9 (2015). https:\/\/www.informaticadidactica.de\/uploads\/Artikel\/Schlinghoff2015\/Schlinghoff2015.pdf"},{"key":"21_CR58","doi-asserted-by":"publisher","unstructured":"Frappier, M., Habrias, H. (eds.): Software specification methods: an overview using a case study. FACIT, Springer, London (2001). https:\/\/doi.org\/10.1007\/978-1-4471-0701-9","DOI":"10.1007\/978-1-4471-0701-9"},{"key":"21_CR59","series-title":"Springer Series on Cultural Computing","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-97457-6","volume-title":"Museums and Digital Culture","year":"2019","unstructured":"Giannini, T., Bowen, J.P. (eds.): Museums and Digital Culture. SSCC, Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-97457-6"},{"key":"21_CR60","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-319-29510-7_5","volume-title":"Formal Techniques for Safety-Critical Systems","author":"S Gruner","year":"2016","unstructured":"Gruner, S., Kumar, A., Maibaum, T.: Towards a body of knowledge in formal methods for the railway domain: identification of settled knowledge. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2015. CCIS, vol. 596, pp. 87\u2013102. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-29510-7_5"},{"key":"21_CR61","doi-asserted-by":"publisher","unstructured":"Habrias, H., Frappier, M. (eds.): Software Specification Methods. ISTE (2006). https:\/\/doi.org\/10.1002\/9780470612514","DOI":"10.1002\/9780470612514"},{"key":"21_CR62","unstructured":"He, J. (ed.): Provably correct systems: modelling of communication languages and design of optimized compilers. International Series in Software Engineering, McGraw-Hill (1994)"},{"issue":"6","key":"21_CR63","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/BF03259390","volume":"6","author":"H Jifeng","year":"1994","unstructured":"Jifeng, H., Bowen, J.: Specification, verification and prototyping of an optimized compiler. Formal Aspects Comput. 6(6), 643\u2013658 (1994). https:\/\/doi.org\/10.1007\/BF03259390","journal-title":"Formal Aspects Comput."},{"issue":"3\u20134","key":"21_CR64","first-page":"381","volume":"22","author":"MC Henson","year":"2003","unstructured":"Henson, M.C., Reeves, S., Bowen, J.P.: Z logic and its consequences. Comput. Inform. 22(3\u20134), 381\u2013415 (2003)","journal-title":"Comput. Inform."},{"key":"21_CR65","unstructured":"Hinchey, M.G., Bowen, J.P. (eds.): Applications of Formal Methods. Series in Computer Science, Prentice Hall International (1995)"},{"key":"21_CR66","doi-asserted-by":"publisher","unstructured":"Hinchey, M.G., Bowen, J.P. (eds.): Industrial-strength formal methods in practice. In: FACIT, Springer, London (1999). https:\/\/doi.org\/10.1007\/978-1-4471-0523-7","DOI":"10.1007\/978-1-4471-0523-7"},{"issue":"4","key":"21_CR67","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MC.1996.10044","volume":"29","author":"MG Hinchey","year":"1996","unstructured":"Hinchey, M.G., Bowen, J.P., Glass, R.L.: Formal methods: point-counterpoint. Computer 29(4), 18\u201319 (1996). https:\/\/doi.org\/10.1109\/MC.1996.10044","journal-title":"Computer"},{"key":"21_CR68","series-title":"NASA Monographs in Systems and Software Engineering","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48628-4","volume-title":"Provably Correct Systems","year":"2017","unstructured":"Hinchey, M.G., Bowen, J.P., Olderog, E.-R. (eds.): Provably Correct Systems. NMSSE, Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-48628-4"},{"key":"21_CR69","doi-asserted-by":"publisher","unstructured":"Hinchey, M., Bowen, J.P., Rouff, C.A.: Introduction to formal methods. In: Rouff, C.A., Hinchey, M., Rash, J., Truszkowski, W., Gordon-Spears, D. (eds) Agent Technology from a Formal Perspective. NASA Monographs in Systems and Software Engineering. Springer, London (2006). https:\/\/doi.org\/10.1007\/1-84628-271-3_2","DOI":"10.1007\/1-84628-271-3_2"},{"key":"21_CR70","unstructured":"ISO: Information technology - Z formal specification notation - syntax, type system and semantics. International Standard 13568, ISO\/IEC (2002)"},{"key":"21_CR71","unstructured":"ISO\/IEC JTC 1\/SC 7: Software engineering - guide to the software engineering body of knowledge (SWEBOK). Tech. Rep. ISO\/IEC TR 19759:2005, ISO\/IEC (2005). https:\/\/www.iso.org\/standard\/33897.html"},{"key":"21_CR72","unstructured":"ISO\/IEC JTC 1\/SC 7: Software engineering - guide to the software engineering body of knowledge (SWEBOK). Tech. Rep. ISO\/IEC TR 19759:2015, ISO\/IEC (2015). https:\/\/www.iso.org\/standard\/67604.html"},{"key":"21_CR73","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press (2011)"},{"key":"21_CR74","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Series in Computer Science, Prentice Hall International (1986)"},{"key":"21_CR75","doi-asserted-by":"publisher","unstructured":"Kahkonen, T.: Agile methods for large organizations-building communities of practice. In: Agile Development Conference, pp. 2\u201310. IEEE (2004). https:\/\/doi.org\/10.1109\/ADEVC.2004.4","DOI":"10.1109\/ADEVC.2004.4"},{"issue":"3","key":"21_CR76","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1243987.1243988","volume":"16","author":"K Kapoor","year":"2007","unstructured":"Kapoor, K., Bowen, J.P.: Test conditions for fault classes in Boolean specifications. ACM Trans. Softw. Eng. Methodol. 16(3), 1\u201312 (2007). https:\/\/doi.org\/10.1145\/1243987.1243988","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"3","key":"21_CR77","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16(3), 872\u2013923 (1994). https:\/\/doi.org\/10.1145\/177492.177726","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"21_CR78","unstructured":"Lave, J., Wenger, E.: Cambridge University Press (1991)"},{"key":"21_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-030-55089-9_5","volume-title":"Engineering Trustworthy Software Systems","author":"Z Liu","year":"2020","unstructured":"Liu, Z., Bowen, J.P., Liu, B., Tyszberowicz, S., Zhang, T.: Software abstractions and human-cyber-physical systems architecture modelling. In: Bowen, J.P., Liu, Z., Zhang, Z. (eds.) SETSS 2019. LNCS, vol. 12154, pp. 159\u2013219. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55089-9_5"},{"key":"21_CR80","doi-asserted-by":"publisher","DOI":"10.1016\/j.iheduc.2021.100792","volume":"49","author":"A Mavri","year":"2021","unstructured":"Mavri, A., Ioannou, A., Loizides, F.: Cross-organisational communities of practice: enhancing creativity and epistemic cognition in higher education. Internet High. Educ. 49, 100792 (2021). https:\/\/doi.org\/10.1016\/j.iheduc.2021.100792","journal-title":"Internet High. Educ."},{"key":"21_CR81","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-2879-3","volume-title":"Communities of Practice","year":"2017","unstructured":"McDonald, J., Cater-Steel, A. (eds.): Communities of Practice. Springer, Singapore (2017). https:\/\/doi.org\/10.1007\/978-981-10-2879-3"},{"key":"21_CR82","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-2866-3","volume-title":"Implementing Communities of Practice in Higher Education","year":"2017","unstructured":"McDonald, J., Cater-Steel, A. (eds.): Implementing Communities of Practice in Higher Education. Springer, Singapore (2017). https:\/\/doi.org\/10.1007\/978-981-10-2866-3"},{"key":"21_CR83","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/11510154_6","volume-title":"Knowledge and Information Visualization","author":"J Novak","year":"2005","unstructured":"Novak, J., Wurst, M.: Collaborative knowledge visualization for cross-community learning. In: Tergan, S.-O., Keller, T. (eds.) Knowledge and Information Visualization. LNCS, vol. 3426, pp. 95\u2013116. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11510154_6"},{"key":"21_CR84","doi-asserted-by":"publisher","unstructured":"Nunes, R.R., et al.: Enhancing students\u2019 motivation to learn software engineering programming techniques: a collaborative and social interaction approach. In: Antona, Margherita, Stephanidis, Constantine (eds.) UAHCI 2015. LNCS, vol. 9177, pp. 189\u2013201. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-20684-4_19","DOI":"10.1007\/978-3-319-20684-4_19"},{"issue":"4","key":"21_CR85","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1177\/1350507619860854","volume":"50","author":"I Pyrko","year":"2019","unstructured":"Pyrko, I., D\u00f6rfler, V., Eden, C.: Communities of practice in landscapes of practice. Manag. Learn. 50(4), 482\u2013499 (2019). https:\/\/doi.org\/10.1177\/1350507619860854","journal-title":"Manag. Learn."},{"key":"21_CR86","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-77543-8","volume-title":"Rigorous State-Based Methods","year":"2021","unstructured":"Raschke, A., M\u00e9ry, D. (eds.): ABZ 2021. LNCS, vol. 12709. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-77543-8"},{"key":"21_CR87","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-48077-6","volume-title":"Rigorous State-Based Methods","year":"2020","unstructured":"Raschke, A., M\u00e9ry, D., Houdek, F. (eds.): ABZ 2020. LNCS, vol. 12071. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-48077-6"},{"key":"21_CR88","series-title":"Forschungs-\/Entwicklungs-\/Innovations-Management","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-658-31954-0","volume-title":"The Organizational Embeddedness of Communities of Practice","author":"B Schulte","year":"2021","unstructured":"Schulte, B.: The Organizational Embeddedness of Communities of Practice. F, Springer, Wiesbaden (2021). https:\/\/doi.org\/10.1007\/978-3-658-31954-0"},{"key":"21_CR89","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Series in Computer Science, Prentice Hall International (1992)"},{"key":"21_CR90","doi-asserted-by":"publisher","unstructured":"Taguchi, K., Nishihara, H., Aoki, T., Kumeno, F., Hayamizu, K., Shinozaki, K.: Building a body of knowledge on model checking for software development. In: IEEE 37th Annual Computer Software and Applications Conference, pp. 784\u2013789 (2013). https:\/\/doi.org\/10.1109\/COMPSAC.2013.129","DOI":"10.1109\/COMPSAC.2013.129"},{"key":"21_CR91","unstructured":"van Zuylen, H.J. (ed.): The REDO Compendium: Reverse Engineering for Software Maintenance. Wiley (1993)"},{"issue":"1","key":"21_CR92","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/s00165-005-0084-7","volume":"18","author":"SA Vilkomir","year":"2006","unstructured":"Vilkomir, S.A., Bowen, J.P.: From MC\/DC to RC\/DC: formalization and analysis of control-flow testing criteria. Formal Aspects Comput. 18(1), 42\u201362 (2006). https:\/\/doi.org\/10.1007\/s00165-005-0084-7","journal-title":"Formal Aspects Comput."},{"key":"21_CR93","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11334-006-0006-8","volume":"2","author":"SA Vilkomir","year":"2006","unstructured":"Vilkomir, S.A., Bowen, J.P., Ghose, A.K.: Formalization and assessment of regulatory requirements for safety-critical software. Innov. Syst. Softw. Eng. 2, 165\u2013178 (2006). https:\/\/doi.org\/10.1007\/s11334-006-0006-8","journal-title":"Innov. Syst. Softw. Eng."},{"key":"21_CR94","unstructured":"Webber, E.: Building Successful Communities of Practice. Blurb (2016)"},{"key":"21_CR95","doi-asserted-by":"crossref","unstructured":"Wenger, E.: Communities of Practice: Learning, Meaning, and Identity. Cambridge University Press (1998)","DOI":"10.1017\/CBO9780511803932"},{"key":"21_CR96","unstructured":"Wenger, E., McDermott, R.A., Snyder, W.: Cultivating Communities of Practice: A Guide to Managing Knowledge. Harvard Business School Press (2002)"},{"key":"21_CR97","doi-asserted-by":"crossref","unstructured":"Wenger-Trayner, E., Fenton-O\u2019Creevy, M., Hutchinson, S., Kubiak, C., Wenger-Trayner, B. (eds.): Learning in Landscapes of Practice: Boundaries, Identity, and Knowledgeability in Practice-Based Learning. Routledge (2014)","DOI":"10.4324\/9781315777122"},{"key":"21_CR98","doi-asserted-by":"crossref","unstructured":"Wenger-Trayner, E., Wenger-Trayner, B.: Learning in Landscapes of Practice. Routledge (2014)","DOI":"10.4324\/9781315777122"},{"key":"21_CR99","unstructured":"Wenger-Trayner, E., Wenger-Trayner, B.: Introduction to communities of practice: a brief overview of the concept and its uses (2015). https:\/\/wenger-trayner.com\/introduction-to-communities-of-practice\/"},{"key":"21_CR100","unstructured":"Wikipedia: Sergiy Vilkomir. Wikipedia: The Free Encyclopedia. https:\/\/en.wikipedia.org\/wiki\/Sergiy_Vilkomir"},{"key":"21_CR101","doi-asserted-by":"publisher","first-page":"62","DOI":"10.3991\/ijac.v14i1.21939","volume":"41","author":"A Wohllebe","year":"2021","unstructured":"Wohllebe, A., G\u00f6tz, M.: Communities of practice for functional learning in agile contexts: definition approach and call for research. Int. J. Adv. Corp. Learn. 41, 62\u201369 (2021). https:\/\/doi.org\/10.3991\/ijac.v14i1.21939","journal-title":"Int. J. Adv. Corp. Learn."},{"issue":"4","key":"21_CR102","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J Woodcock","year":"2009","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 1\u201336 (2009). https:\/\/doi.org\/10.1145\/1592434.1592436","journal-title":"ACM Comput. Surv."},{"key":"21_CR103","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0024633","volume-title":"FME \u201993: Industrial-Strength Formal Methods","year":"1993","unstructured":"Woodcock, J.C.P., Larsen, P.G. (eds.): FME 1993. LNCS, vol. 670. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/BFb0024633"},{"key":"21_CR104","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/3-540-44798-9_34","volume-title":"Correct Hardware Design and Verification Methods","author":"Z Huibiao","year":"2001","unstructured":"Huibiao, Z., Bowen, J.P., Jifeng, H.: From operational semantics to denotational semantics for Verilog. In: Margaria, T., Melham, T. (eds.) CHARME 2001. LNCS, vol. 2144, pp. 449\u2013464. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44798-9_34"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-12429-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T03:45:46Z","timestamp":1663991146000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-12429-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031124280","9783031124297"],"references-count":104,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-12429-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"25 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"86","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6.5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}