A Formalization of Software Architecture.

John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou

Browse the full FM paper archive.