Listar Reportes Técnicos y de Investigación por título
Mostrando ítems 222-241 de 245
-
Resultados da UFRGS no Contexto do SINAES 2004-2018
(UFRGS, 2020) [Reporte Técnico y de Investigación] -
Resumo das atividades desenvolvidas no CPD da UFRGS - 1981
(19uu) [Reporte Técnico y de Investigación] -
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, 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
(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 ... -
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]