Linguagens Funcionais
Mostrando 1-12 de 30 artigos, teses e dissertações.
-
1. TEXTOS, ORALIDADE E TECNOLOGIA: PRÁTICAS DE LETRAMENTO DE ESTUDANTES EM CONTEXTO ESCOLAR BILÍNGUE
Resumo Ser letrado no mundo de hoje implica o uso consciente, criativo e crítico da linguagem (e outros recursos semióticos) para diferentes propósitos, contextos e públicos (FREEBODY & LUKE, 1990, 2003). Essa noção de letramento como prática social (BARTON & HAMILTON, 2000; STREET, 1995) foi ampliada a fim de incluir a ideia de multiletramentos (NEW
Trab. linguist. apl.. Publicado em: 2016-08
-
2. Joker: um realizador de desenhos animados para linguagens formais
Usando métodos formais, o desenvolvedor pode aumentar a confiabilidade e corretude do software. Além disso, o desenvolvedor pode concentrar-se mais nos requisitos funcionais. Porém há muita resistência em se adotar essa abordagem de desenvolvimento de software. A razão principal e a escassez de suporte ferramental adequado, útil e de fácil utilizaç�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/08/2011
-
3. CATÁLOGO DE REFATORAÇÕES PARA A EVOLUÇÃO DE PROGRAMAS EM LINGUAGEM FORTRAN
A evolução é uma característica natural no desenvolvimento de software. Durante o ciclo de vida de um sistema, geralmente existe a necessidade de evolução, seja para a adição de um novo requisito, para a alteração de funcionalidades existentes, ou para a evolução da linguagem de programação usada. A linguagem Fortran (FORmula TRANslation), apes
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/07/2011
-
4. 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
-
5. AndroMDT : um método de testes funcionais dirigido por modelos para sistemas de software.
Esta pesquisa aborda o desenvolvimento do AndroMDT, um Método de Testes Funcionais Dirigido por Modelos para Sistemas de Software. Este método se apoia nas características do Desenvolvimento Dirigido por Testes (Test Driven Development - TDD) e da Arquitetura Dirigida por Modelos (Model Driven Architecture - MDA). Nele, descreve-se a aplicação do métod
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/12/2010
-
6. AndroMDT : um método de testes funcionais dirigido por modelos para sistemas de software.
Esta pesquisa aborda o desenvolvimento do AndroMDT, um Método de Testes Funcionais Dirigido por Modelos para Sistemas de Software. Este método se apoia nas características do Desenvolvimento Dirigido por Testes (Test Driven Development - TDD) e da Arquitetura Dirigida por Modelos (Model Driven Architecture - MDA). Nele, descreve-se a aplicação do métod
Publicado em: 2010
-
7. Programação funcional usando Java / Functional programming using Java
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 e combinadas com multimídia, os Webs resultantes têm aberto novas possibilidades de expressão e comunicação. A quantidade de t
Publicado em: 2010
-
8. An aspect-oriented model-driven engineering approach for distributed embedded real-time systems / Uma abordagem de engenharia guiada por modelos para o projeto de sistemas tempo-real embarcados e distribuídos
Atualmente, o projeto de sistemas tempo-real embarcados e distribuídos está crescendo em complexidade devido à sua natureza heterogênea e ao crescente número e diversidade de funções que um único sistema desempenha. Sistemas de automação industrial, sistemas eletrônicos em automóveis e veículos aéreos, equipamentos médicos, entre outros, são
Publicado em: 2009
-
9. REFATORAÇÃO DE PROGRAMAS FORTRAN DE ALTO DESEMPENHO / REFACTORING OF HIGH PERFORMANCE FORTRAN PROGRAMS
Refatoração é uma técnica de engenharia de software que consiste em alterar a estrutura interna de uma aplicação sem que tais alterações interfiram nos resultados produzidos pela mesma. Trata-se de uma tarefa permanentemente presente no ciclo de vida de uma aplicação e está diretamente associada às características não funcionais do software, co
Publicado em: 2009
-
10. 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
-
11. Structuring general and complete quantum computations in Haskell : the arrows approach / Estruturando computaçõoes quânticas gerais e completas em Haskell : abordagem das setas
Computaçãao quântica pode ser entendida como transformação da informação codificada no estado de um sistema físico quântico. A idéia básica da computação quântica é codificar dados utilizando bits quânticos (qubits). Diferentemente do bit clássico, o qubit pode existir em uma superposição dos seus estados básicos permitindo o “paralelis
Publicado em: 2008
-
12. Análise de cobertura e geração de vetores de teste para módulos descritos em Systemc
O crescimento da complexidade dos sistemas VLSI e a necessidade cada vez maior de reduzir o tempo de desenvolvimento pressiona o ciclo de projeto de SoCs até seus limites. Garantir o funcionamento correto desses sistemas complexos também é um desafio, uma vez que o número de estados a serem verificados aumenta exponencialmente. Hoje, a verificação é a
Publicado em: 2008