切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
形式方法与面向对象方法的结合探讨
形式方法与面向对象方法的结合探讨
来源 :计算机工程 | 被引量 : 0次 | 上传用户:qq269828183
【摘 要】
:
文中讨论了形式方法和面向对象方法各自的优缺点,结合作者设计的面向对象形式规格说明语言OOZS,介绍了将这两种方法结合起来的三种途径,并对这三种途径进行了分析、评价和对
【作 者】
:
李刚
朱关铭
童頫
【机 构】
:
上海大学计算机科学系,上海,201800
【出 处】
:
计算机工程
【发表日期】
:
2004年期
【关键词】
:
软件工程
规格说明语言
形式方法
面向对象方法
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文中讨论了形式方法和面向对象方法各自的优缺点,结合作者设计的面向对象形式规格说明语言OOZS,介绍了将这两种方法结合起来的三种途径,并对这三种途径进行了分析、评价和对比,最后提出了今后的研究方向.
其他文献
市政工程施工项目成本控制研究
本文通过对荣华二采区10
期刊
高产优质大豆品种新大豆8号种子繁育技术
新大豆8号是新疆农垦科学院作物所采用联合育种、异地鉴定模式,于2001年从黑龙江省绥化农业科学研究所引进高代品系,经过多年选择鉴定,培育而成的高产、优质、适应性广的半矮
期刊
高产优质
大豆品种
新大豆
种子
科学研究所
大豆新品种
联合育种
鉴定模式
黑龙江省
适应性
科学院
半矮秆
作物
新疆
绥化
品系
培育
农业
农垦
密植
中国军事学史的创新之作--赵国华教授《中国兵学史》述评
华中师范大学赵国华教授经过十多年的不懈努力,完成了一部50多万字的《中国兵学史》(福建人民出版社2004年11月版),成就了中国学术史研究的一项开创性成果。为了撰写《中国兵
期刊
中国
军事
学史
华中师范大学
学术史研究
人民出版社
福建
成就
成果
效力性强制规定与管理性强制规定的认定研究——以华盛公司与武科大建设工程施工合同纠纷案为例
效力性强制规定是指对于违反强制性规定的行为,在合同法上否定其效力。管理性强制规定是指对于违反强制性规定的行为,并不否定其效力后果,只是对其进行管理与制裁。效力性强制规
学位
强制性规定
合同效力
合同法
利益衡量机制
中国传媒资本市场格局与态势研判
中国传媒资本市场整体表现回顾从板块估值高企到大幅回调2015至2016年短短两年时间,中国资本市场的文化传媒板块经历了过山车一般的跌宕起伏。整个2015年,在技术变革和政策红
期刊
资本市场
行业上市公司
万达
市值管理
媒体融合
证券化产品
媒介融合
产业基金
信息披露
对外投资风险
亚纯函数涉及其一个微分单项式各IM分担一个值的一个唯一性
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
对流动党员加强管理和使用的思考
在推动中国基层经济社会科学发展的新时期,对流动党员加强培养、管理和使用,是中国共产党基层党建的战略问题。流动是市场经济的本质特征。改革开放以来,逐步 In promoting
期刊
流动党员
东营经济开发区
人力资源
社会科学
入党积极分子
党员服务中心
基层党支部
制度化管理
底数
外出流动
安全又危险的疯狂比特币
比特币的证券特征显著rn在中国投资者以及矿工的推动下,比特币的市场行情水涨船高,其成交价在11月19日到达历史最高点3490元人民币,仅仅过了不到24小时,11月19日,价格几乎以
期刊
安全
危险
比特
人民币
价格上涨
中国
市场行情
交易平台
投资者
证券
特征
态势
水涨
历史
矿工
《钓鱼》教学例谈
中小学要从“应试教育”转向全面提高国民素质的轨道,面向全体学生,全面提高学生的思想道德、文化科学修养、劳动技能和身体心理素质是《中国教育改革和发展纲要》对教育转轨
期刊
浅谈短路电流对变压器轴向稳定性的危害
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
变压器
稳定性
短路电流
危害
与本文相关的学术论文