Este artigo propõe a utilização da linguagem formal de especificação, SDL (Specification Description Language), associada a técnica de orientação a objetos OOA (Object Oriented Analysis), como uma metodologia alternativa ao desenvolvimento do sistema de banco de dados SCO (Sistema de Controle Orçamentário) originalmente implementado em SqlWindows. Partindo-se do modelo de objetos do SCO, o sistema é especificado em SDL’92, simulado e validado utilizando-se o pacote SDT (SDL Design Tool). O objetivo da aliança OOA e SDL é facilitar as fases de análise e desenvolvimento, e eventual evolução do sistema SCO, de maneira mais eficiente do que a utilização de apenas uma única metodologia.