TY - GEN
T1 - Comparative evaluation of NLP approaches for requirements formalisation
AU - Kolahdouz Rahimi, Shekoufeh
AU - Lano, Kevin Charles
AU - Yassipour Tehrani, Sobhan
AU - Lin, Chenghua
AU - Liu, yiqi
AU - Umar, Muhammad Aminu
PY - 2024
Y1 - 2024
N2 - Many approaches have been proposed for the automated formalisation of software requirements from semi-formal or informal requirements documents. However this research field lacks established case studies upon which different approaches can be compared, and there is also a lack of accepted criteria for comparing the results of formalisation approaches. As a consequence, it is difficult to determine which approaches are more appropriate for different kinds of formalisation task. In this paper we define benchmark case studies and a framework for comparative evaluation of requirements formalisation approaches, thus contributing to improving the rigour of this research field. We apply the approach to compare four example requirements formalisation methods.
AB - Many approaches have been proposed for the automated formalisation of software requirements from semi-formal or informal requirements documents. However this research field lacks established case studies upon which different approaches can be compared, and there is also a lack of accepted criteria for comparing the results of formalisation approaches. As a consequence, it is difficult to determine which approaches are more appropriate for different kinds of formalisation task. In this paper we define benchmark case studies and a framework for comparative evaluation of requirements formalisation approaches, thus contributing to improving the rigour of this research field. We apply the approach to compare four example requirements formalisation methods.
M3 - Conference contribution
BT - International Conference on Model-Based Software and System Engineering
ER -