BDBComp
Parceria:
SBC
Resolução de Sistemas Lineares com Alta Exatidão em Ambiente de Alto Desempenho

Un modelo de hipertexto para la especificación de Requisitos

Bernardo Frederes Kramer AlcaldeCarlos Amaral HolbigPaulo Sérgio Morandi JúniorTiarajú Asmuz Diverio

María Carmen LeonardiGustavo RossiJulio Cesar Sampaio do Prado Leite

Até os dias de hoje tem-se buscado uma combinação de software (métodos de inclusão monotônica) com o hardware (aritmética de alta exatidão, Matemática intervalar, arredondamentos direcionados, produto escalar ótimo, etc.) para que a tarefa de decidir se o resultado é ou não satisfatório seja transferido para o computador, ou seja, a Computação Verificada. Agora, deseja-se capacitar com esta técnica os novos ambientes, propícios ao processamento paralelo e distribuído. Para que eles resolvam problemas com alta exatidão e alto desempenho. O trabalho abordado nesse artigo visa o desenvolvimento de bibliotecas para a resolução de sistemas de equações lineares densos e esparsos, utilizando a biblioteca C-XSC no cluster LabTec do II-UFRGS. En este trabajo se presenta un modelo de hipertexto para la Requirements Baseline [Leite'97a] y las tarjetas CRCs derivadas a partir de ella[Leonardi'97][Leite'97b]. Este modelo se basa principalmente en el diseño navegacional de OOHDM[Rossi'97][Schwabe'98], una metodología de diseño Orientada a Objetos para aplicaciones hipermedia. El objetivo de este trabajo es presentar al modelo de hipertexto como un soporte para la etapa de modelización de requisitos. Esta integración trae ventajas en la facilidad de acceso a la información proveyendo diferentes formas de recorrer y analizar los documentos. De esta forma, se facilita la tarea del ingeniero durante la etapa de adquisición de requisitos [Fiorini'97]

http://www.lbd.dcc.ufmg.br/colecoes/wscad/2003/0026.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD