Formal Modelling of Environment Restrictions from Natural-Language Requirements.
Tainã SantosGustavo CarvalhoAugusto SampaioPublished in: SBMF (2018)
Keyphrases
- natural language
- requirements specification
- formal language
- real time
- current situation
- machine learning
- natural language processing
- formal model
- language processing
- semantic analysis
- complex environments
- design principles
- semantic representation
- simulation environment
- application specific
- question answering
- virtual world
- dynamic environments
- description logics
- data mining