http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43728
A methodology for the derivation and verification of use cases for product lines (Articolo in rivista)
- Type
- Label
- A methodology for the derivation and verification of use cases for product lines (Articolo in rivista) (literal)
- Anno
- 2004-01-01T00:00:00+01:00 (literal)
- Alternative label
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Fantechi A.; Gnesi S.; Lami G.; Nesti E. (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
- Rivista
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
- Software Product Lines: Third International Conference, SPLC 2004 (Boston, USA, August 30-September 2, 2004). Proceedings. Robert L. Nord (ed.)Springer 2004. (literal)
- Note
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- Dipartimento di Sistemi e Informatica, Università di Firenze
Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\" (literal)
- Titolo
- A methodology for the derivation and verification of use cases for product lines (literal)
- 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. (literal)
- Prodotto di
- Autore CNR
Incoming links:
- Prodotto
- Autore CNR di
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
