Computer-Aided Formalization of Requirements Based on Patterns.

Xi Wang Shaoying Liu

Published in: IEICE Trans. Inf. Syst. (2014)

Keyphrases

computer aided
computer assisted
computer aided diagnosis
computer aided design
image analysis
diagnosis of breast cancer
knowledge representation
capsule endoscopy
frequent patterns
design tools
knowledge base
pattern discovery
prostate cancer
process planning
fault tree