$$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$$
X
INFORMAÇÕES SOBRE DIREITOS AUTORAIS


As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.

A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.

A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.

A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital

Avançada


Formato DC |



Título: EXPERIÊNCIA DE UMA METODOLOGIA DE DESENVOLVIMENTO DE SOFTWARE NO AMBIENTE RIO
Autor: JULIO CEZAR MENEZES SAMPAIO
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Colaborador(es):  ORLANDO GOMES LOQUES FILHO - ORIENTADOR
Nº do Conteudo: 8788
Catalogação:  07/08/2006 Idioma(s):  PORTUGUÊS - BRASIL
Tipo:  TEXTO Subtipo:  TESE
Natureza:  PUBLICAÇÃO ACADÊMICA
Nota:  Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]:  https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8788@1
Referência [en]:  https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8788@2
Referência DOI:  https://doi.org/10.17771/PUCRio.acad.8788

Resumo:
A soma dos gastos associados ao desenvolvimento de software é o fator preponderante na composição do custo total dos sistemas de computação. Desta forma, deve-se procurar otimizar o processo de desenvolvimento visando minimizar o custo do software sem incorrer em perda de qualidade do sistema como um todo. Este trabalho apresenta um experiência de utilização de uma metodologia de desenvolvimento de software no ambiente de construção e suporte a sistemas distribuídos RIO. A metodologia adotada é baseada no conceito de abstrações e usa uma linguagem especializada (SPEC) para a descrição de especificações. Conceitos de lógica são também utilizados para formalizar o comportamento da aplicação e de seus componentes, o que facilita o uso de procedimentos automatizados para a detecção de erros e simplificação das especificações. Os paradigmas adotados em SPEC são similares aos disponíveis para a concepção e construção de sistemas aplicativos no ambiente RIO. Isso simplifica o processo de transformação das especificações obtidas em uma implementação.

Descrição Arquivo
NA ÍNTEGRA  PDF  
Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
Fechar Janela



* Esqueceu a senha:
Senha SAU, clique aqui
Senha Maxwell, clique aqui