Automated Mining and Checking of Formal Properties in Natural Language Requirements.
Xingxing PiJianqi ShiYanhong HuangHansheng WeiPublished in: KSEM (2) (2019)
Keyphrases
- natural language
- formal language
- web mining
- natural language generation
- knowledge discovery
- functional requirements
- computer aided
- semi automated
- association rules
- natural language processing
- text mining
- sequential patterns
- natural language interface
- formal methods
- automated analysis
- formal languages
- real time
- formal specification
- interesting patterns
- semantic analysis
- machine translation
- itemsets
- data mining techniques
- information extraction
- database systems