Navegação Relatórios Técnicos e de Pesquisa por Título
Resultados 237-245 de 245
-
Systems for system implementation
(CPGCC da UFRGS, 1996) [Relatório Técnico e de Pesquisa]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) [Relatório Técnico e de Pesquisa] -
Tf-orm : o modelo e uma especificacao
(CPGCC da UFRGS, 1996) [Relatório Técnico e de Pesquisa]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) [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 ... -
[Trabalhos publicados]
(University of Leeds. Department of Civil Engineering, 1982) [Relatório Técnico e de Pesquisa] -
Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
(Universitat Stuttgart, 1993) [Relatório Técnico e de Pesquisa]Resumo não disponível -
Vetor : descricao do projeto de hardware de um sistema multimicroprocessador para processamento numerico
(CPGCC da UFRGS, 1989) [Relatório Técnico e de Pesquisa]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) [Relatório Técnico e de Pesquisa] -
Visitantes [atas de visitas ilustres à Faculdade de Medicina da UFRGS e de cerimônias realizadas no período de 1906 a 1988]
(1906) [Relatório Técnico e de Pesquisa]