Verification and testing of simple entity-relationship representations

Por:

Furtado, Antonio Luiz

Colaborador(es):

Série: Monografias em Ciencia da Computacao ; 4/81Rio de Janeiro : PUCRJ, 1981Descrição: 26 pTipo de conteúdo:

text

Tipo da mídia:

unmidiated

Tipo de armazenamento:

volume

Assunto(s):

Resumo: 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

Tags desta biblioteca: Sem tags desta biblioteca para este título. Faça o login para adicionar tags.

Exemplares
Tipo de material	Biblioteca atual	Coleção	Número de chamada	Materiais especificados	Número do exemplar	Situação	Devolver até	Código de barras
Livro	Biblioteca Lydia de Queiroz Sambaquy	Folheto	681.3 F992v (Percorrer estante(Abre abaixo))		Ex. 1	Disponível		000445

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

Não há comentários sobre este título.

para postar um comentário.