Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP.

Iat Tou Leong Raul Barbosa

Published in: DSN-W (2023)

Keyphrases

natural language
formal specification
machine learning
natural language processing
natural language understanding
high level
design methodology
language processing
expert systems
text mining
design process
first order logic
specification languages