Refinement Calculus
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. Especificação de sistemas utilizando lógica linear com subexponencias
Logic programming is defined as the use of logic formulas representing programs and proof search of these formulas as the execution of the program (computation). This is an interesting paradigm because of the specifications formality, which is inherited from the logic itself and facilitates the proof of some properties that would not be so obvious if the pro
Publicado em: 2010
-
2. Método dos elementos finitos e técnicas de enriquecimento da aproximação aplicados à análise de tubos cilíndricos e cascas esféricas / Finite Element Method and techniques of enrichment of approximation applied to the analysis of cylindrical tubes and spherical shells
It is known that the Finite Element Method in its conventional form is a powerful technique in the modern structural calculus. However, if the problem has singularities, as boundary effects typically introduced by the support into shell structures, the analysis may demand high refinement of the mesh. In order to resolve this type of problem more efficiently,
Publicado em: 2005
-
3. 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