An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements.
Xi WangShaoying LiuPublished in: ICIS (2013)
Keyphrases
- computer aided
- knowledge representation
- domain knowledge
- computer assisted
- computer aided design
- computer aided diagnosis
- knowledge acquisition
- knowledge base
- expert systems
- image analysis
- knowledge sources
- capsule endoscopy
- content analysis
- conceptual model
- diagnosis of breast cancer
- quantitative analysis
- machine learning
- operational semantics
- process planning
- formal representation
- software engineering
- fault tree