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

Simple item page
dc.contributor.authorBowen, Jonathan P.
dc.contributor.authorReeves, Steve
dc.coverage.spatialConference held at Limerick, Irelanden_NZ
dc.date.accessioned2011-08-28T23:31:14Z
dc.date.available2011-08-28T23:31:14Z
dc.date.issued2011
dc.description.abstractA 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.en_NZ
dc.identifier.citationBowen, 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.en_NZ
dc.identifier.doi10.1007/978-3-642-21437-0_24en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/5632
dc.language.isoen
dc.publisherSpringer, Berlinen_NZ
dc.relation.isPartOfProc 17th International Symposium on Formal Methodsen_NZ
dc.relation.urihttp://www.springerlink.com/content/j71226176164v678en_NZ
dc.sourceFM 2011en_NZ
dc.subjectcomputer scienceen_NZ
dc.titleFrom a community of practice to a body of knowledge: a case study of the formal methods communityen_NZ
dc.typeConference Contributionen_NZ
pubs.begin-page308en_NZ
pubs.elements-id20833
pubs.end-page322en_NZ
pubs.finish-date2011-06-24en_NZ
pubs.place-of-publicationGermanyen_NZ
pubs.start-date2011-06-20en_NZ
pubs.volumeLNCS 6664en_NZ
Files
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Name: license.txt
Size: 1.71 KB
Kind: License
Collections
Computing and Mathematical Sciences Papers