A Comprehensive Requirement Capturing Model Enabling the Automated Formalisation of NL Requirements.
Mohamed OsamaAya Zaki-IsmailMohamed Almorsy AbdelrazekJohn GrundyAmani S. IbrahimPublished in: SN Comput. Sci. (2023)
Keyphrases
- formal model
- high level
- probabilistic model
- mathematical model
- artificial intelligence
- conceptual model
- statistical model
- management system
- theoretical analysis
- computational model
- natural language understanding
- neural network
- formal analysis
- simulation model
- software engineering
- cost function
- evolutionary algorithm
- similarity measure
- database systems
- knowledge base
- genetic algorithm