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
  • 130 (literal)
Pagina fine
  • 139 (literal)
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
data.CNR.it