Mostrando ítems 171-182 de 182

    • Ser criança “estrangeira” : rodas de conversa com crianças refugiadas em Porto Alegre 

      Dornelles, Leni Vieira; Marcello, Fabiana de Amorim; Marques, Circe Mara; Feitosa, Antonio Genivaldo Silva (UFRGS, 2016) [Reporte Técnico y de Investigación]
    • Simulação de sistemas modelados como redes de agências 

      Wagner, Flavio Rech (PGCC da UFRGS, 1985) [Reporte Técnico y de Investigación]
      Este trabalho apresenta um modelo de simulação, em um monoprocessador, de sistemas representados como re des de agências. A estrutura básica de um simulador adegua do a este modelo é mostrada. Alguns aspectos importantes ...
    • Sistemas especialistas para a engenharia de software 

      Ahlert, Hubert (CPGCC da UFRGS, 1991) [Reporte Técnico y de Investigación]
      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 ...
    • Sistemas especialistas para a engenharia de software 

      Ahlert, Hubert (CPGCC da UFRGS, 1990) [Reporte Técnico y de Investigación]
      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 ...
    • Synchronization in petri nets 

      Menezes, Paulo Fernando Blauth; Costa, J. Felix (Instituto Superior Tecnico. Departamento de Matematica, 1993) [Reporte Técnico y de Investigación]
      In "Petri nets are Monoids" by Meseguer and Montanari, categories for Petri nets with and without markings are introduced, where the categorical product and coproduct express the joint behavior of nets. However, this ...
    • Systems for system implementation 

      Menezes, Paulo Fernando Blauth; Costa, J. Felix (CPGCC da UFRGS, 1996) [Reporte Técnico y de Investigación]
      Inspired by Meseguer and Montanari's "Petri Nets are Monoids", we propose that a refinement o f a Petri net is a special kind o f net morphism were the target object is enriched with ali conceivable sequential and concurrent ...
    • Tf-orm : o modelo e uma especificacao 

      Edelweiss, Nina; Freitas, Nicole Silva de; Marcant, Erico Martelet (CPGCC da UFRGS, 1996) [Reporte Técnico y de Investigación]
      Verifica-se, atualmente, a necessidade de especificação e implementação de sistemas com a utilização de aspectos temporais, principalmente em sistemas de informação de escritórios e aplicações industriais onde as características ...
    • The data model of the star framework 

      Wagner, Flavio Rech (CPGCC da UFRGS, 1991) [Reporte Técnico y de Investigación]
      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 ...
    • [Trabalhos publicados] 

      Heineck, Luiz Fernando Mahlmann (University of Leeds. Department of Civil Engineering, 1982) [Reporte Técnico y de Investigación]
    • Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells 

      Nunes, Daltro Jose (Universitat Stuttgart, 1993) [Reporte Técnico y de Investigación]
      Resumo não disponível
    • Vetor : descricao do projeto de hardware de um sistema multimicroprocessador para processamento numerico 

      Nascimento, Fernando Rosa do (CPGCC da UFRGS, 1989) [Reporte Técnico y de Investigación]
      Esta publicação apresenta o projeto de hardware do VETOR, um sistema multimicroprocessador para processamento numérico. O sistema faz uso de uma UCP de 32 bits (MC68020), de quatro processadores numéricos (MC68881) e de ...
    • A viagem a Portugal de Pedro Weingärtner : uma investigação sobre suas relações com a pintura naturalista portuguesa 

      Gomes, Paulo César Ribeiro (UFRGS. Instituto de Artes, 2016) [Reporte Técnico y de Investigación]