Linguagens Para Dominios Especificos
Mostrando 1-5 de 5 artigos, teses e dissertações.
-
1. Descrição de documentos na internet e em eBooks
A Internete e os livros eletrônicos estão substituindo as editoras tradicionais. Enciclopédias, por exemplo, são publicadas principalmente na internete, já que esse tipo de mídia permite melhoramentos, cooperação e correções rápidas. Os leitores eletrônicos diminuíram o custo da publicação de livros e o consumo de recursos naturais (por exempl
Publicado em: 2011
-
2. Exploração de paralelismo ou em uma linguagem em lógica com restrições / OR parallelism exploitation in a constraint logic language
Este trabalho a dedicado ao estudo da exploração de paralelismo OU na programação em lógica com restrições em ambientes distribuídos. A programação em lógica, cuja linguagem mais significativa 6 Prolog, tem como premissa a utilização da lógica de predicados como linguagem computacional. A programação em lógica com restrições (CLP) é uma e
Publicado em: 2010
-
3. Motf : meta-objetos para tolerância a falhas / Moft-metaobjects for fault-tolerance
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 tolerância a falhas abrange uma serie de técnicas com funcionalidades e aplicabilidade bem definidas, permitindo que seja conside
Publicado em: 2009
-
4. Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística
Durante os últimos anos as áreas de pesquisa sobre Agentes Inteligentes, Sistemas Multiagentes e Comunicação entre Agentes têm contribuído com uma revolução na forma como sistemas inteligentes podem ser concebidos, fundamentados e construídos. Sendo assim, parece razoável supor que sistemas inteligentes que trabalhem com domínios probabilísticos
Publicado em: 2007
-
5. The application of mutation testing in the context of testing and validation of coloured Petri nets / Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"
The usage of formal methods and techniques contributes to the development of highly reliable system, but, in spite of the achieved rigour, these techniques must be complemented with testing and validation activities. It should be highlighted that the cost to eliminate errors found in the early phases of development is smaller than when those errors are found
Publicado em: 2004