• Sistemas especialistas para a engenharia de software 

      Ahlert, Hubert (CPGCC da UFRGS, 1990) [Relatório Técnico e de Pesquisa]
      Este trabalho a presenta um estudo abrangente sobre o uso de sistemas especialistas e técnicas de inteligência artificial na área de engenharia de software. E a presentada uma seleção das principais referências bibliográficas ...
    • Regionalização de vazões do Rio Grande do Sul 

      Goldenfum, Joel Avruch; Bertoni, Juan Carlos; Lovatel, Ricardo; Troviscal, Alexandre P.; Lves, Cesar Augusto; Krebs, Claudio Moreira; Souza, Paulo Cesar Sena; Froes, Fernando (IPH/UFRGS, 1991) [Relatório Técnico e de Pesquisa]
    • Design methodology management in design frameworks 

      Wagner, Flavio Rech (CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]
      This paper ic a tutorial on design methodology management (dmm) in design frameworks for VLSI systems and other complex electronic systems. The motivation for such functionality tu design frameworks is discussod. Several ...
    • The data model of the star framework 

      Wagner, Flavio Rech (CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]
      This report presents the data model for the design framework STAR. STAR is an open framework for the design of eletronic circuits and systems, that provides powerful facilities for data and design management, as well as ...
    • Design methodology management in the star framework 

      Wagner, Flavio Rech; Lima, Arnaldo H. Viegas de (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 ...
    • Gerência de metodologias de projeto no ambiente Garden 

      Wagner, Flavio Rech (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 ...
    • Integracao de ferramentas no sistema amplo : critica e proposta de extensoes 

      Wagner, Flavio Rech (CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]
      Este relatório discute o processo de integração de ferramentas no ambiente AMPLO. São analisadas as alterações necessárias para que, além de um ambiente onde ferramentas de projeto de sistemas digitais já estão integradas ...
    • Modelos de representação e gerência de dados em ambientes de projeto de sistemas digitais 

      Wagner, Flavio Rech (IBM, 1991) [Relatório Técnico e de Pesquisa]
      Um ambiente de projeto deve suportar um modelo de dados uniforme, que permita a representação de sistemas digitais como objetos complexos, considerando aspectos como composição e hierarquia, e ofereça recursos para a ...
    • Ambiente para estudo de fractais : relatorio de projeto 

      Olabarriaga, Silvia Delgado; Montenegro, Fernando da Silveira (CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]
      Este relatório apresenta o desenvolvimento do projeto "Ambiente para Estudo de Fractais" no Instituto de Informática da Universidade Federal do Rio Grande do Sul. O sistema "Fractal", parte do resultado do trabalho ...
    • Representacao de conhecimento em engenharia do conhecimento 

      Edelweiss, Nina (CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]
      Este relatório apresenta um estudo das diferentes formas existentes para representação de conhecimento em Bases de Conhecimento de Sistemas de Inteligência Artificial. Inicialmente são vistos os diferentes paradigmas ...
    • Um estudo de tecnicas de validacao e de verificacao de produtos de software 

      Edelweiss, Nina (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 ...
    • Processamento vetorial e vetorização de algoritmos na máquina convex c210 

      Diverio, Tiaraju Asmuz (CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]
      Este trabalho descreve técnicas para reestruturação de programas sequenciais utilizadas para a vetorização e paralelização destes programas. São descritos conceitos básicos sobre processamento paralelo e aplicações às ...
    • Maquina convex c210 : primeiros passos : utilizacao e programacao 

      Diverio, Tiaraju Asmuz (CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]
      Resumo não disponível.
    • Estudo comparativo e taxonomia de ferramentas de suporte a construção automática de sistemas 

      Ahlert, Hubert (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, ...
    • Sistemas especialistas para a engenharia de software 

      Ahlert, Hubert (CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]
      Este trabalho apresenta um estudo abrangente sobre o uso de sistemas especialistas e técnicas de inteligência artificial na área de engenharia de software. É apresentada uma seleção das principais referências bibliográficas ...
    • Pesquisa sobre qualidade de vida no trabalho : o caso do CPD da UFRGS 

      Fernandes, Eda Conte (Faculdade de Ciências Econômicas, 1992) [Relatório Técnico e de Pesquisa]
    • Prevail-dm : a framework-based environment for formal hardware verification 

      Wagner, Flavio Rech (Imag, 1992) [Relatório Técnico e de Pesquisa]
      This report describes the framework-based PREVAIL-DM design environment for formal hardware verification. PREVAIL-DM integrates proof tools that are available in the PREVAIL environment around a common, VHDL-based conceptual ...
    • Divisao e conquista : uma tecnica para paralelizacao de algoritmos 

      Diverio, Tiaraju Asmuz; Claudio, Dalcidio Moraes; Navaux, Philippe Olivier Alexandre (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 ...
    • Modelling the design methodology for the risco microprocessor 

      Wagner, Flavio Rech (CPGCC da UFRGS, 1992) [Relatório Técnico e de Pesquisa]
      This report presents the modelling of the methodology employed in designing the physical layout of the operational block of the RISCO microprocessor IC, under development at the UFRGS. The model uses the concepts of design ...
    • Um modelo orientado a objetos para especificacao de informacoes temporais em sistemas de informacao de escritorios apropriado ao paradigma de reutilizacao 

      Edelweiss, Nina (CPGCC da UFRGS, 1992) [Relatório Técnico e de Pesquisa]
      O presente trabalho consiste da proposta de uma tese de doutorado, a ser desenvolvida no CPGCC da UFRGS, sob orientação do prof. Dr. José Palazzo Moreira de Oliveira. O objetivo desta tese é o de definir utn modelo de dados ...