Verification and testing of simple entity-relationship representations
Furtado, Antonio Luiz
Verification and testing of simple entity-relationship representations - 26 p. - Monografias em Ciencia da Computacao ; 4/81 .
Propoe-se uma metodologia para representar uma aplicacao de banco de dados em um modelo de dados e entidades-relacionamentos simplificados, a qual se baseia em especificacoes formais de ambos como tipos abstratos de dados. Esta metodologia inclui a verificacao e o teste da representacao, que sao simplificados pelo uso de especificacoes procedurais. Um exemplo de aplicacao de banco de dados e usado para ilustrar a discussao geral
Informática
Processamento eletrônico de dados
681.3 / F992v
Verification and testing of simple entity-relationship representations - 26 p. - Monografias em Ciencia da Computacao ; 4/81 .
Propoe-se uma metodologia para representar uma aplicacao de banco de dados em um modelo de dados e entidades-relacionamentos simplificados, a qual se baseia em especificacoes formais de ambos como tipos abstratos de dados. Esta metodologia inclui a verificacao e o teste da representacao, que sao simplificados pelo uso de especificacoes procedurais. Um exemplo de aplicacao de banco de dados e usado para ilustrar a discussao geral
Informática
Processamento eletrônico de dados
681.3 / F992v
