AI-Assisted Controlled Natural Language for Formal Specifications
Analysis
Key Takeaways
- •Proposes a systematic method for generating controlled natural language requirements.
- •Leverages AI assistants for requirement generation.
- •Focuses on event-driven temporal requirements, indicating practical application.
- •Aims to bridge the gap between formal specifications and natural language.
“The method involves three stages: 1) compiling a generalized natural language requirement pattern...; 2) generating, using the AI assistant, a corpus of natural language requirement patterns...; and 3) formalizing the syntax of the controlled natural language...”