{"ID":2823992,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2512.24159","arxiv_id":"2512.24159","title":"Developing controlled natural language for formal specification patterns using AI assistants","abstract":"Using an AI assistant, we developed a method for systematically constructing controlled natural language for requirements based on formal specification patterns containing logical attributes. The method involves three stages: 1) compiling a generalized natural language requirement pattern that utilizes all attributes of the formal specification template; 2) generating, using the AI assistant, a corpus of natural language requirement patterns, reduced by partially evaluating attributes (the developed prompt utilizes the generalized template, attribute definitions, and specific formal semantics of the requirement patterns); and 3) formalizing the syntax of the controlled natural language based on an analysis of the grammatical structure of the resulting patterns. The method has been tested for event-driven temporal requirements.","short_abstract":"Using an AI assistant, we developed a method for systematically constructing controlled natural language for requirements based on formal specification patterns containing logical attributes. The method involves three stages: 1) compiling a generalized natural language requirement pattern that utilizes all attributes o...","url_abs":"https://arxiv.org/abs/2512.24159","url_pdf":"https://arxiv.org/pdf/2512.24159v1","authors":"[\"Natalia Garanina\",\"Vladimir Zyubin\",\"Igor Anureev\"]","published":"2025-12-30T11:43:21Z","proceeding":"cs.SE","tasks":"[\"cs.SE\",\"cs.AI\",\"cs.FL\"]","methods":"[]","has_code":false}