Formalising Software Requirements with Large Language Models

The field of software requirements formalisation is moving towards increased adoption of large language models (LLMs) to assist in writing formal specifications. This shift is driven by the need to improve software quality and reduce the costs associated with poor software quality. Researchers are exploring the use of LLMs to automate survey generation, improve traceability of software requirements, and develop new tools and methodologies for formal software verification. Noteworthy papers in this area include: A Short Survey on Formalising Software Requirements using Large Language Models, which provides a comprehensive overview of the current state of research in this area. Impact of a Deployed LLM Survey Creation Tool through the IS Success Model, which presents a real-world deployment of an LLM-powered system for survey creation and evaluates its success using the DeLone and McLean IS Success Model.

Sources

A Short Survey on Formalising Software Requirements using Large Language Models

Role, cost, and complexity of software in the real-world: a case for formal methods

ACM Survey Draft on Formalising Software Requirements with Large Language Models

Impact of a Deployed LLM Survey Creation Tool through the IS Success Model

Built with on top of