Coherency through formalisations of Structured Natural Language, A case study on FRETish

Joost J. Joosten, Marina López Chamosa, Sofía Santiago Fernández

Formalisation is the process of writing system requirements in a formal language. These requirements mostly originate in Natural Language. In the field of Formal Methods, formalisa…