Conference
On Requirements Verification for Model Refinements
Abstract
Conventional formal verification techniques rely on the assumption that a system's specification is completely available so that the analysis can say whether or not a set of properties will be satisfied. On the contrary, modern development lifecycles call for agile—incremental and iterative—approaches to tame the boosting complexity of modern software systems and reduce development risks. We focus here on requirements verification performed in …
Authors
Ghezzi C; Menghi C; Sharifloo AM; Spoletini P
Pagination
pp. 62-71
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
July 1, 2013
DOI
10.1109/re.2013.6636706
Name of conference
2013 21st IEEE International Requirements Engineering Conference (RE)