Navegação Relatórios Técnicos e de Pesquisa por Autor "Edelweiss, Nina"
Resultados 1-10 de 10
-
Um ambiente para desenvolvimento de prototipos de bancos de dados dedutivos
(CPGCC da UFRGS, 1988) [Relatório Técnico e de Pesquisa]Este trabalho apresenta as principais características de um Ambiente para Desenvolvimento de Protótipos de Bancos de Dados Dedutivos. São apresentados os módulos que constituem a sua arquitetura, ressaltando os aspectos ... -
An object-oriented temporal model
(CPGCC da UFRGS, 1992) [Relatório Técnico e de Pesquisa]The representation of complex objects anel behaviors (state transition s) in infmmation systems is a central issue in software engineering. In an infonnation system, supported by a conventional database, the only available ... -
Especificacoes formais em obj
(CPGCC da UFRGS, 1989) [Relatório Técnico e de Pesquisa]Este trabalho apresenta a linguagem de especificção forma OBJ. Trata-se de uma linguagem executável, que serve para implementar e testar especificações algébricas. São apresentados as sintaxes e a semântica do OBJ e um ... -
Um estudo de tecnicas de validacao e de verificacao de produtos de software
(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 ... -
Ferramenta de apoio a especificacao utilizando o modelo tf-orm
(CPGCC da UFRGS, 1996) [Relatório Técnico e de Pesquisa]TF-ORM (Temporal Functionality in Objects with Roles Model) é um modelo de dados temporal orientado a objetos que visa ser utilizado na especificação formal de sistemas de informação. A especificação de aplicações em TF-ORM ... -
Integracao do metodo t. a. & a. e do ambiente ypy na especificacao e prototipacao de um sie
(CPGCC da UFRGS, 1990) [Relatório Técnico e de Pesquisa]O trabalho apresenta um exemplo de integração do método T.A.& A. [HOP88] com o ambiente YPY [EDE89a]. É apresentada a especificação e posterior prototipação de um Sistema de Informação de Escritório, uma locadora de fitas ... -
Introducao do tempo no ambiente para desenvolvimento de bancos de dados dedutivos
(Pgcc da UFRGS, 1989) [Relatório Técnico e de Pesquisa]Neste relatório são apresentadas as modificações efetuadas no Ambiente para Desenvolvimento de Protótipos de Bancos de Dados Dedutivos, descrito no RP 97 do CPGCC/UFRGS. Foi incluído o tempo no modelo de dados, resultando ... -
Um modelo orientado a objetos para especificacao de informacoes temporais em sistemas de informacao de escritorios apropriado ao paradigma de reutilizacao
(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 ... -
Representacao de conhecimento em engenharia do conhecimento
(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 ... -
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 ...
