Implementing JML Contracts with AspectJ
Autor(a) principal: | |
---|---|
Data de Publicação: | 2008 |
Tipo de documento: | Dissertação |
Título da fonte: | Portal de Dados Abertos da CAPES |
id |
BRCRIS_8ca7b9def13c39b67636820cd4fd3665 |
---|---|
network_acronym_str |
CAPES |
network_name_str |
Portal de Dados Abertos da CAPES |
dc.title.pt-BR.fl_str_mv |
Implementing JML Contracts with AspectJ |
title |
Implementing JML Contracts with AspectJ |
spellingShingle |
Implementing JML Contracts with AspectJ HENRIQUE EMANUEL MOSTAERT REBELO |
title_short |
Implementing JML Contracts with AspectJ |
title_full |
Implementing JML Contracts with AspectJ |
title_fullStr |
Implementing JML Contracts with AspectJ Implementing JML Contracts with AspectJ |
title_full_unstemmed |
Implementing JML Contracts with AspectJ Implementing JML Contracts with AspectJ |
title_sort |
Implementing JML Contracts with AspectJ |
publishDate |
2008 |
format |
masterThesis |
author_role |
author |
author |
HENRIQUE EMANUEL MOSTAERT REBELO |
author_facet |
HENRIQUE EMANUEL MOSTAERT REBELO |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/2340616806258461 |
dc.contributor.advisor1.fl_str_mv |
RICARDO MASSA FERREIRA LIMA |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/0033981436042117 |
dc.publisher.none.fl_str_mv |
FUNDAÇÃO UNIVERSIDADE DE PERNAMBUCO |
publisher.none.fl_str_mv |
FUNDAÇÃO UNIVERSIDADE DE PERNAMBUCO |
instname_str |
FUNDAÇÃO UNIVERSIDADE DE PERNAMBUCO |
reponame_str |
Portal de Dados Abertos da CAPES |
collection |
Portal de Dados Abertos da CAPES |
spelling |
CAPESPortal de Dados Abertos da CAPESImplementing JML Contracts with AspectJImplementing JML Contracts with AspectJImplementing JML Contracts with AspectJImplementing JML Contracts with AspectJImplementing JML Contracts with AspectJImplementing JML Contracts with AspectJImplementing JML Contracts with AspectJ2008masterThesisauthorHENRIQUE EMANUEL MOSTAERT REBELOhttp://lattes.cnpq.br/2340616806258461RICARDO MASSA FERREIRA LIMAhttp://lattes.cnpq.br/0033981436042117FUNDAÇÃO UNIVERSIDADE DE PERNAMBUCOFUNDAÇÃO UNIVERSIDADE DE PERNAMBUCOFUNDAÇÃO UNIVERSIDADE DE PERNAMBUCOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
identifier_str_mv |
REBELO, HENRIQUE EMANUEL MOSTAERT. Implementing JML Contracts with AspectJ. 2008. Tese. |
dc.identifier.citation.fl_str_mv |
REBELO, HENRIQUE EMANUEL MOSTAERT. Implementing JML Contracts with AspectJ. 2008. Tese. |
_version_ |
1741890306295463936 |