Towards an executable algebra for product lines (Contributo in atti di convegno)

Type
Label
  • Towards an executable algebra for product lines (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.1145/2364412.2364424 (literal)
Alternative label
  • Gnesi S., Petrocchi M. (2012)
    Towards an executable algebra for product lines
    in 16th International Software Product Line Conference, Salvador, Brazil, 2-7 September 2012
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Gnesi S., Petrocchi M. (literal)
Pagina inizio
  • 66 (literal)
Pagina fine
  • 73 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://dl.acm.org/citation.cfm?doid=2364412.2364424 (literal)
Note
  • Scopu (literal)
  • PuMa (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa, Italy; CNR-IIT, Pisa, Italy; (literal)
Titolo
  • Towards an executable algebra for product lines (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-1-4503-1095-6 (literal)
Abstract
  • We propose the Controlled Language for Software Product Lines CL4SPL with the twofold aim of ensuring simplicity of use for product line engineers and safe translations to executable languages amenable for automated verification. We show an implementation of CL4SPL in Maude, a well-known rewrite engine, thus allowing formal analyses over product families specified with CL4SPL. We illustrate our approach with a toy family of coffee machines. (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