对象演算Ⅱ

• 作者: 王栩 钱军 黄涛
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 结构化对象演算 institution Ω-理论 对象系统 对象精化
• 年，卷（期）: 1999,（9）
• 页码范围: 941-951
• 页数: 11页
• 分类号: TP311
• 字数: 8728字
• 语种: 中文

摘要

文章应用Goguen等人的结论证明并得到了几个结构化对象演算的基本定理.一方面,这些定理保证了该文可由现有对象的描述构造新对象的描述,并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理.另一方面,文章还讨论了基于封装性的对象精化.于是得到一个结构化的对象演算系统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄涛	中国科学院软件研究所计算机科学开放研究实验室	90	878	14.0	27.0
5	钱军	中国科学院软件研究所计算机科学开放研究实验室	10	29	2.0	5.0
9	王栩	中国科学院软件研究所计算机科学开放研究实验室	5	19	3.0	4.0