Comparative evaluation of NLP approaches for requirements formalisation

Shekoufeh Kolahdouz Rahimi, Kevin Charles Lano, Sobhan Yassipour Tehrani, Chenghua Lin, yiqi Liu, Muhammad Aminu Umar

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

41 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationInternational Conference on Model-Based Software and System Engineering
Publication statusPublished - 2024

Cite this