Proof Carrying Code
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Dimensões e linguagens do design gráfico: seleção, organização e sobreposição das mensagens verbais e visuais veiculadas no espaço urbano
The present work has as objective investigates the syntaxes of the languages of the graphic design in the urban ambient. For so much we selected of the multiplicity of signs of the city, an Advertising that it was used of billboards and urban furnitures to dialogue with the city. Our main hypothesis was the that: the external visual messages conserve the mem
Publicado em: 2007
-
2. 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