Navegação Relatórios Técnicos e de Pesquisa por Título
Resultados 71-90 de 253
-
Diagonal compositionality of concurrent, finite state systems
(CPGCC da UFRGS, 1996) [Relatório Técnico e de Pesquisa]In previous works together with J . Félix Costa and A. Sernadas, we construct a categoria} semantic domain called Nonsequential Automata (first introduced in [10]), based on labeled transition systems [15] with full ... -
Distributed Prosoft : management of tools and memory
(1995) [Relatório Técnico e de Pesquisa]Resumo não disponível -
Divisao e conquista : uma tecnica para paralelizacao de algoritmos
(CPGCC da UFRGS, 1992) [Relatório Técnico e de Pesquisa]Neste trabalho é feito um estudo de algoritmos baseados na técnica de divisão e conquista. Para tanto, foi descrita a técnica com seus princípios e exemplificada através de alguns algoritmos. Entre os objetivos deste ... -
Educação musical na formação de professores dos cursos de graduação em pedagogia gaúchos : escuta e criação na experiência de barulhar
(UFRGS, 2020) [Relatório Técnico e de Pesquisa]O pesquisa investiga a educação musical presente na formação de professores dos Cursos de Graduação em Pedagogia Gaúchos, na especificidade da educação infantil. Dentro de uma abordagem qualitativa e quantitativa, parte ... -
Educação permanente no SUAS : uma análise a partir das reflexões dos sujeitos sociais da política de proteção social não- contributiva no RS : relatório de pesquisa
(2016) [Relatório Técnico e de Pesquisa] -
Ensino remoto emergencial : desafios e estratégias para retomada
(2020) [Relatório Técnico e de Pesquisa] -
Especificacoes formais em obj
(CPGCC da UFRGS, 1989) [Relatório Técnico e de Pesquisa]Este trabalho apresenta a linguagem de especificção forma OBJ. Trata-se de uma linguagem executável, que serve para implementar e testar especificações algébricas. São apresentados as sintaxes e a semântica do OBJ e um ... -
Estratégia de desenvolvimento da informática na UFRGS : 1989-1990
(UFRGS/CPD, 1989) [Relatório Técnico e de Pesquisa] -
Estudo comparativo e taxonomia de ferramentas de suporte a construção automática de sistemas
(CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]Este trabalho apresenta um estudo comparativo das características de ferramentas de suporte a construção automática de sistemas, buscando estabelecer uma taxonomia com base em um conjunto de critérios de classificação, ... -
Estudo da avaliação discente e autoavalição docente da Fabico 2017/1
(2018) [Relatório Técnico e de Pesquisa]O Estudo da Avaliação Discente e Autoavaliação Docente da Fabico 2017/1, grupo de trabalho do Núcleo de Avaliação da Unidade (NAU) da Faculdade de Biblioteconomia e Comunicação (Fabico) da Universidade Federal do Rio Grande ... -
Estudo da comunidade do bairro Santana Porto Alegre
(1988) [Relatório Técnico e de Pesquisa]O trabalho constitui-se num estudo feito sobre o Bairro Santana de Porto Alegre, visando levantar dados e informações sobre aspectos do bairro e de sua população, para a criação de uma biblioteca junto à Faculdade de ... -
Um estudo de tecnicas de validacao e de verificacao de produtos de software
(CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]No desenvolvimento de um produto de software devem ser efetuadas avaliações, com o objetivo de validá-lo e de verificá-lo, dando assim origem a produtos mais confiáveis. Este trabalho sttua a validação e a verificação no ... -
Estudo para avaliação e gerenciamento da disponibilidade hídrica da bacia da Lagoa Mirim
(Instituto de Pesquisas Hidráulicas da UFRGS, 1998) [Relatório Técnico e de Pesquisa]A Lagoa Mirim é um dos principais sistemas naturais existentes no Rio Grande do Sul. O desenvolvimento da região é baseado fundamentalmente na disponibilidade de recursos hídricos e a sua interação com as demandas, existentes ... -
Evasão e retenção no curso de Biblioteconomia da UFRGS (2000/1 - 2009/2) : relatório final
(2013) [Relatório Técnico e de Pesquisa] -
Extensao da interface de saida com dispositivos graficos
(Pgcc da UFRGS, 1987) [Relatório Técnico e de Pesquisa]Este relatório apresenta novas funções da interface de saída com dispositivos gráficos do projeto AMPLO. -
Ferramenta de apoio a especificacao utilizando o modelo tf-orm
(CPGCC da UFRGS, 1996) [Relatório Técnico e de Pesquisa]TF-ORM (Temporal Functionality in Objects with Roles Model) é um modelo de dados temporal orientado a objetos que visa ser utilizado na especificação formal de sistemas de informação. A especificação de aplicações em TF-ORM ... -
A formação do professor na UFRGS : uma experiência de articulação entre a universidade e o ensino de 1. e 2. graus : a formação do professor de física
(UFRGS, 1988) [Relatório Técnico e de Pesquisa]Durante o triênio 86-88, desenvolveu-se o sub-projeto: A formação do professor de física, como parte do projeto: A formação do professor na UFRGS, uma experiência de articulação entre a Universidade e o Ensino de 1º e 2º ... -
Formas e conteúdos : aspectos da produção gráfica do Rio Grande do Sul e de Portugal de 1960 a 2000
(UFRGS. Instituto de Artes, 2020) [Relatório Técnico e de Pesquisa] -
Gerência de metodologias de projeto no ambiente Garden
(IBM, 1991) [Relatório Técnico e de Pesquisa]Este relatório discute os fundamentos de um modelo para a gerência de metodologias de projeto de sistemas e circuitos eletrônicos no ambiente GARDEN. Xa abordagem proposta, a gerência de metodologias de projeto em GARDEN ... -
Gerenciamento ambiental integrado da qualidade da água dos reservatórios do sistema Salto de Hidrelétrica (RS)
(2005) [Relatório Técnico e de Pesquisa]