4 resultados para Linguagem formais - Semântica

em Infoteca EMBRAPA


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Web x Web semântica. Representação do conhecimento. Ontologia. Agentes inteligentes. Metadados. Arquitetura de descrição de recursos. Tipos de linguagens a para construção da Web semãntica.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Para muitos usuários, a programação visual é uma alternativa atrativa às linguagens de programação textuais. Uma das razões para esta atração é que a representação visual de um problema está muito mais próxima com a forma pela qual a solução é obtida ou entendida se comparada à representação textual. Este trabalho apresenta um modelo para a programação visual de matrizes baseado nos paradigmas de fluxo de dados e planilhas eletrônicas. O fluxo de dados e a planilha forma a base semântica da linguagem, enquanto as representações gráficas do grafo direcionado e de uma planilha fundamentam sua base sintática. Este modelo consiste em um conjunto de diagramas bidimensionais e de regras de transformação. Os processos são implementados como redes de fluxo de dados e os dados são representados por planilhas. As planilhas podem ser vistas como variáveis do tipo matriz que armazenam dados bidimensionais, ou como funções, que recebem e produzem valores utilizados por outros processos. Neste caso, as planilhas são programadas seguindo o paradigma de programação por demonstrações que incorporam um poderoso construtor de interação, reduzindo significativamente a utilização de recursos e repetições. O modelo proposto pode ser utilizado em diversos domínios de aplicação, principalmente para simplificar a construção de modelos matemáticos de simulação e análise estatística.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Funções analíticas do oracle. Função RANK. Função DENSE_RANK. Função RATIO_REPORT. Funções LAG e LEAD.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Linguagem UML. Fase do projeto na UML: o diagrama de estados. Linguagem SDL. Comparação entre as duas técnicas apresentadas.