构件组装及其形式化推导的研究.pdfVIP

1000-9825/2003/14(06)1066 ©2003 Journal of Software 软 件 学 报 Vol.14, No.6 构件组装及其形式化推导研究 + 任洪敏, 钱乐秋 (复旦大学 计算机科学与技术系,上海 200433) Research on Component Composition and Its Formal Reasoning + REN Hong-Min , QIAN Le-Qiu (Department of Computer Science and Technology, Fudan University, Shanghai 200433, China) + Corresponding author: Phn: 86-21 E-mail: HongminRen@163.com; HongminRen@ Received 2002-07-04; Accepted 2002-12-23 Ren HM, Qian LQ. Research on component composition and its formal