Validating Transformations of Programs using the Alloy Analyzer

Detalhes bibliográficos
Autor(a) principal: TARCIANA DIAS DA SILVA
Data de Publicação: 2017
Tipo de documento: Tese
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=5781777
id BRCRIS_1d5da62fdc7ac978897e8f15b7a1bd01
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Validating Transformations of Programs using the Alloy Analyzer
title Validating Transformations of Programs using the Alloy Analyzer
spellingShingle Validating Transformations of Programs using the Alloy Analyzer
Java, Transformações de Programas, Alloy, Validação
Java, Program Transformation Specification, Alloy, Alloy Analyzer, Validation
TARCIANA DIAS DA SILVA
title_short Validating Transformations of Programs using the Alloy Analyzer
title_full Validating Transformations of Programs using the Alloy Analyzer
title_fullStr Validating Transformations of Programs using the Alloy Analyzer
Validating Transformations of Programs using the Alloy Analyzer
title_full_unstemmed Validating Transformations of Programs using the Alloy Analyzer
Validating Transformations of Programs using the Alloy Analyzer
title_sort Validating Transformations of Programs using the Alloy Analyzer
topic Java, Transformações de Programas, Alloy, Validação
Java, Program Transformation Specification, Alloy, Alloy Analyzer, Validation
publishDate 2017
format doctoralThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=5781777
author_role author
author TARCIANA DIAS DA SILVA
author_facet TARCIANA DIAS DA SILVA
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/6930023635739057
dc.contributor.advisor1.fl_str_mv AUGUSTO CESAR ALVES SAMPAIO
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 CAPESValidating Transformations of Programs using the Alloy AnalyzerValidating Transformations of Programs using the Alloy AnalyzerValidating Transformations of Programs using the Alloy AnalyzerValidating Transformations of Programs using the Alloy AnalyzerValidating Transformations of Programs using the Alloy AnalyzerValidating Transformations of Programs using the Alloy AnalyzerValidating Transformations of Programs using the Alloy AnalyzerJava, Transformações de Programas, Alloy, Validação2017doctoralThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=5781777authorTARCIANA DIAS DA SILVAhttp://lattes.cnpq.br/6930023635739057AUGUSTO CESAR ALVES SAMPAIOUNIVERSIDADE 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 SILVA, TARCIANA DIAS DA. Validating Transformations of Programs using the Alloy Analyzer. 2017. Tese.
dc.identifier.citation.fl_str_mv SILVA, TARCIANA DIAS DA. Validating Transformations of Programs using the Alloy Analyzer. 2017. Tese.
_version_ 1741886806981345280

Registros relacionados