Navegação Computação por Autor "Azeredo, Paulo Alberto de"
Resultados 1-8 de 8
-
Especificação de um sistema de suporte a implementação de linguagens
Rodrigues, Celso Luiz Lopes (1987) [Dissertação]Neste trabalho é descrita a organização de SINSEM, um sistema de processamento automático de especificação SINtático-SEMânticas de linguagens de programação. É colocada a motivação para um tal sistema, em relação ao uso ... -
Gramática transformacional com atributos
Zorzo, Avelino Francisco (1994) [Dissertação]A transformação entre linguagens, ou entre diferentes formatos de uma mesma linguagem, é um assunto que desperta interesse há vários anos e desta forma alguns trabalhos tem surgido para tentar automatizar o processo de ... -
Implementação de um compilador para software numérico
Garcia Lopez, Javier (1987) [Dissertação]Este trabalho apresenta proposta e implementação de uma linguagem de programação orientada para usuárias de aplicações técnicas e matemáticas. São discutidas as características da linguagem desde o ponto de vista da ... -
Motf : meta-objetos para tolerância a falhas
Lisboa, Maria Lucia Blanck (1995) [Tese]As técnicas de programação e os mecanismos de linguagens de programação destinados ao desenvolvimento de aplicações de alta confiabilidade são agrupadas sob a denominação de tolerância a falhas em software. A área de ... -
Programação em lógica, Montague e regras livres de contexto : teoria formalizada em lógica de um processador para a língua portuguesa
Mosca, Paulo Roberto Ferrari (1988) [Dissertação]Esse trabalho assume que nâo existe uma diferença teórica importante entre as linguagens formais e as linguagens naturais. Uma teoria formalizada em lógica para um processador para a língua portuguesa é apresentada. A ... -
Programação funcional usando Java
Zavaleta Gavidia, Jorge Juan (1997) [Dissertação]Desde a introdução da World Wide Web para o mundo nos inícios de 1990, usando a Internet como uma rede para transferir dados, empregando uma forma de expressão chamada de Hipertexto, a qual liga as informações relacionadas ... -
Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento
Passerino, Liliana Maria (1992) [Dissertação]A noção de tipo é intrínseca ao raciocínio humano, na medida que os seres humanos tendem a "classificar" os objetos segundo seu use e seu comportamento como parte do processo de resolução de problemas. Tal classificação ... -
Tolerância a falhas e reflexão computacional num ambiente distribuído
Pavan, Willingthon (2000) [Dissertação]O modelo de objetos apresenta-se como um modelo promissor para o desenvolvimento de software tolerante a falhas em virtude de características inerentes ao próprio modelo de objetos, tais como abstração de dados, encapsulamento, ...