http://www.cnr.it/ontology/cnr/individuo/prodotto/ID205394
Formal description of variability in product families (Contributo in atti di convegno)
- Type
- Label
- Formal description of variability in product families (Contributo in atti di convegno) (literal)
- Anno
- 2011-01-01T00:00:00+01:00 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
- 10.1109/SPLC.2011.34 (literal)
- Alternative label
Asirelli P., Ter Beek M. H., Fantechi A., Gnesi, S. (2011)
Formal description of variability in product families
in 15th International Software Product Line Conference, SPLC 2011, München, Germany, 21-26 Agosto 2011
(literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Asirelli P., Ter Beek M. H., Fantechi A., Gnesi, S. (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
- Area di valutazione 01 - Scienze matematiche e informatiche. - ISBN presente sulla pagina web della pubblicazione (http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6030054): 978-1-4577-1029-2. - ISBN presente sul pdf: 978-0-7695-4487-8. (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
- http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6030054 (literal)
- Note
- Scopu (literal)
- PuMa (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- CNR-ISTI, Pisa, Italy ; Università degli Studi di Firenze, Italy (literal)
- Titolo
- Formal description of variability in product families (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
- 978-1-4577-1029-2 (literal)
- Abstract
- We illustrate how to manage variability in a single logical framework consisting of a Modal Transition System (MTS) and an associated set of formulae expressed in the branching-time temporal logic MHML interpreted in a deontic way over such MTSs. We discuss the commonalities and differences with the framework of Classen et al. based on Featured Transition Systems and Linear-time Temporal Logic. (literal)
- Editore
- Prodotto di
- Autore CNR
- Insieme di parole chiave
Incoming links:
- Prodotto
- Autore CNR di
- Editore di
- Insieme di parole chiave di