Ricardo Terra, Marco Tulio Valente. Verificação Estática de Arquiteturas de Software utilizando Restrições de Dependência. In Second Brazilian Symposium on Software Components, SBCARS 2008, Architectures and Reuse, Porto Alegre, Brazil, Augst 20-22, 2008. pages 24-37, SBC - Brazilian Computer Society, 2008. [doi]
Abstract is missing.