From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community.
Jonathan P. BowenSteve ReevesPublished in: FM (2011)
Keyphrases
- formal methods
- knowledge communities
- knowledge sharing
- domain knowledge
- knowledge acquisition
- knowledge management
- knowledge based systems
- case study
- artificial intelligence
- software engineering
- personal experience
- formal model
- share knowledge
- knowledge resources
- formal analysis
- knowledge base
- formal specification
- virtual communities
- machine learning
- expert systems