Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/20282
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Barbosa, L. S. | - |
dc.contributor.author | Cerone, Antonio | - |
dc.contributor.author | Petrenko, Alexander | - |
dc.contributor.author | Shaikh, Siraj A. | - |
dc.date.accessioned | 2012-09-19T16:11:55Z | - |
dc.date.available | 2012-09-19T16:11:55Z | - |
dc.date.issued | 2010 | - |
dc.identifier.issn | 0267-6192 | - |
dc.identifier.uri | https://hdl.handle.net/1822/20282 | - |
dc.description.abstract | Despiteitshugesuccessandincreasingincorporationincom- plex, industrial-strength applications, open source software, by the very nature of its open, unconventional, distributed development model, is hard to assess and certify in an effective, sound and independent way. This makes its use and integration within safety or security-critical systems, a risk. And, simultaneously an opportunity and a challenge for rigourous, mathematically based, methods which aim at pushing software analysis and development to the level of a mature engineering discipline. This paper discusses such a challenge and proposes a number of ways in which open source development may benefit from the whole patrimony of formal methods. | por |
dc.description.sponsorship | L. S. Barbosa research was partially supported by the CROSS project, under contract PTDC/EIA-CCO/108995/2008. | por |
dc.language.iso | eng | por |
dc.publisher | CRL Publishing | por |
dc.rights | openAccess | por |
dc.subject | Open source Software certification | por |
dc.subject | Formal methods | por |
dc.subject | Software quality | por |
dc.title | Certification of open-source software : a role for formal methods? | por |
dc.type | article | por |
dc.peerreviewed | yes | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 273 | por |
oaire.citationEndPage | 281 | por |
oaire.citationIssue | 4 | por |
oaire.citationTitle | COMPUTER SYSTEMS SCIENCE AND ENGINEERING | por |
oaire.citationVolume | 25 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Computer Systems Science and Engineering | por |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
IJCSSE-BCPS.pdf | preprint | 165,21 kB | Adobe PDF | Ver/Abrir |