BTestBox: uma ferramenta de teste para implementações B

BTestBox: uma ferramenta de teste para implementações B

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-07-02T18:48:21Z No. of bitstreams: 1 DiegoDeAzevedoOliveira_DISSERT.pdf: 1039192 bytes, checksum: a387d372d3c8da2d66010f294542538a (MD5) === Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 201...

Full description

Bibliographic Details
Main Author: Oliveira, Diego de Azevedo
Other Authors: 00809085437
Language:Portuguese
Published: PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO 2018
Subjects:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Método B
Teste de software
Ferramenta
Atelier-B
Cobertura de código
Online Access:https://repositorio.ufrn.br/jspui/handle/123456789/25489

Internet

https://repositorio.ufrn.br/jspui/handle/123456789/25489

Similar Items