Navegação Relatórios Técnicos e de Pesquisa por Título
Resultados 70-89 de 253
-
Design methodology management in the star framework
(CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]The design methodology management (dmm) model of the STAR framework is presented. As opposed to other approaches, where dmm is based only on design flow control, in STAR it is achieved through a coupling of task flow control ... -
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 ...