Author Search Results

1

Validação de padrões de web services transacionais

by Paulo Roberto de Araújo França Nunes
Published 2011

Other Authors: “...Ana Cristina Vieira de Melo...”

Get full text

2

Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas

by Simone Hanazumi
Published 2010

Other Authors: “...Ana Cristina Vieira de Melo...”

Get full text

3

Geração parcial de código Java a partir de especificações formais Z.

by Alvaro Heiji Miyazawa
Published 2008

Other Authors: “...Ana Cristina Vieira de Melo...”

Get full text

4

Teste e verificação formal do comportamento excepcional de programas Java

by Alexandre Locci Martins
Published 2014

Other Authors: “...Ana Cristina Vieira de Melo...”

Get full text

5

Geração de propriedades sobre programas Java a partir de objetivos de teste

by Simone Hanazumi
Published 2015

Other Authors: “...Ana Cristina Vieira de Melo...”

Get full text

6

Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas

by David Paulo Pereira
Published 2007

Other Authors: “...Ana Cristina Vieira de Melo...”

Get full text

7

Classificação semi-automática de componentes Java

by Claudia de Oliveira Melo
Published 2006

Other Authors: “...Ana Cristina Vieira de Melo...”

Get full text

8

Verification of behaviourist multi-agent systems by means of formally guided simulations

by Paulo Salem da Silva
Published 2011

Other Authors: “...Ana Cristina Vieira de Melo...”

Get full text

9

Um método para a implementação de regras de negócio à partir da semântica SBVR

by Jandisson Soares de Jesus
Published 2013

Other Authors: “...Ana Cristina Vieira de Melo...”

Get full text

10

Ambiente de testes utilizando verificação de componentes java com tratamento de exceções

by Kleber da Silva Xavier
Published 2008

Other Authors: “...Ana Cristina Vieira de Melo...”

Get full text