Modeling and Verification of Natural Language Requirements based on States and Modes.
Yinling LiuJean-Michel BruelPublished in: Formal Aspects Comput. (2024)
Keyphrases
- natural language
- machine learning
- genetic algorithm
- knowledge representation
- information extraction
- dialogue system
- question answering
- face verification
- machine translation
- user requirements
- model checking
- written in natural language
- natural language interface
- requirements engineering
- modeling framework
- language processing
- modeling language
- application specific
- real time
- natural language processing
- search algorithm
- image sequences
- information systems
- neural network