Using mCRL2 for the analysis of software product lines (extended version). (Rapporti tecnici/preprint/working paper)

Type
Label
  • Using mCRL2 for the analysis of software product lines (extended version). (Rapporti tecnici/preprint/working paper) (literal)
Anno
  • 2014-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ter Beek M. H., De Vink E. P. (2014)
    Using mCRL2 for the analysis of software product lines (extended version).
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M. H., De Vink E. P. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Grant agreement: 600708 Tipo Progetto: EU_FP7 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.win.tue.nl/~evink/research/Postscript/csr1402.pdf (literal)
Note
  • PuMa (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy (literal)
Titolo
  • Using mCRL2 for the analysis of software product lines (extended version). (literal)
Abstract
  • We show how the formal specification language mCRL2 and its state-of-the-art toolset can be used successfully to model and analyze variability in software product lines. The mCRL2 toolset supports parametrized modeling, model reduction and quality assurance techniques like model checking. We present a proof-of-concept, which moreover illustrates the use of data in mCRL2 and also how to exploit its data language to manage feature attributes of software product lines and quantitative constraints between attributes and features. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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