The Return of Formal Requirements Engineering in the Era of Large Language Models.

Paola Spoletini Alessio Ferrari

Published in: REFSQ (2024)

Keyphrases

language model
requirements engineering
requirements specification
language modeling
software engineering
life cycle
document retrieval
goal oriented
probabilistic model
n gram

software development
speech recognition
information retrieval
query expansion
requirements elicitation
software requirements
statistical language models
test collection
language modelling
smoothing methods

requirements engineering process
software intensive systems
development process
retrieval model
vector space model
literature review
information systems
okapi bm
translation model
query specific

pseudo relevance feedback
query terms
business process
security requirements
document ranking
object oriented
case study
formal specification
ad hoc information retrieval
data mining