Conference
COVER: Change-based goal verifier and reasoner
Abstract
COVER is a unified framework that supports the interplay between requirements analysts and software developers. It contracts a bridge between the requirements analyst's and the software developer's artifacts by enabling goal model analysis during software design. The goal model produced by the requirements analyst is kept alive and updated while the system is designed. Whenever the design of the system changes, COVER verifies the new design …
Authors
Menghi C; Spoletini P; Ghezzi C
Volume
1796
Publication Date
January 1, 2017
Conference proceedings
Ceur Workshop Proceedings
ISSN
1613-0073