{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:33:37Z","timestamp":1757313217499},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214363"},{"type":"electronic","value":"9783642214370"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21437-0_24","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T03:33:16Z","timestamp":1308367996000},"page":"308-322","source":"Crossref","is-referenced-by-count":9,"title":["From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community"],"prefix":"10.1007","author":[{"given":"Jonathan P.","family":"Bowen","sequence":"first","affiliation":[]},{"given":"Steve","family":"Reeves","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","series-title":"An EATCS Series","volume-title":"Texts in Theoretical Computer Science","author":"D. Bj\u00f8rner","year":"2005","unstructured":"Bj\u00f8rner, D.: Software Engineering. In: Texts in Theoretical Computer Science. An EATCS Series, vol.\u00a03, Springer, Heidelberg (2005\u20136)"},{"issue":"9","key":"24_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MC.2009.284","volume":"42","author":"S.E. 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. IEEE Computer\u00a042(9), 37\u201345 (2009)","journal-title":"IEEE Computer"},{"volume-title":"Formal Methods: State of the Art and New Directions","year":"2010","key":"24_CR3","unstructured":"Boca, P.P., Bowen, J.P., Siddiqi, J. (eds.): Formal Methods: State of the Art and New Directions. Springer, London (2010)"},{"key":"24_CR4","unstructured":"Boute, R.: Formal Methods: Teaching and Practicing Computer Science at the University Level. In: Davies, J., et al. (eds.) Proceedings of the First International Workshop on Formal Methods Education and Training,Technical Report GRACE-TR-2008-03, GRACE Center, Japan (October 2008), http:\/\/www.grace-center.jp\/downloads\/GRACE-TR-2008-03.pdf"},{"key":"24_CR5","series-title":"FACIT series","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-1-4471-0701-9_1","volume-title":"Software Specification Methods: An Overview Using a Case Study","author":"J.P.Z. Bowen","year":"2001","unstructured":"Bowen, J.P.Z.: A formal specification notation. In: Frappier, M., Habrias, H. (eds.) Software Specification Methods: An Overview Using a Case Study. FACIT series, ch. 1, pp. 3\u201319. Springer, London (2001)"},{"issue":"1\/2","key":"24_CR6","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1504\/IJTM.2009.022682","volume":"46","author":"J.P. Bowen","year":"2009","unstructured":"Bowen, J.P., Borda, A.: Communicating the public understanding of science: The Royal Society website. International Journal of Technology Management\u00a046(1\/2), 146\u2013164 (2009)","journal-title":"International Journal of Technology Management"},{"issue":"1","key":"24_CR7","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MC.2006.35","volume":"39","author":"J.P. Bowen","year":"2006","unstructured":"Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods \u2026 Ten years later. IEEE Computer\u00a039(1), 40\u201348 (2006)","journal-title":"IEEE Computer"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-11447-2_14","volume-title":"Rigorous Methods for Software Construction and Analysis","author":"J.P. Bowen","year":"2009","unstructured":"Bowen, J.P., Hinchey, M.G.: Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. In: Abrial, J.-R., Gl\u00e4sser, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol.\u00a05115, pp. 219\u2013233. Springer, Heidelberg (2009)"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Derida, J.: Mal d\u2019Archive: Une Impression Freudienne. \u00c9ditions Galil\u00e9e, 1995. Translated by E. Prenowitz, Archive Fever: A Freudian Impression (1996)","DOI":"10.2307\/465144"},{"key":"24_CR10","volume-title":"Wiki: Web Collaboration","author":"A. Ebersbach","year":"2006","unstructured":"Ebersbach, A., Glaser, M., Heigl, M.: Wiki: Web Collaboration. Springer, Heidelberg (2006)"},{"key":"24_CR11","unstructured":"FMET. Towards Formal Methods Body of Knowledge (FMBOK). GRACE Center, Japan, http:\/\/grace-center.jp\/en\/prj_fmbok.html (accessed March 31, 2010)"},{"key":"24_CR12","volume-title":"Communities of Practice: Fostering peer-to-peer learning and informal knowledge sharing in the work place, information science and knowledge management","author":"N. Hara","year":"2009","unstructured":"Hara, N.: Communities of Practice: Fostering peer-to-peer learning and informal knowledge sharing in the work place, information science and knowledge management. Springer, Heidelberg (2009)"},{"issue":"4","key":"24_CR13","first-page":"381","volume":"22","author":"M.C. Henson","year":"2003","unstructured":"Henson, M.C., Reeves, S., Bowen, J.P.Z.: logic and its consequences. CAI: Computing and Informatics\u00a022(4), 381\u2013415 (2003)","journal-title":"CAI: Computing and Informatics"},{"issue":"2","key":"24_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1459352.1459354","volume":"41","author":"R.M. Hierons","year":"2009","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A.J.H., Vilkomir, S.A., Woodward, M.R., Zedan, H.: Using formal specification to support testing. ACM Computing Surveys\u00a041(2), 1\u201376 (2009), doi:10.1145\/1459352.1459354","journal-title":"ACM Computing Surveys"},{"key":"24_CR15","first-page":"308","volume-title":"Encyclopedia of Software Engineering","author":"M.G. Hinchey","year":"2010","unstructured":"Hinchey, M.G., Bowen, J.P., Vassev, E.: Formal Methods. In: Laplante, P.A. (ed.) Encyclopedia of Software Engineering, pp. 308\u2013320. Taylor & Francis, Abington (2010)"},{"issue":"9","key":"24_CR16","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/1378727.1378742","volume":"51","author":"M.G. Hinchey","year":"2008","unstructured":"Hinchey, M.G., Jackson, M., Cousot, P., Cook, B., Bowen, J.P., Margaria, T.: Software engineering and formal methods. Communications of the ACM\u00a051(9), 54\u201359 (2008), doi:10.1145\/1378727.1378742","journal-title":"Communications of the ACM"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Hughes, J., Jewson, N., Unwin, L. (eds.): Communities of Practice: Critical perspectives. Routledge, New York (2007)","DOI":"10.4324\/NOE0415364737"},{"key":"24_CR18","volume-title":"SWEBOK: Guide to the Software Engineering Body of Knowledge","author":"A. Abran","year":"2004","unstructured":"Abran, A., Moore, J.W., Bourque, P., Dupuis, R.: SWEBOK: Guide to the Software Engineering Body of Knowledge. IEEE Computer Society, Los Alamitos (2004), http:\/\/www.swebok.org"},{"key":"24_CR19","unstructured":"ISO. Information Technology \u2013 Z Formal Specification Notation \u2013 Syntax, Type System and Semantics. ISO\/IEC 13568:2002, International Organization for Standardization (2002)"},{"key":"24_CR20","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"24_CR21","unstructured":"Joint Task Force on Computing Curricula. Software Engineering 2004: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering. Computing Curricula Series, IEEE Computer Society and Association for Computing Machinery (August 23, 2004), http:\/\/sites.computer.org\/ccse\/SE2004Volume.pdf"},{"issue":"4","key":"24_CR22","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1504\/IJWBC.2010.035842","volume":"6","author":"P. Kommers","year":"2010","unstructured":"Kommers, P.: Creativity in web-based communities. International Journal of Web Based Communities\u00a06(4), 410\u2013418 (2010)","journal-title":"International Journal of Web Based Communities"},{"key":"24_CR23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511815355","volume-title":"Situated Learning: Legitimate peripheral participation","author":"J. Lave","year":"1991","unstructured":"Lave, J., Wenger, E.: Situated Learning: Legitimate peripheral participation. Cambridge University Press, New York (1991)"},{"key":"24_CR24","volume-title":"Museums and the Web 2010: Proceedings","author":"A.H.-Y. Liu","year":"2010","unstructured":"Liu, A.H.-Y., McDaid, S., Bowen, J.P., Beazley, I.: Dulwich OnView: A museum blog run by the community for the community. In: Trant, J., Bearman, D. (eds.) Museums and the Web 2010: Proceedings, Archives & Museum Informatics, Toronto (2010), http:\/\/www.archimuse.com\/mw2010\/papers\/liu\/liu.html"},{"key":"24_CR25","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1145\/1458082.1458150","volume-title":"Proc. ACM Conference on Information and Knowledge Management (CIKM 2008)","author":"D. Milne","year":"2008","unstructured":"Milne, D., Witten, I.H.: Learning to link with Wikipedia. In: Proc. ACM Conference on Information and Knowledge Management (CIKM 2008), pp. 509\u2013518. ACM Publications, Napa Valley (2008), doi:10.1145\/1458082.1458150"},{"key":"#cr-split#-24_CR26.1","doi-asserted-by":"crossref","unstructured":"Milner, R.: Bigraphs and their algebra. In: Electronic Notes in Theoretical Computer Science, vol.\u00a0209, pp. 5\u201319 (2008);","DOI":"10.1016\/j.entcs.2008.04.002"},{"key":"#cr-split#-24_CR26.2","doi-asserted-by":"crossref","unstructured":"10.1016\/j.entcs.2008.04.002","DOI":"10.1016\/j.entcs.2008.04.002"},{"key":"24_CR27","doi-asserted-by":"crossref","unstructured":"Nishihara, H., Shinozaki, K., Hayamizu, K., Aoki, T., Taguchi, K., Kumeno, F.: Model checking education for software engineers in Japan. ACM SIGCSE Bulletin\u00a041(2) (June 2009), doi:10.1145\/1595453.1595461","DOI":"10.1145\/1595453.1595461"},{"key":"24_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-540-30472-2_16","volume-title":"Teaching Formal Methods","author":"J.N. Oliveira","year":"2004","unstructured":"Oliveira, J.N.: A Survey of Formal Methods Courses in European Higher Education. In: Dean, C.N., Boute, R.T. (eds.) TFM 2004. LNCS, vol.\u00a03294, pp. 235\u2013248. Springer, Heidelberg (2004)"},{"key":"24_CR29","unstructured":"Spivey, J.M.: The Z Notation: A reference manual (2001) (Originally published by Prentice Hall, 1st edn. (1989) 2nd edn. (1992), http:\/\/spivey.oriel.ox.ac.uk\/~mike\/zrm\/"},{"key":"24_CR30","volume-title":"A History of Knowledge: Past, present, and future","author":"C. Doren Van","year":"1991","unstructured":"Van Doren, C.: A History of Knowledge: Past, present, and future. Ballantine Books, New York (1991)"},{"key":"24_CR31","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511803932","volume-title":"Communities of Practice: Learning, Meaning, and Identity","author":"E. Wenger","year":"1998","unstructured":"Wenger, E.: Communities of Practice: Learning, Meaning, and Identity. Cambridge University Press, Cambridge (1998)"},{"key":"24_CR32","volume-title":"Cultivating Communities of Practice: A guide to managing knowledge","author":"E. Wenger","year":"2002","unstructured":"Wenger, E., McDermott, R.A., Snyder, W.: Cultivating Communities of Practice: A guide to managing knowledge. Harvard Business School Press, Boston (2002)"},{"key":"24_CR33","unstructured":"Wikipedia. Body of Knowledge, Wikimedia Foundation, http:\/\/en.wikipedia.org\/wiki\/BoK (accessed March 31, 2010)"},{"key":"24_CR34","unstructured":"Wikipedia. Ontology (information science), Wikimedia Foundation, http:\/\/en.wikipedia.org\/wiki\/Ontology_information_science (accessed March 31, 2010)"}],"container-title":["Lecture Notes in Computer Science","FM 2011: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21437-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,25]],"date-time":"2021-11-25T15:41:28Z","timestamp":1637854888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21437-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214363","9783642214370"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21437-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}