Constructive Extensibility of Trustworthy Component-based Systems

Detalhes bibliográficos
Autor(a) principal: JOSE DIHEGO DA SILVA OLIVEIRA
Data de Publicação: 2016
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=4655841
id BRCRIS_61c0509ec7586dae9de5c68c24548059
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Constructive Extensibility of Trustworthy Component-based Systems
title Constructive Extensibility of Trustworthy Component-based Systems
spellingShingle Constructive Extensibility of Trustworthy Component-based Systems
component refinement. correctness by construction. component-based aspect-oriented design. behavioural convergence. CSP
refinamento de componentes. correção por construção. design orientado a aspectos para modelos de componentes. convergência comportamental. CSP
JOSE DIHEGO DA SILVA OLIVEIRA
title_short Constructive Extensibility of Trustworthy Component-based Systems
title_full Constructive Extensibility of Trustworthy Component-based Systems
title_fullStr Constructive Extensibility of Trustworthy Component-based Systems
Constructive Extensibility of Trustworthy Component-based Systems
title_full_unstemmed Constructive Extensibility of Trustworthy Component-based Systems
Constructive Extensibility of Trustworthy Component-based Systems
title_sort Constructive Extensibility of Trustworthy Component-based Systems
topic component refinement. correctness by construction. component-based aspect-oriented design. behavioural convergence. CSP
refinamento de componentes. correção por construção. design orientado a aspectos para modelos de componentes. convergência comportamental. CSP
publishDate 2016
format doctoralThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=4655841
author_role author
author JOSE DIHEGO DA SILVA OLIVEIRA
author_facet JOSE DIHEGO DA SILVA OLIVEIRA
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/1085956076115293
dc.contributor.advisor1.fl_str_mv Augusto Cesar Alvez Sampaio
AUGUSTO CESAR ALVES SAMPAIO
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/3977760354511853
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/000000016593577X
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 CAPESConstructive Extensibility of Trustworthy Component-based SystemsConstructive Extensibility of Trustworthy Component-based SystemsConstructive Extensibility of Trustworthy Component-based SystemsConstructive Extensibility of Trustworthy Component-based SystemsConstructive Extensibility of Trustworthy Component-based SystemsConstructive Extensibility of Trustworthy Component-based SystemsConstructive Extensibility of Trustworthy Component-based Systemscomponent refinement. correctness by construction. component-based aspect-oriented design. behavioural convergence. CSP2016doctoralThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=4655841authorJOSE DIHEGO DA SILVA OLIVEIRAhttp://lattes.cnpq.br/1085956076115293Augusto Cesar Alvez Sampaiohttp://lattes.cnpq.br/3977760354511853https://orcid.org/000000016593577XUNIVERSIDADE 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 OLIVEIRA, JOSE DIHEGO DA SILVA. Constructive Extensibility of Trustworthy Component-based Systems. 2016. Tese.
dc.identifier.citation.fl_str_mv OLIVEIRA, JOSE DIHEGO DA SILVA. Constructive Extensibility of Trustworthy Component-based Systems. 2016. Tese.
_version_ 1741889929771745280

Registros relacionados