On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications.
Amel MammarRégine LaleauPublished in: ISoLA (1) (2016)
Keyphrases
- domain experts
- domain knowledge
- knowledge base
- alternative ways
- knowledge acquisition
- knowledge based systems
- knowledge management
- general knowledge
- expert systems
- knowledge representation
- domain specific
- knowledge sources
- diagnostic problem solving
- meta knowledge
- formal representation
- conceptual models
- knowledge discovery
- knowledge structures
- complex domains
- concept maps
- event detection
- prior knowledge
- knowledge domains
- deep knowledge
- e learning