Linguagens Formais Semantica
Mostrando 1-12 de 16 artigos, teses e dissertações.
-
1. Estendendo CRefine para o suporte de táticas de refinamento
A utilização de aplicações de software cada vez mais complexas está exigindo um maior investimento no desenvolvimento de sistemas, garantindo uma melhor qualidade das aplicações. Diante desse contexto, novas técnicas estão sendo utilizadas na área de Engenharia de Software, tornado o processo de desenvolvimento mais eficaz. Destacam- se, co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/10/2011
-
2. Uma nova abordagem para a noção de quase-verdade / A new approach to the concept of quase-truth
Newton da Costa and his collaborators have introduced the notion of quasi-truth by means of partial structures, and for this purpose, they conceived the predicates as ordered triples: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively (the latter represents lack of information). This approach provides a con
Publicado em: 2011
-
3. Larch : uma alternativa para especificação formal
Pesquisas recentes na área de especificação são enfáticas no use pratico de especificações formais no projeto de programas. Uma maneira de satisfazer isto, e providenciando linguagens de especificação que sejam acessíveis simultaneamente a projetistas, a especificadores e a programadores. A abordagem Larch esta orientada a especificação de módul
Publicado em: 2010
-
4. Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento / A type sistems for a knowledge structured representation language
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 dos objetos implica numa abstração das características irrelevantes dos mesmos,permitindo dessa maneira uma simplificação impo
Publicado em: 2010
-
5. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
6. Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo
O presente trabalho tem por objetivo investigar o papel da negação no âmbito das modalidades, de forma a poder esclarecer até que ponto a negação pode ser atenuada, controlada ou mesmo totalmente eliminada em favor da melhor expressabilidade lógica de certas teorias, asserções ou raciocínios que sofrem os efeitos da negação. Contudo, atenuar ou e
Publicado em: 2009
-
7. Concetivos flexiveis : uma abordagem categorial as semanticas de traduções possives
We present a general study of a new formalism of decomposition of logics, the Possible- Translations Coverings (in short PTC s) which constitute a formal version of Possible-Translations Semantics, introduced by W. Carnielli in 1990. We show how the adoption of a more general notion of propositional signatures morphism allows us to define a category Sigω
Publicado em: 2008
-
8. Elementos para a construção de uma cadeia de verificação para o projeto TopCased
Analisando a história dos sistemas embarcados, podemos dividi-la em dois momentos. Em um primeiro momento, a origem dos problemas destes sistemas provinha, na grande maioria dos casos, da parte física chamada hardware. A partir dos anos 60, graças à chegada dos circuitos integrados, desenvolvidos para o Programa Espacial Americano, a parte física dos si
Publicado em: 2008
-
9. MODELOG : model-oriented development with executable logical object generation
UML (Unified Modeling Language) transpÃs sua proposta inicial de servir como notaÃÃo visual para construir rascunhos de modelos de alto nÃvel para software orientado a objetos. Uma sÃrie de extensÃes para a linguagem e o escopo de suas aplicaÃÃes foram propostas com forte sinergia entre si, tais como OCL, XMI, ASL, MOF, perfis UML e diferentes propos
Publicado em: 2007
-
10. FINALIZADORES E REFERÊNCIAS FRACAS: INTERAGINDO COM O COLETOR DE LIXO / FINALIZERS AND WEAK REFERENCES: INTERFACING WITH THE GARBAGE COLLECTOR
Most mainstream programming languages support finalizers and weak references. In spite of that, these abstractions are still modestly known by programmers in general. Even among language designers there seems to be no common view on how to define their semantics, and language implementations certainly reflect that. In this thesis we explore the concepts of f
Publicado em: 2005
-
11. Engenharia da mente: uma metodologia de representação do conhecimento para construção de ontologias em sistemas baseados em conhecimento
Na era da informação digitalizada, pesquisadores de diferentes áreas do conhecimento enfrentam uma nova questão: a organização semântica dos dados. A matéria tornou-se importante pelo fato das informações digitalmente disponíveis estarem dispostas, em sua maioria, como dados não-estruturados. Todavia, sabe-se que a estruturação de dados é um p
Publicado em: 2005
-
12. Semantica algebrica de traduções possiveis
ormado
Publicado em: 2004