Paper Info
Title
A Methodology for the Derivation and Verification of Use Cases for Product Lines
Abstract
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 of variabilities at the family level and the instantiation of them in order to move to the requirements of a single product. The proposed methodology also allows the formalization of the family constraints to be taken into account for the construction of the products belonging to it, along with the verification of the compliance to those constraints of a single product requirements document. This approach is promising due to its simplicity and effectiveness for being supported by automatic tools.
Year
DOI
Venue
2004
10.1007/978-3-540-28630-1_16
LECTURE NOTES IN COMPUTER SCIENCE
Keywords
Field
DocType
use case
Use case,Engineering drawing,Programming language,Computer science,Theoretical computer science,Product line,Software product line,Mobile phone,Formalism (philosophy),Product requirements document,Product family,Software development
Conference
Volume
ISSN
Citations 
3154
0302-9743
27
PageRank 
References 
Authors
1.68
6
4
Name
Order
Citations
PageRank
Alessandro Fantechi11199103.40
Stefania Gnesi21475120.93
Giuseppe Lami319522.98
E. Nesti4271.68