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

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

Full description

Saved in:
Bibliographic Details
Published inFM 2011: Formal Methods pp. 308 - 322
Main Authors Bowen, Jonathan P., Reeves, Steve
Format Book Chapter
LanguageEnglish
Japanese
Published Berlin, Heidelberg Springer Berlin Heidelberg 2011
SeriesLecture Notes in Computer Science
Subjects
Accreditation Body
Formal Method
Legitimate Peripheral Participation
Software Engineer
Software Engineering
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9783642214363
3642214363
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-21437-0_24