Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.

Detalhes bibliográficos
Autor(a) principal: THAYONARA DE PONTES ALVES
Data de Publicação: 2020
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=10062907
id BRCRIS_4f8945e4a2081b62f8dc4e8aa897c307
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.
title Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.
spellingShingle Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.
Linhas de produtos de software. Provadores de Teorema. Coq. PVS
Software Product Lines. Theorem Provers. Coq. PVS
THAYONARA DE PONTES ALVES
title_short Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.
title_full Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.
title_fullStr Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.
Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.
title_full_unstemmed Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.
Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.
title_sort Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.
topic Linhas de produtos de software. Provadores de Teorema. Coq. PVS
Software Product Lines. Theorem Provers. Coq. PVS
publishDate 2020
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=10062907
author_role author
author THAYONARA DE PONTES ALVES
author_facet THAYONARA DE PONTES ALVES
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/5584407561861248
dc.contributor.advisor1.fl_str_mv Leopoldo Motta Teixeira
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/2117651910340729
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000000261541666
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PERNAMBUCO
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PERNAMBUCO
instname_str UNIVERSIDADE FEDERAL DE PERNAMBUCO
dc.publisher.program.fl_str_mv CIÊNCIAS DA COMPUTAÇÃO
dc.description.course.none.fl_txt_mv CIÊNCIAS DA COMPUTAÇÃO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESPorting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.Linhas de produtos de software. Provadores de Teorema. Coq. PVS2020masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=10062907authorTHAYONARA DE PONTES ALVEShttp://lattes.cnpq.br/5584407561861248Leopoldo Motta Teixeirahttp://lattes.cnpq.br/2117651910340729https://orcid.org/0000000261541666UNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOCIÊNCIAS DA COMPUTAÇÃOCIÊNCIAS DA COMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv ALVES, THAYONARA DE PONTES. Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.. 2020. Tese.
dc.identifier.citation.fl_str_mv ALVES, THAYONARA DE PONTES. Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.. 2020. Tese.
_version_ 1741885179716173824

Registros relacionados