首页> 中文期刊> 《计算机工程》 >形式方法与面向对象方法的结合探讨

形式方法与面向对象方法的结合探讨

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

文中讨论了形式方法和面向对象方法各自的优缺点,结合作者设计的面向对象形式规格说明语言OOZS,介绍了将这两种方法结合起来的三种途径,并对这三种途径进行了分析、评价和对比,最后提出了今后的研究方向.

著录项

来源
《计算机工程》 |1998年第1期|13-1669|共5页
作者
李刚; 朱关铭; 童頫;
展开▼
作者单位

上海大学计算机科学系;

上海;

201800;

上海大学计算机科学系;

上海;

201800;

上海大学计算机科学系;

上海;

201800;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
软件工程; 规格说明语言; 形式方法; 面向对象方法;

相似文献

中文文献
外文文献
专利

1. 结构化方法,面向对象方法的形式方法的比较与结合 [J] . 缪淮扣 ,高晓雷 . 计算机工程与科学 . 1999,第004期
2. 结构化方法与面向对象方法结合方案的探讨 [J] . 周民 ,王秀丽 . 科技创新导报 . 2012,第020期
3. 关于通信协议测试生成形式方法的探讨 [J] . 刘积仁 ,都军 . 东北大学学报：自然科学版 . 1995,第002期
4. 火炮系统总体优化设计的形式方法探讨 [J] . 王苏滨 ,张月林 . 计算机辅助设计与图形学学报 . 1994,第001期
5. 结构化与面向对象方法相结合的《软件工程》教学方法与研究 [J] . 魏红娟 . 内江科技 . 2012,第012期
6. 智能管理信息系统中人工智能与面向对象方法的结合 [C] . 吴文斌 . 中国机械工程学会第五次工业工程学术会议 . 1997
7. 光谱梯度差分与面向对象方法相结合的高分辨率遥感影像变化检测 [A] . 韩飞 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号