The Z notation: a reference manual
The Z notation: a reference manual
Z: a formal specification notation
Software specification methods
Cultivating Communities of Practice: A Guide to Managing Knowledge
Cultivating Communities of Practice: A Guide to Managing Knowledge
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Software engineering and formal methods
Communications of the ACM - Enterprise information integration: and other tools for merging data
Learning to link with wikipedia
Proceedings of the 17th ACM conference on Information and knowledge management
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Wiki: Web Collaboration
Communities of Practice: Fostering Peer-to-Peer Learning and Informal Knowledge Sharing in the Work Place
Model checking education for software engineers in Japan
ACM SIGCSE Bulletin
Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions
Creativity in web-based communities
International Journal of Web Based Communities
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net
Rigorous Methods for Software Construction and Analysis
A relational approach to an algebraic community: from paul erdős to he jifeng
Theories of Programming and Formal Methods
| Hi-index | 0.00 |
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.