BRITO, J. I. B.; http://lattes.cnpq.br/7015600172971804; BRITO, José Iuri Barbosa de.(BrasilCentro de Engenharia Elétrica e Informática - CEEIUFCGUniversidade Federal de Campina Grande, 2020)
The diversity of problems and complexities that involve the development of hardware
projects increasingly motivate research and methodologies to overcome challenges imposed
challenges. Thus, this work aims to develop a ...
SILVA, A. G. A.; http://lattes.cnpq.br/5139458529514489; SILVA, Anne Gabriele Arcanjo da.(BrasilCentro de Engenharia Elétrica e Informática - CEEIUFCGUniversidade Federal de Campina Grande, 2021-03-30)
This work aims to describe the process of construction, content validation, and semantic validation of a manual for the application of the Metric-Driven Verification (MDV) methodology for hardware verification. This is a ...
LINS, F. C.; http://lattes.cnpq.br/7430323963699149; LINS, Felipe Campos.(BrasilCentro de Engenharia Elétrica e Informática - CEEIUFCGUniversidade Federal de Campina Grande, 2016-10)
In this project was studied Test Driven Development technics targeting Real
Time Embedded Systems, where the time specification, for a external stimulus
response, must be fulfilled. After an approach of all the theoretical ...
