Sciweavers

SPLC
2004
13 years 6 months ago
A Methodology for the Derivation and Verification of Use Cases for Product Lines
In this paper, we present a methodology to express, in a formal way, the requirements of products belonging to a product line. We relied on a formalism allowing the representation ...
Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami...