面向体系结构的构件接口模型及其形式化规约

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

面向体系结构的构件接口模型及其形式化规约

任洪敏;张敬周;钱乐秋;

Architecture Oriented Component Interface Model and Its Formal Specification

REN Hongmin1,ZHANG Jingzhou2,QIAN Leqiu2

. 2005, (23): 77 -79 .