TERRA, Ricardo; 						VALENTE, Marco Túlio.
 Verificação Estática de Arquiteturas de Software utilizando Restrições de Dependência. <em>In</em>: SIMPÓSIO BRASILEIRO DE COMPONENTES, ARQUITETURAS E REUTILIZAÇÃO DE SOFTWARE (SBCARS), 2.	, 2008, Porto Alegre/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2008
.
 p. 24-37. 
		DOI: <a href="https://doi.org/10.5753/sbcars.2008.46220">https://doi.org/10.5753/sbcars.2008.46220</a>.