Taticas De Refinamento
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Estendendo CRefine para o suporte de táticas de refinamento
A utilização de aplicações de software cada vez mais complexas está exigindo um maior investimento no desenvolvimento de sistemas, garantindo uma melhor qualidade das aplicações. Diante desse contexto, novas técnicas estão sendo utilizadas na área de Engenharia de Software, tornado o processo de desenvolvimento mais eficaz. Destacam- se, co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/10/2011
-
2. ArcAngel: a Tactic Language For Refinement and its Tool Support / ArcAngel: a Tactic Language For Refinement and its Tool Support
O cÃlculo de refinamentos à uma tÃcnica moderna para o desenvolvimento e implementaÃÃo de programas de uma maneira precisa, completa e consistente. A partir de uma especificaÃÃo formal, nÃs produzimos um programa que implementa corretamente a especificaÃÃo atravÃs de repetidas aplicaÃÃes de regras de transformaÃÃo, tambÃm chamadas de leis de
Publicado em: 2002