Developing controlled natural language for formal specification patterns using AI assistants

Natalia Garanina, Vladimir Zyubin, Igor Anureev

Using an AI assistant, we developed a method for systematically constructing controlled natural language for requirements based on formal specification patterns containing logical…