A language proposition for system requirements
Benoît Lebeaupin, Antoine B. Rauzy, Jean‐Marc Roussel · 2017 Annual IEEE International Systems Conference (SysCon) · 2017
Natural language is currently the basis of the majority of system specifications, even if it has several drawbacks. In particular, natural language is inherently ambiguous. In this article, we propose a way to complete the natural language text of requirements by giving a formal syntax to this text. We introduce and use an example to illustrate our ideas.