Proposal of an Approach to Generate VDM++ Specifications from Natural Language Specification by Machine Learning.
Yasuhiro ShigyoTetsuro KatayamaPublished in: GCCE (2020)
Keyphrases
- machine learning
- natural language
- formal language
- specification language
- formal specification
- information extraction
- high level
- transition systems
- reactive systems
- natural language processing
- knowledge representation
- pattern recognition
- written in natural language
- formal languages
- formal verification
- learning algorithm
- machine learning algorithms
- text mining
- data mining
- natural language interface
- learning tasks
- computational intelligence
- concurrent systems
- computer vision
- feature selection
- model checking
- machine learning approaches
- semantic interpretation
- decision trees
- operational semantics
- control flow
- knowledge discovery
- explanation based learning
- business rules
- finite state machines
- machine learning methods
- automatically generate
- inductive learning
- temporal logic
- asynchronous circuits
- programming language
- learning systems
- question answering
- state machines
- model selection
- software requirements
- knowledge acquisition
- code generation
- knowledge base
- generation method
- natural language generation
- functional requirements
- formal methods
- supervised learning
- semantic analysis