Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      From a community of practice to a body of knowledge: a case study of the formal methods community

      Bowen, Jonathan P.; Reeves, Steve
      DOI
       10.1007/978-3-642-21437-0_24
      Link
       www.springerlink.com
      Find in your library  
      Citation
      Export citation
      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 M. Butler & W. Schulte (Eds.), Proceedings of 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. (pp. 308-322). Berlin: Springer.
      Permanent Research Commons link: https://hdl.handle.net/10289/5632
      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.
      Date
      2011
      Type
      Conference Contribution
      Publisher
      Springer, Berlin
      Collections
      • Computing and Mathematical Sciences Papers [1455]
      Show full item record  

      Usage

       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement