基于Larch/C的组件形式规范匹配

• 作者: 嵇海明 杨宗源 黄德浩
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 组件形式规范匹配 Larch/C 功能匹配 LP
• 年，卷（期）: 2003,（13）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 90-91,127
• 页数: 3页
• 分类号: TP311
• 字数: 2616字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.13.035

摘要

主要阐述了一种组件的形式规范匹配方法,以Larch家族中的Larch/C作为语言工具,详细讨论了组件的功能匹配,最后借助于工具LarchProver(LP)并通过实例描述了功能匹配的证明过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨宗源	华东师范大学计算机科学技术系	32	326	9.0	17.0
2	黄德浩	华东师范大学计算机科学技术系	4	44	1.0	4.0
3	嵇海明	华东师范大学计算机科学技术系	4	62	3.0	4.0