Estendendo CRefine para o suporte de táticas de refinamento
The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new a...
Na minha lista:
Autor principal: | Conserva Filho, Madiel de Souza |
---|---|
Outros Autores: | Oliveira, Marcel Vinicius Medeiros |
Formato: | Dissertação |
Idioma: | por |
Publicado em: |
Universidade Federal do Rio Grande do Norte
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/18037 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Estendendo CRefine para o suporte de táticas de refinamento /
por: Conserva Filho, Madiel de Sousa., 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
Publicado em: (2014) -
A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
por: Barrocas, Samuel Lincoln Magalhães
Publicado em: (2018) -
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) -
Formal specification of the ARINC 653 architecture using Circus/
por: Gomes, Artur Oliveira., et al.
Publicado em: (2022)