首页 | 本学科首页   官方微博 | 高级检索  
     

对象演算Ⅱ
引用本文:黄涛,钱军,王栩.对象演算Ⅱ[J].软件学报,1999,10(9):941-951.
作者姓名:黄涛  钱军  王栩
作者单位:中国科学院软件研究所计算机科学开放研究实验室,北京,100080;中国科学院软件研究所对象技术中心,北京,100080
基金项目:本文研究得到国家自然科学基金和国家863高科技项目基金资助.
摘    要:文章应用Goguen等人的结论证明并得到了几个结构化对象演算的基本定理.一方面,这些定理保证了该文可由现有对象的描述构造新对象的描述,并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理.另一方面,文章还讨论了基于封装性的对象精化.于是得到一个结构化的对象演算系统.

关 键 词:结构化对象演算  Ω-理论  对象系统  对象精化
收稿时间:1997/12/12 0:00:00
修稿时间:9/4/1998 12:00:00 AM

Object Calculus Ⅱ
HUANG Tao,QIAN Jun and WANG Xu.Object Calculus Ⅱ[J].Journal of Software,1999,10(9):941-951.
Authors:HUANG Tao  QIAN Jun and WANG Xu
Affiliation:HUANG Tao\ QIAN Jun\ WANG Xu(Laboratory of Computer Science\ Institute of Software\ The Chinese Academy of Sciences\ Beijing\ 100080) (Object Technology Center\ Institute of Software\ The Chinese Academy of Sciences\ Beijing\ 100080)
Abstract:
Keywords:institution
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号