Listar Reportes Técnicos y de Investigación por título
Mostrando ítems 234-253 de 253
-
Resumo das atividades desenvolvidas no CPD da UFRGS - 1982
(19uu) [Reporte Técnico y de Investigación] -
Resumo das atividades desenvolvidas no CPD da UFRGS - 1983
(19uu) [Reporte Técnico y de Investigación] -
Resumo das atividades desenvolvidas no CPD da UFRGS - 1984
(19uu) [Reporte Técnico y de Investigación] -
Rumo a um modelo de implementacao de especificacoes nao procedurais de sistemas transacionais em banco de dados
(CPGCC da UFRGS, 1992) [Reporte Técnico y de Investigación]O tema discutido nesta proposta de tese é a construção automática de sistemas, particularmente a implementação de especificações não procedurais voltadas a sistemas transacionais em banco de dados. Como formas de viabilizar ... -
Seguro dinâmico de portfólio
(Coppead/UFRJ, 1990) [Reporte Técnico y de Investigación] -
Ser criança “estrangeira” : rodas de conversa com crianças refugiadas em Porto Alegre
(UFRGS, 2016) [Reporte Técnico y de Investigación] -
Simulação de sistemas modelados como redes de agências
(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
(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 ... -
Sistemas especialistas para a engenharia de software
(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 ... -
Soluções tecnológicas da Indústria 4.0 para micro, pequenas e médias empresas do setor de transformação industrial
(UFRGS, 2022) [Reporte Técnico y de Investigación] -
Synchronization in petri nets
(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
(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 ... -
Tecnologias digitais nas aprendizagens fase – projeto nº 32364 : relatório final
(UFRGS, 2022) [Reporte Técnico y de Investigación] -
Tf-orm : o modelo e uma especificacao
(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
(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]
(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
(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
(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
(UFRGS. Instituto de Artes, 2016) [Reporte Técnico y de Investigación] -
Visitantes [atas de visitas ilustres à Faculdade de Medicina da UFRGS e de cerimônias realizadas no período de 1906 a 1988]
(1906) [Reporte Técnico y de Investigación]