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.