Publications

2015

2014

2012

2010

  • Neto, Plácido A. Souza ; MUSICANTE, Martin A. ; VARGAS-SOLAR, G. ; Zechinelli-Martini, J. L. . Adding Contracts to a Web Service Composition Language. In: Workshop on Languages and Tools for Multithreaded, Parallel and Distributed Programming, 2010, Salvador. 4th Workshop on Languages and Tools for Multithreaded, Parallel and Distributed Programming, 2010.

2009

    2008

    • COSTA, Umberto S. ; MOREIRA, Anamaria M. ; MUSICANTE, Martin A. ; SOUZA NETO, P. A. . Specification and Runtime Verification of Java Card Program. In: Brazilian Symposium on Formal Methods, 2008, Salvador. XI Brazilian Symposium on Formal Methods, 2008.

    2006

    • SOUZA NETO, P. A. ; SILVA, L. M ; PONTES, B. P . DEFINIÇÃO DE COMPONENTES ARQUITETURAIS REUTILIZÁVEIS: UM ESTUDO DE CASO NA UTILIZAÇÃO DE PADRÕES DE PROJETOS ARQUITETURAIS NO DESENVOLVIMENTO DE SISTEMAS PARA AMBIENTES COOPORATIVOS. In: I Congresso de Pesquisa e Inovação da Rede Norte Nordeste de Educação Tecnológica, 2006, Natal. I Congresso de Pesquisa e Inovação da Rede Norte Nordeste de Educação Tecnológica, 2006.
    • SOUZA NETO, P. A. ; FILGUEIRA, J. M. . KFM KNOWLEDGE FLOW MODEL: UM MODELO PARA GERÊNCIA DE CONHECIMENTO EM PROJETOS DE DESENVOLVIMENTO DE SOFTWARE. In: I Congresso de Pesquisa e Inovação da Rede Norte Nordeste de Educação Tcnológica, 2006, Natal. I Congresso de Pesquisa e Inovação da Rede Norte Nordeste de Educação Tcnológica, 2006.

    2005

    • SOUZA NETO, P. A. ; VALENTIM, Ricardo Alexandro Medeiros . O IMPACTO DA UTILIZAÇÃO DE DESIGN PATTERNS NAS MÉTRICAS E ESTIMATIVAS DE PROJETOS DE SOFTWARE:. Revista da Farn, p. 63 - 74, 15 jan. 2005.

    Nenhum comentário:

    Postar um comentário