Inconsistências em regras de negócio: um método para identificação automatizada usando Alloy

Detalhes bibliográficos
Autor(a) principal: DENILSON DOS SANTOS GUIMARAES
Data de Publicação: 2015
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=3321373
id BRCRIS_fef2e5886387aedb303d8f98bbe6ea8a
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Inconsistências em regras de negócio: um método para identificação automatizada usando Alloy
title Inconsistências em regras de negócio: um método para identificação automatizada usando Alloy
spellingShingle Inconsistências em regras de negócio: um método para identificação automatizada usando Alloy
Regras de Negócio. Alloy. Inconsistências
DENILSON DOS SANTOS GUIMARAES
title_short Inconsistências em regras de negócio: um método para identificação automatizada usando Alloy
title_full Inconsistências em regras de negócio: um método para identificação automatizada usando Alloy
title_fullStr Inconsistências em regras de negócio: um método para identificação automatizada usando Alloy
Inconsistências em regras de negócio: um método para identificação automatizada usando Alloy
title_full_unstemmed Inconsistências em regras de negócio: um método para identificação automatizada usando Alloy
Inconsistências em regras de negócio: um método para identificação automatizada usando Alloy
title_sort Inconsistências em regras de negócio: um método para identificação automatizada usando Alloy
topic Regras de Negócio. Alloy. Inconsistências
publishDate 2015
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=3321373
author_role author
author DENILSON DOS SANTOS GUIMARAES
author_facet DENILSON DOS SANTOS GUIMARAES
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/2613038622120914
dc.contributor.advisor1.fl_str_mv Eber Assis Schmitz
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/0369165171803086
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000-0002-4839-4606
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO DE JANEIRO
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO DE JANEIRO
instname_str UNIVERSIDADE FEDERAL DO RIO DE JANEIRO
dc.publisher.program.fl_str_mv INFORMÁTICA
dc.description.course.none.fl_txt_mv INFORMÁTICA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESInconsistências em regras de negócio: um método para identificação automatizada usando AlloyInconsistências em regras de negócio: um método para identificação automatizada usando AlloyInconsistências em regras de negócio: um método para identificação automatizada usando AlloyInconsistências em regras de negócio: um método para identificação automatizada usando AlloyInconsistências em regras de negócio: um método para identificação automatizada usando AlloyInconsistências em regras de negócio: um método para identificação automatizada usando AlloyInconsistências em regras de negócio: um método para identificação automatizada usando AlloyRegras de Negócio. Alloy. Inconsistências2015masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=3321373authorDENILSON DOS SANTOS GUIMARAEShttp://lattes.cnpq.br/2613038622120914Eber Assis Schmitzhttp://lattes.cnpq.br/0369165171803086https://orcid.org/0000-0002-4839-4606UNIVERSIDADE FEDERAL DO RIO DE JANEIROUNIVERSIDADE FEDERAL DO RIO DE JANEIROUNIVERSIDADE FEDERAL DO RIO DE JANEIROINFORMÁTICAINFORMÁTICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv GUIMARAES, DENILSON DOS SANTOS. Inconsistências em regras de negócio: um método para identificação automatizada usando Alloy. 2015. Tese.
dc.identifier.citation.fl_str_mv GUIMARAES, DENILSON DOS SANTOS. Inconsistências em regras de negócio: um método para identificação automatizada usando Alloy. 2015. Tese.
_version_ 1741885979113816064