EXPERIÊNCIA DE UMA METODOLOGIA DE DESENVOLVIMENTO DE SOFTWARE NO AMBIENTE RIO

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.The sum of costs associated to the software development is the dominant factor in the composition of the total cost of the computer systems. Thus, the software development process shoild be optimized in order to reduce its cost without incurring in losses for the overall system quality. This work presents an experience of a software methodology in the RIO environment for the support of distributed systems. The adopted methodology is based on abstractions and uses a specialized language (SPEC) for the description of the specifications. Logic concepts are also used to formalize the behaviour of the applicationa and its components This facilities the use of automatic procedures for correctness checks an simplification of the specifications. The paradigms adopted by SPEC are similar to those supported in the RIO environment. This simplifies the process of translation fo the specification into a system implementation