Buscar
Mostrando ítems 1-10 de 92
Unificação, confluência e tipos com interseção para sistemas de reescrita nominal
(2017-02-01)
Sistemas nominais são uma abordagem alternativa para o tratamento de variáveis em sistemas computacionais, onde a reescrita de primeira ordem é generalizada através do suporte para especificação de ligação de variáveis e ...
Geração de processos WS-BPEL com base em um algoritmo de reescrita de regras
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2013-12-12)
Web services are computational solutions designed according to the principles of Service
Oriented Computing. Web services can be built upon pre-existing services available on the
Internet by using composition languages. ...
Operadores de redução para completamento de sistemas de reescrita
(2021-05-23)
Esta dissertação apresenta um estudo do procedimento de completação, introduzido recentemente por Cyrille Chenavier, que consiste em completar um conjunto de identidades que sejam suficientes para representar uma álgebra, ...
O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
(2009)
O ponto inicial deste trabalho é um caso de estudo de um protocolo de carteira eletrônica modelado por uma teoria equacional de um fragmento da aritmética, que inclui exponenciação. Foi estudado um procedimento de decisão ...
Reflexão linguística, revisão e reescrita textual como formas de promover a consciência sintática
(2017-04-24)
A presente pesquisa objetiva investigar, à luz dos pressupostos gerativistas e de uma metodologia de ensino baseada na aprendizagem ativa, os estudos e as propostas relativas à reflexão linguística, à revisão e à reescrita ...
A produção e a reescrita de textos: o trabalho docente e discente no quarto ano do ensino fundamental
(Universidade Estadual Paulista (Unesp), 2012-08-17)
Esta pesquisa focaliza o trabalho de escrita e reescrita de textos, realizado por alunos e professores do ensino fundamental. Para compreender as relações que se estabelecem entre os procedimentos docentes e discentes, ...
A produção e a reescrita de textos: o trabalho docente e discente no quarto ano do ensino fundamental
(Universidade Estadual Paulista (Unesp), 2012-08-17)
Esta pesquisa focaliza o trabalho de escrita e reescrita de textos, realizado por alunos e professores do ensino fundamental. Para compreender as relações que se estabelecem entre os procedimentos docentes e discentes, ...