Oliveira, Marcel Vinicius MedeirosMedeiros Junior, Ivan Soares de2014-12-172012-12-272014-12-172012-04-27MEDEIROS JUNIOR, Ivan Soares de. Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução. 2012. 158 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2012.https://repositorio.ufrn.br/jspui/handle/123456789/18050application/pdfAcesso AbertoMétoso formaisCSPHandel-C, Ferramentas, Geração de códigoGeração automática de hardware apartir de especificações formais: estendendo uma abordagem de traduçãomasterThesisCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO