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

• Ano de defesa: 2006
• Autor(a) principal: JULIO CEZAR MENEZES SAMPAIO
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: MAXWELL
• Palavras-chave em Português: [pt] SISTEMAS DISTRIBUIDOS; [pt] PARADIGMA; [en] DISTRIBUTED SYSTEMS; [en] PARADIGM
• 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

[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.