Design Component Contracts [microform] : Modeling and Analysis of Pattern-based Composition by Jing Dong | Menrva Books | MenrvaBooks