Towards rigorous analysis of open source software

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/15264

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Barbosa, L. S.	-
dc.contributor.author	Henriques, Pedro Rangel	-
dc.contributor.author	Sanchez, Alejandro	-
dc.date.accessioned	2011-12-15T17:00:56Z	-
dc.date.available	2011-12-15T17:00:56Z	-
dc.date.issued	2011	-
dc.identifier.uri	https://hdl.handle.net/1822/15264	-
dc.description	Workshop proceedings with local publication by the University of Oslo	por
dc.description.abstract	This paper discusses the (often hidden) potential of Open Source Software development to resort to, benefit from and cross-fertilize formal engineering methods, whose role is indisputable in the production of trustworthy software components. A strategy addressing the incorporation of formal verification methods in the Open Source Software lifecycle, in a somewhat less conventional way — that of assisting the re-engineering process of running code — is proposed.	por
dc.description.sponsorship	Fundação para a Ciência e a Tecnologia (FCT)	por
dc.language.iso	eng	por
dc.publisher	University of Oslo	por
dc.relation	info:eu-repo/grantAgreement/FCT/5876-PPCDTI/108995/PT	-
dc.rights	openAccess	por
dc.subject	Open-source software	por
dc.subject	Certification	por
dc.title	Towards rigorous analysis of open source software	por
dc.type	conferencePaper	-
dc.peerreviewed	yes	por
sdum.publicationstatus	published	por
oaire.citationTitle	Proc. TTSS 5th International Workshop on Harnessing Theories for Tool Support in Software	por
sdum.conferencePublication	Proc. TTSS 5th International Workshop on Harnessing Theories for Tool Support in Software	por
Aparece nas coleções:	HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers)

Ficheiros deste registo:

Ficheiro	Descrição	Tamanho	Formato
OriginalBRS11.pdf		267,15 kB	Adobe PDF	Ver/Abrir

Ver registo simples Sugerir correção Estatísticas