A compositional framework to derive product line behavioural descriptions (Contributo in atti di convegno)

Type
Label
  • A compositional framework to derive product line behavioural descriptions (Contributo in atti di convegno) (literal)
Anno
  • 2012-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-642-34026-0_12 (literal)
Alternative label
  • Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. (2012)
    A compositional framework to derive product line behavioural descriptions
    in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 5th International Symposium, Heraklion, Crete, Greece, 15-18 October 2012
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. (literal)
Pagina inizio
  • 146 (literal)
Pagina fine
  • 161 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Progetto Train Control Enhancement via Information Technology - Acronimo: TRACE-IT - Grant agreement PAR FAS 2007--2013 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://link.springer.com/chapter/10.1007%2F978-3-642-34026-0_12 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 7609 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 16 (literal)
Note
  • PuMa (literal)
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy; DSI, University of Florence, Florence, Italy, CNR-ISTI, Pisa, Italy; (literal)
Titolo
  • A compositional framework to derive product line behavioural descriptions (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-642-34025-3 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • T. Margaria, B. Steffen (literal)
Abstract
  • Modelling variability in product families has been the subject of extensive study in the literature on Software Product Lines, especially that concerning Feature Modelling. In recent years, we have laid the basis for the study of the application of temporal logics to the formal modelling of behavioural variability in product family definitions. A critical point in this formalization is to give an adequate representation of the elements of the feature model and their relation with the behaviour of the many products that are to be derived from the family. To this aim, we propose a methodology to systematize this step as much as possible, in order to allow the derivation of behavioural models that are general enough to capture the behaviour of all consistent products belonging to the family. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Editore di
Insieme di parole chiave di
data.CNR.it