Formal modelling of test environments from natural-language requirements
Autor(a) principal: | |
---|---|
Data de Publicação: | 2017 |
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=5183530 |
id |
BRCRIS_413f52b295b23af2513c1e90fcf8a58c |
---|---|
network_acronym_str |
CAPES |
network_name_str |
Portal de Dados Abertos da CAPES |
dc.title.pt-BR.fl_str_mv |
Formal modelling of test environments from natural-language requirements |
title |
Formal modelling of test environments from natural-language requirements |
spellingShingle |
Formal modelling of test environments from natural-language requirements geração de casos de teste test case generation TAINA MARIA DOS SANTOS |
title_short |
Formal modelling of test environments from natural-language requirements |
title_full |
Formal modelling of test environments from natural-language requirements |
title_fullStr |
Formal modelling of test environments from natural-language requirements Formal modelling of test environments from natural-language requirements |
title_full_unstemmed |
Formal modelling of test environments from natural-language requirements Formal modelling of test environments from natural-language requirements |
title_sort |
Formal modelling of test environments from natural-language requirements |
topic |
geração de casos de teste test case generation |
publishDate |
2017 |
format |
masterThesis |
url |
https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=5183530 |
author_role |
author |
author |
TAINA MARIA DOS SANTOS |
author_facet |
TAINA MARIA DOS SANTOS |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/5134730233763007 |
dc.contributor.advisor1.fl_str_mv |
GUSTAVO HENRIQUE PORTO DE CARVALHO Gustavo Henrique Porto de Carvalho |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/9603136866152813 |
dc.contributor.advisor1orcid.por.fl_str_mv |
https://orcid.org/0000-0002-3700-9709 |
dc.publisher.none.fl_str_mv |
UNIVERSIDADE DE PERNAMBUCO |
publisher.none.fl_str_mv |
UNIVERSIDADE DE PERNAMBUCO |
instname_str |
UNIVERSIDADE DE PERNAMBUCO |
dc.publisher.program.fl_str_mv |
ENGENHARIA DA COMPUTAÇÃO |
dc.description.course.none.fl_txt_mv |
ENGENHARIA DA COMPUTAÇÃO |
reponame_str |
Portal de Dados Abertos da CAPES |
collection |
Portal de Dados Abertos da CAPES |
spelling |
CAPESPortal de Dados Abertos da CAPESFormal modelling of test environments from natural-language requirementsFormal modelling of test environments from natural-language requirementsFormal modelling of test environments from natural-language requirementsFormal modelling of test environments from natural-language requirementsFormal modelling of test environments from natural-language requirementsFormal modelling of test environments from natural-language requirementsFormal modelling of test environments from natural-language requirementsgeração de casos de teste2017masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=5183530authorTAINA MARIA DOS SANTOShttp://lattes.cnpq.br/5134730233763007GUSTAVO HENRIQUE PORTO DE CARVALHOhttp://lattes.cnpq.br/9603136866152813https://orcid.org/0000-0002-3700-9709UNIVERSIDADE DE PERNAMBUCOUNIVERSIDADE DE PERNAMBUCOUNIVERSIDADE DE PERNAMBUCOENGENHARIA DA COMPUTAÇÃOENGENHARIA DA COMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
identifier_str_mv |
SANTOS, TAINA MARIA DOS. Formal modelling of test environments from natural-language requirements. 2017. Tese. |
dc.identifier.citation.fl_str_mv |
SANTOS, TAINA MARIA DOS. Formal modelling of test environments from natural-language requirements. 2017. Tese. |
_version_ |
1741888347639382016 |