Verificação de programas C++ baseados no framework crossplataforma Qt
O desenvolvimento de software para sistemas embarcados tem crescido rapidamente, o que na maioria das vezes acarreta em um aumento da complexidade associada a esse tipo de projeto. Como consequência, as empresas de eletrônica de consumo costumam investir recursos em mecanismos de verificação rápi...
| Autor principal: | Garcia, Mário Angel Praia |
|---|---|
| Outros Autores: | http://lattes.cnpq.br/4530652865344771 |
| Grau: | Dissertação |
| Idioma: | por |
| Publicado em: |
Universidade Federal do Amazonas
2017
|
| Assuntos: | |
| Acesso em linha: |
http://tede.ufam.edu.br/handle/tede/5492 |