切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种面向对象的形式化规范说明技术——VDM++
一种面向对象的形式化规范说明技术——VDM++
来源 :上海交通大学学报 | 被引量 : 0次 | 上传用户:liushuaimin
【摘 要】
:
介绍了一种新的面向对象的形式化规范说明技术VDM++它是VDM的一种扩充,并且通过一个实例说明如何应用VDM++技术对面向对象系统进行形式化规范说明。
【作 者】
:
施小英
林轶杰
【机 构】
:
计算机科学与工程系
【出 处】
:
上海交通大学学报
【发表日期】
:
1996年6期
【关键词】
:
面向对象
形式化规范说明
VDM++
程序设计
object-oriented: formal specification
VDM++
drawing sy
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了一种新的面向对象的形式化规范说明技术VDM++它是VDM的一种扩充,并且通过一个实例说明如何应用VDM++技术对面向对象系统进行形式化规范说明。
其他文献
鼻内窥镜下外伤陈旧性鼻中隔偏曲手术矫正82例临床分析
我科自2000年10月-2006年4月对82例外伤陈旧性鼻中隔偏曲病人,应用鼻内窥镜手术矫正鼻中隔偏曲.取得满意效果.现报告如下:
期刊
鼻内窥镜手术
外伤陈旧性鼻中隔偏曲
手术矫正
改进的相似优先比模型在浦东新区电力负荷预测中的应用
改进优先比方案是将模糊理论中的相似优先比运用于负荷预测后发现原基本模型的某些不足之处而进一步提出的模型,主要吸收了模糊理论中综合评判思想,采用了多因素 归预测,充分考
期刊
电力负荷预测
模糊模糊
模糊相似优先比
fuzzy theory
fuzzy similar precedence ratio model
load for
水下CAMC法切割速度制约机理
通过对水下Contact-Arc-Metal-Cutting过程机理分析,得出该方法的最大切割速度的制约及最佳量值,为电极机械运行机构提出了设计基础。
期刊
水下切割
切割速度
CAMC法
CAMC method
underwater cutting
cutting speed
“仓至仓”条款与被保险人利益
在国际货物进出口贸易中,货物在海洋运输途中由于各种自然灾害或意外事故而导致损失,办理国际货物运输保险成为买卖双方预防和转嫁风险的主要手段。然而投保并不意味着货物在发
期刊
“仓至仓”条款
保险险别
被保险人利益
从“海上皇宫”东主到“荷华联会”主席——记世侨会副会长、著名欧洲侨领毕传有
在荷兰首都阿姆斯特丹市内,堪称汉唐食府的“海上皇宫”,如今更是名副其实,显得格外耀眼。“海上皇宫”是荷京阿姆斯特丹运河上伫立的一座金碧辉煌、雕染画栋的巨型中国画舫,也是
期刊
“海上皇宫”
欧洲
副会长
毕传有
阿姆斯特丹
中国画
市内
大学生心理卫生问题和心理咨询探讨
心理健康是指人们对于环境以及人们相互问具有最高效率及快乐的适应情况,不只是要有效率,也不只是要能有满足感,或是能愉快地接受生活的规范,而是三者都具备。大学生阶段是青年人
期刊
心理咨询
学生保健服务
调经治疗面部痤疮30例临床观察
痤疮是一种毛囊皮脂腺的慢性炎症性疾患,好发于青年人的面部,影响美容,临床上遇到许多月经不调、闭经等患者伴有痤疮,作者在专科门诊接诊这类病人时,通过辨证分型调理月经周期,每当
期刊
痤疮
调经
辨证论治
甘肃对外开放步伐不断加快
改革开放30年来,甘肃省经济社会取得了快速发展,全省GDP由1978年的6473亿元增长到2007年的26992亿元,年均增长945%。在经济社会快速发展的同时,甘肃省流通规模不断扩大,市场体系逐
期刊
对外开放
甘肃省
改革开放
经济社会
生产力水平
流通规模
市场体系
中国社会
电路元件的映射理论(2)—基本参数的映射
本文进一步研究了“元件映射诊”,根据理想电路元件的映射理论,着重研究了电路基本参数的映射,并得出了相应的结论。
期刊
电路元件
映射理论
基本参数的映射
cricuit element
mapping theory
mapping in fundamental parame
清开灵注射液用于上呼吸道感染即刻退热疗效观察
采用常规剂量清开灵注射液静滴治疗上呼吸道感染风热证伴发热患者111例,通过测量用药前后的体温来评价是否具有即刻退热作用,结果具有即刻退热作用的35例,占31.5%。说明常规
期刊
清开灵注射液
上呼吸道感染
风热证
即刻退热
与本文相关的学术论文