Process scenarios in open source software certification (Contributo in atti di convegno)

Type
Label
  • Process scenarios in open source software certification (Contributo in atti di convegno) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Alternative label
  • Fabbrini, Fabrizio; Fusani, Mario; Marchetti, Eda (2011)
    Process scenarios in open source software certification
    in 5th International Workshop on Foundation and Techniques for Open Source Certification, OpenCert 2011, Montevideo, Uruguay, 14-15 November 2011
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Fabbrini, Fabrizio; Fusani, Mario; Marchetti, Eda (literal)
Pagina inizio
  • 3 (literal)
Pagina fine
  • 18 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Area di valutazione 09 - Ingegneria industriale e informatica ID_PUMA: /cnr.isti/2011-A2-126 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://opencert.iist.unu.edu/Papers/2011-paper-S1-A.pdf (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa (literal)
Titolo
  • Process scenarios in open source software certification (literal)
Abstract
  • Certification of Open Source Software (OSS) presents inherent trade-offs due to the necessity of precisely identifying both a product and an independent certification agent, and on the other of maintain the peculiar, valuable OSS characteristic of being available to an unlimited multiplicity of actors for trial, use and change. This is an intriguing challenge, usually solved by removing from the picture the certifying agent and providing an intrinsic certification by means of rigorous, reapplicable property demonstrations, adopting Formal Methods (FM) in expressing and verifying the code. As such approach, yet quite valuable and good-promising, has some restrictions (such as the limited set of provable product qualities), we propose to tackle the problem by analysing the various processes executed by different OSS stakeholders, including the process of an independent Certification Body. In the paper some kinds of representative scenarios in which such processes interleave are presented and discussed. The aim is to introduce a process-centered perspective for OSS that can stimulate research to further understand and mitigate the mentioned trade-offs. (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