[pt] EXPERIÊNCIA DE UMA METODOLOGIA DE DESENVOLVIMENTO DE SOFTWARE NO AMBIENTE RIO

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: JULIO CEZAR MENEZES SAMPAIO
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: MAXWELL
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8788&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=8788&idi=2
http://doi.org/10.17771/PUCRio.acad.8788
Resumo: [pt] 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.