Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar.
Marco AutiliLars GrunskeMarkus LumpePatrizio PelliccioneAntony TangPublished in: IEEE Trans. Software Eng. (2015)
Keyphrases
- real time
- natural language
- wide coverage
- broad coverage
- bayesian networks
- control system
- formal languages
- probabilistic networks
- low cost
- data mining techniques
- high level
- language learning
- image registration
- probabilistic logic
- probabilistic model
- frequent patterns
- english language
- pattern mining
- parse tree
- context free grammars
- cross language
- quantitative and qualitative
- pattern discovery
- semantic analysis
- machine translation
- statistical machine translation
- quantitative data
- grammar rules
- uncertain data
- context sensitive
- attribute grammars
- design patterns