Invariantes De Loops
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. TECHNIQUES FOR THE USE OF HOARE LOGIC IN PCC / TÉCNICAS PARA O USO DO CÁLCULO DE HOARE EM PCC
Atualmente, a maioria dos programas para computadores é obtida através da WEB. Como muitas vezes a procedência são fontes desconhecidas, é preciso se certificar de que o código se comporta como o esperado. A solução ideal seria verificar o código contra uma especificação de políticas de segurança ,contudo, isso pode consumir muito tempo.Uma outr
Publicado em: 2003
-
2. NÃcleon, hÃperons e bÃrions pesados na frente de luz.
Nesta tese estudamos a estrutura do nÃcleon, hÃperons e bÃrions pesados no estado fundamental, com graus de liberdade efetivos de quarks constituintes. Para tal, utilizamos funÃÃes de onda definidas no hiper-plano do espaÃo-tempo (plano nulo). Generalizamos o modelo dinÃmico na frente de luz do nÃcleon, no qual a interaÃÃo entre os quarks constitui
Publicado em: 2002