Semantica De Linguagem De Programaaao
Mostrando 1-9 de 9 artigos, teses e dissertações.
-
1. Acesso a Dados a partir de Ontologias Utilizando Mapeamentos HeterogÃneos e ProgramaÃÃo em LÃgica
Em vÃrias Ãreas, tais como IntegraÃÃo de Dados e Web SemÃntica, ontologias tÃm sido adotadas para descrever formalmente a semÃntica das fontes de dados, com o intuito de facilitar a descoberta e a recuperaÃÃo de informaÃÃes. Dentro desse contexto, o Acesso a Dados Baseado em Ontologias (Ontology-Based Data Access - OBDA) Ã um problema decorrente
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/11/2010
-
2. 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
-
3. Mapeamento UML-RT para p-calculus.
A UML (Unified Modeling Language) Ã uma linguagem de modelagem para especificar, construir e documentar artefatos de sistemas de software. A UML-RT, usada pela ferramenta Rational Rose RealTime (RoseRT), Ã uma extensÃo da UML que permite a modelagem de sistemas de tempo real distribuÃdos e guiados por evento. A UML-RT nÃo possui semÃntica formal, logo
Publicado em: 2006
-
4. A framework for the specification and validation of Real Time Systems using Circus Action / A framework for the specification and validation of Real Time Systems using Circus Action
Circus à uma linguagem de especificaÃÃo e programaÃÃo que combina CSP, Z, e construtores do CÃlculo de Refinamento. A semÃntica de Circus està baseada na Unifying Theories of Programming (UTP). Neste trabalho estendemos um subconjunto de Circus com operadores de tempo. A nova linguagem à denominada de Circus Time Action. Propomos um modelo novo do t
Publicado em: 2006
-
5. An algebraic approach to the design of compilers for object-oriented languages
Neste trabalho discutimos o projeto de compiladores corretos por construÃÃo para linguagens orientadas a objeto. Um compilador correto à aquele que garante que a semÃntica à preservada quando o programa fonte à traduzido para a linguagem destino. O projeto de compiladores corretos para linguagens imperativas se encontra bem fundamentado; atualmente, o
Publicado em: 2005
-
6. Uma linguagem para modelagem de processos baseada em semÃntica de aÃÃes
Modelos de processos de negÃcio sÃo criados para descrever, em uma linguagem de fÃcil acesso, como os processos de uma organizaÃÃo sÃo realizados. Para isso, o processo à visto como uma coleÃÃo de atividades que interagem para a realizaÃÃo do objetivo final do processo. Para facilitar o entendimento e a anÃlise de processos deste tipo, a modelage
Publicado em: 2005
-
7. Refactoring as formal refinements / Refactoring as formal refinements
A reestruturaÂc~ao de programas no contexto da orientaÂc~ao a objeto Âe tambÂem conhecida como refactoring e consiste em mudanÂcas na estrutura interna de um software, sem modiÂcar seu com- portamento externo, a Âm de melhorar sua legibilidade e tornÂa-lo mais fÂacil de passar por futuras mudanÂcas. Na prÂatica, refactoring baseia-se em compilaÂc
Publicado em: 2004
-
8. Uma biblioteca de componentes semÃnticos para especificaÃÃo de linguagens de programaÃÃo
SemÃntica de aÃÃes, um formalismo para especificaÃÃo de linguagens de programaÃÃo, define um conjunto padrÃo de operadores que descrevem conceitos comuns encontrados em linguagens de programaÃÃo. Estes operadores facilitam a especificaÃÃo de linguagens de programaÃÃo porque eles liberam o projetista de linguagens da manipulaÃÃo de definiÃÃe
Publicado em: 2003
-
9. InduÃÃo de programas lÃgicos orientados a objetos
Em muitas de suas aplicaÃÃes prÃticas â tais como Processamento de Linguagem Natural(PLN), CASE, sistemas especialistas em domÃnios complexos, ontologias de Web semÃntica e Descoberta de conhecimento em banco de dados(KDD) - ProgramaÃÃo em LÃgica Indutiva(PLI) nÃo à usada para substituir, mas para complementar aquisiÃÃo de conhecimento manual. U
Publicado em: 2003