%A Terra, Ricardo
%A Valente, Marco Túlio
%D 2008
%T Verificação Estática de Arquiteturas de Software utilizando Restrições de Dependência
%K
%X Este artigo descreve um sistema para verificação estática de arquiteturas de software que permite a arquitetos restringir o espectro de dependências possíveis em um dado sistema. O objetivo principal é permitir a definição de dependências aceitáveis e inaceitáveis de acordo com a arquitetura planejada de um sistema. Uma vez definidas, tais restrições são automaticamente verificadas por uma ferramenta, evitando assim erosões silenciosas na arquitetura. O artigo também apresenta resultados da aplicação da linguagem de restrição de dependência proposta em um sistema de gerenciamento de recursos humanos, com cerca de 240 KLOC. Como resultado, a abordagem proposta foi capaz de detectar diversas violações na arquitetura desse sistema.
%U https://sol.sbc.org.br/index.php/sbcars/article/view/24715
%J Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS)
%0 Journal Article
%R 10.5753/sbcars.2008.46220
%P 24-37%@ 0000-0000
%8 2008-08-20