Skip to main content
SpringerLink
Log in

From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community

  • Conference paper
FM 2011: Formal Methods (FM 2011)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6664))

Included in the following conference series:

Abstract

A Body of Knowledge (BoK) is an ontology for a particular professional domain. A Community of Practice (CoP) is the collection of people developing such knowledge. In the paper we explore these concepts in the context of the formal methods community in general and the Z notation community, as has been supported by the Z User Group, in particular. The existing SWEBOK Software Engineering Body of Knowledge is considered with respect to formal methods and a high-level model for the possible structure of of a BoK is provided using the Z notation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bjørner, D.: Software Engineering. In: Texts in Theoretical Computer Science. An EATCS Series, vol. 3, Springer, Heidelberg (2005–6)

    Google Scholar 

  2. Black, S.E., Boca, P.P., Bowen, J.P., Gorman, J., Hinchey, M.G.: Formal versus agile: Survival of the fittest. IEEE Computer 42(9), 37–45 (2009)

    Article  Google Scholar 

  3. Boca, P.P., Bowen, J.P., Siddiqi, J. (eds.): Formal Methods: State of the Art and New Directions. Springer, London (2010)

    MATH  Google Scholar 

  4. 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

  5. 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–19. Springer, London (2001)

    Chapter  Google Scholar 

  6. Bowen, J.P., Borda, A.: Communicating the public understanding of science: The Royal Society website. International Journal of Technology Management 46(1/2), 146–164 (2009)

    Article  Google Scholar 

  7. Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods … Ten years later. IEEE Computer 39(1), 40–48 (2006)

    Article  Google Scholar 

  8. Bowen, J.P., Hinchey, M.G.: Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. In: Abrial, J.-R., Glässer, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol. 5115, pp. 219–233. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  9. Derida, J.: Mal d’Archive: Une Impression Freudienne. Éditions Galilée, 1995. Translated by E. Prenowitz, Archive Fever: A Freudian Impression (1996)

    Google Scholar 

  10. Ebersbach, A., Glaser, M., Heigl, M.: Wiki: Web Collaboration. Springer, Heidelberg (2006)

    Google Scholar 

  11. FMET. Towards Formal Methods Body of Knowledge (FMBOK). GRACE Center, Japan, http://grace-center.jp/en/prj_fmbok.html (accessed March 31, 2010)

  12. 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)

    Google Scholar 

  13. Henson, M.C., Reeves, S., Bowen, J.P.Z.: logic and its consequences. CAI: Computing and Informatics 22(4), 381–415 (2003)

    MathSciNet  MATH  Google Scholar 

  14. 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 41(2), 1–76 (2009), doi:10.1145/1459352.1459354

    Article  Google Scholar 

  15. Hinchey, M.G., Bowen, J.P., Vassev, E.: Formal Methods. In: Laplante, P.A. (ed.) Encyclopedia of Software Engineering, pp. 308–320. Taylor & Francis, Abington (2010)

    Google Scholar 

  16. Hinchey, M.G., Jackson, M., Cousot, P., Cook, B., Bowen, J.P., Margaria, T.: Software engineering and formal methods. Communications of the ACM 51(9), 54–59 (2008), doi:10.1145/1378727.1378742

    Article  Google Scholar 

  17. Hughes, J., Jewson, N., Unwin, L. (eds.): Communities of Practice: Critical perspectives. Routledge, New York (2007)

    Google Scholar 

  18. 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

    Google Scholar 

  19. ISO. Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics. ISO/IEC 13568:2002, International Organization for Standardization (2002)

    Google Scholar 

  20. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)

    Google Scholar 

  21. 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

  22. Kommers, P.: Creativity in web-based communities. International Journal of Web Based Communities 6(4), 410–418 (2010)

    Article  Google Scholar 

  23. Lave, J., Wenger, E.: Situated Learning: Legitimate peripheral participation. Cambridge University Press, New York (1991)

    Book  Google Scholar 

  24. 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

    Google Scholar 

  25. Milne, D., Witten, I.H.: Learning to link with Wikipedia. In: Proc. ACM Conference on Information and Knowledge Management (CIKM 2008), pp. 509–518. ACM Publications, Napa Valley (2008), doi:10.1145/1458082.1458150

    Google Scholar 

  26. Milner, R.: Bigraphs and their algebra. In: Electronic Notes in Theoretical Computer Science, vol. 209, pp. 5–19 (2008); Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006), doi:10.1016/j.entcs.2008.04.002

    Google Scholar 

  27. Nishihara, H., Shinozaki, K., Hayamizu, K., Aoki, T., Taguchi, K., Kumeno, F.: Model checking education for software engineers in Japan. ACM SIGCSE Bulletin 41(2) (June 2009), doi:10.1145/1595453.1595461

    Google Scholar 

  28. 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. 3294, pp. 235–248. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  29. 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/

  30. Van Doren, C.: A History of Knowledge: Past, present, and future. Ballantine Books, New York (1991)

    Google Scholar 

  31. Wenger, E.: Communities of Practice: Learning, Meaning, and Identity. Cambridge University Press, Cambridge (1998)

    Book  Google Scholar 

  32. Wenger, E., McDermott, R.A., Snyder, W.: Cultivating Communities of Practice: A guide to managing knowledge. Harvard Business School Press, Boston (2002)

    Google Scholar 

  33. Wikipedia. Body of Knowledge, Wikimedia Foundation, http://en.wikipedia.org/wiki/BoK (accessed March 31, 2010)

  34. Wikipedia. Ontology (information science), Wikimedia Foundation, http://en.wikipedia.org/wiki/Ontology_information_science (accessed March 31, 2010)

Download references

Author information

Authors and Affiliations

  1. Faculty of Business, London South Bank University, Borough Road, London, SE1 0AA, United Kingdom

    Jonathan P. Bowen

  2. Department of Computer Science, The University of Waikato, Hamilton, 3240, New Zealand

    Steve Reeves

Authors
  1. Jonathan P. Bowen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Steve Reeves
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Southampton, UK

    Michael Butler

  2. Microsoft Research, Redmond, WA, USA

    Wolfram Schulte

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bowen, J.P., Reeves, S. (2011). 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: Formal Methods. FM 2011. Lecture Notes in Computer Science, vol 6664. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21437-0_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21437-0_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21436-3

  • Online ISBN: 978-3-642-21437-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation