Verificação de código SQL via verificação de modelos

Detalhes bibliográficos
Ano de defesa: 2011
Autor(a) principal: Diana, Rodrigo Rezende Marinho
Outros Autores: Song, Mark Alan Junho, 2011-08-12
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa:
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Banco de dados -
SQL (Linguagem de programação de computador) -
Métodos formais (Computação) -
Banco de dados relacionais -
Engenharia de software
Link de acesso: http://bib.pucminas.br/teses/Informatica_DianaRRM_1.pdf
id PUC_MINS_416a430201d49eb9004622ad7e70ee72
oai_identifier_str oai:/ibict:perga-oai/415422
network_acronym_str PUC_MINS
network_name_str Biblioteca Digital de Teses e Dissertações da PUC_MG
repository_id_str
spelling Verificação de código SQL via verificação de modelosBanco de dados -SQL (Linguagem de programação de computador) -Métodos formais (Computação) -Banco de dados relacionais -Engenharia de software2011-08-12info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesishttp://bib.pucminas.br/teses/Informatica_DianaRRM_1.pdfporhttp://bib.pucminas.br/teses/Informatica_DianaRRM_1.pdfinfo:eu-repo/semantics/openAccessDiana, Rodrigo Rezende MarinhoSong, Mark Alan Junho2011-08-12reponame:Biblioteca Digital de Teses e Dissertações da PUC_MGinstname:Pontifícia Universidade Católica de Minas Gerais (PUC Minas)instacron:PUC_MINS2024-01-08T16:22:36Zoai:/ibict:perga-oai/415422Biblioteca Digital de Teses e Dissertaçõeshttps://web.sistemas.pucminas.br/BDP/PUC%20MinasPRIhttp://bib.pucminas.br/pergamum/oai/oai2.phpbib@pucminas.br||bibpt@pucminas.bropendoar:2024-01-08T16:22:36Biblioteca Digital de Teses e Dissertações da PUC_MG - Pontifícia Universidade Católica de Minas Gerais (PUC Minas)false
dc.title.none.fl_str_mv Verificação de código SQL via verificação de modelos
title Verificação de código SQL via verificação de modelos
spellingShingle Verificação de código SQL via verificação de modelos
Diana, Rodrigo Rezende Marinho
Banco de dados -
SQL (Linguagem de programação de computador) -
Métodos formais (Computação) -
Banco de dados relacionais -
Engenharia de software
title_short Verificação de código SQL via verificação de modelos
title_full Verificação de código SQL via verificação de modelos
title_fullStr Verificação de código SQL via verificação de modelos
title_full_unstemmed Verificação de código SQL via verificação de modelos
title_sort Verificação de código SQL via verificação de modelos
author Diana, Rodrigo Rezende Marinho
author_facet Diana, Rodrigo Rezende Marinho
Song, Mark Alan Junho
2011-08-12
author_role author
author2 Song, Mark Alan Junho
2011-08-12
author2_role author
author
dc.contributor.author.fl_str_mv Diana, Rodrigo Rezende Marinho
Song, Mark Alan Junho
2011-08-12
dc.subject.por.fl_str_mv Banco de dados -
SQL (Linguagem de programação de computador) -
Métodos formais (Computação) -
Banco de dados relacionais -
Engenharia de software
topic Banco de dados -
SQL (Linguagem de programação de computador) -
Métodos formais (Computação) -
Banco de dados relacionais -
Engenharia de software
publishDate 2011
dc.date.none.fl_str_mv 2011-08-12
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://bib.pucminas.br/teses/Informatica_DianaRRM_1.pdf
url http://bib.pucminas.br/teses/Informatica_DianaRRM_1.pdf
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv http://bib.pucminas.br/teses/Informatica_DianaRRM_1.pdf
dc.rights.none.fl_str_mv
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv
publisher.none.fl_str_mv
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da PUC_MG
instname:Pontifícia Universidade Católica de Minas Gerais (PUC Minas)
instacron:PUC_MINS
instname_str Pontifícia Universidade Católica de Minas Gerais (PUC Minas)
instacron_str PUC_MINS
institution PUC_MINS
reponame_str Biblioteca Digital de Teses e Dissertações da PUC_MG
collection Biblioteca Digital de Teses e Dissertações da PUC_MG
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da PUC_MG - Pontifícia Universidade Católica de Minas Gerais (PUC Minas)
repository.mail.fl_str_mv bib@pucminas.br||bibpt@pucminas.br
_version_ 1853505093563842560

Registros relacionados