Correctness and Composition of Software Architectures

Mark Moriconi, Xiaolei Qian. Correctness and Composition of Software Architectures. In SIGSOFT FSE. pages 164-174, 1994. [doi]

Abstract

Abstract is missing.