Geração automática de hardware a partir de especificações formais : estendendo uma abordagem de tradução /
Resumo: A remoção de inconsistências em um projeto é menos custosa quando realizada nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistê...
Na minha lista:
Principais autores: | Medeiros Júnior, Ivan Soares de., Oliveira, Marcel Vinicius Medeiros., Universidade Federal do Rio Grande do Norte. |
---|---|
Formato: | Dissertação |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/bitstream/123456789/18052/1/IvanSMJ_DISSERT.pdf |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução
por: Medeiros Junior, Ivan Soares de
Publicado em: (2014) -
Joker : um framework de animação para especificações formais/
por: Souza, Diego Henrique Oliveira de., et al.
Publicado em: (2022) -
Estendendo CRefine para o suporte de táticas de refinamento /
por: Conserva Filho, Madiel de Sousa., et al.
Publicado em: (2022) -
Geração automática de testes a partir de descrições de linguagens /
por: Antunes, Cleverton Hentz., et al.
Publicado em: (2022) -
JCircus 2.0 : uma extensão da ferramenta de tradução de Circus para Java /
por: Barrocas, Samuel Lincoln Magalhães., et al.
Publicado em: (2022)