BVM: Reformulação da metodologia de verificação funcional VeriSC.
Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-27T17:42:49Z No. of bitstreams: 1 HELDER FERNANDO DE ARAUJO OLIVEIRA - DISSERTAÇÃO PPGCC 2010..pdf: 2110687 bytes, checksum: 5d2a2c0f6c5039c3f21dd8219d20f122 (MD5) === Made available in DSpace on 2018-08-27T17:42:49Z (GMT). No. o...
Main Author: | OLIVEIRA, Herder Fernando de Araújo. |
---|---|
Other Authors: | MELCHER, Elmar Uwe Kurt. |
Language: | Portuguese |
Published: |
Universidade Federal de Campina Grande
2010
|
Subjects: | |
Online Access: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1559 |
Similar Items
-
IVM: uma metodologia de verificação funcional interoperável, iterativa e incremental
by: Prado, Bruno Otávio Piedade
Published: (2016) -
DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC.
by: ROCHA, Ana Karina de Oliveira.
Published: (2008) -
Ferramenta CAD para extração de modelo de cobertura de saída por itens em verificação funcional.
by: Joel Iván Muñoz Quispe
Published: (2011) -
Ferramenta CAD para extração de modelo de cobertura de saída por itens em verificação funcional.
by: Muñoz Quispe, Joel Iván
Published: (2011) -
Vericação funcional de sistemas digitais utilizando algoritmos genéticos na geração de dados aplicada a metodologia veriSC
by: Franco, Ricardo Augusto Pereira
Published: (2015)