组件形式相关硕士博士期刊学术论文

主要阐述了一种组件的形式规范匹配方法,以Larch家族中的Larch/C作为语言工具,详细讨论了组件的功能匹配,最后借助于工具LarchProv......