Kolahdouz Rahimi, S; Lano, K; Yassipour Tehrani, S; Lin, C; Liu, Y; Umar, MA; (2026) An Approach for the Comparative Evaluation of Requirements Formalisation Approaches. In: José Domínguez Mayo, F and Ferreira Pires, L and Seidewitz, E, (eds.) Model-Based Software and Systems Engineering. (pp. pp. 132-150). Springer Nature Switzerland (In press).

Text Yassipour Tehrani_Comparative_evaluation_of_requirements_formalisation_approaches.pdf - Accepted Version Access restricted to UCL open access staff until 22 August 2026. Download (562kB)

Abstract

Various approaches have been proposed to automate the formalisation of software requirements from semi-formal or informal documents. However, this area of research lacks well-established case studies to serve as benchmarks for comparing different methods. Additionally, there is a need for clear, objective criteria to effectively assess the outcomes of these formalisation approaches. These gaps make it challenging to identify which techniques are most suitable for specific formalisation tasks. This paper addresses these issues by introducing a set of standardized case studies and a structured framework for evaluating the performance of requirements formalisation techniques using measurable criteria. We apply this evaluation framework to assess five different formalisation methods, which include both rule-based and machine learning-driven approaches.

Download activity - last month

Export as CSVXMLJSON

Download activity - last 12 months

Export as CSVXMLJSON

Downloads by country - last 12 months

Export as CSVXMLJSON

Archive Staff Only

View Item