首页> 中文期刊> 《电脑与电信》 >软件开发的形式化方法

软件开发的形式化方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

随着计算机及软件系统逐步渗透到社会生活的方方面面,对软件可靠性、安全性和保密性的要求也越来越高.本文阐述了形式化方法的定义、重要性及主要研究内容.着重讨论了形式规约方法,以及演绎证明和模型检测等形式验证方法.

著录项

来源
《电脑与电信》 |2008年第7期|25-27|共3页
作者
袁志斌;
展开▼
作者单位

广东商学院信息学院,广东,广州,510320;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
形式化方法; 规约; 验证;

相似文献

中文文献
外文文献
专利

1. 基于形式化方法的CBTC系统安全软件开发 [J] . 陈祥 ,左辉 . 铁道通信信号 . 2017,第009期
2. 形式化方法在藏文软件开发中的应用研究 [J] . 马小龙 . 甘肃高师学报 . 2017,第003期
3. 形式化方法在软件开发中的应用 [J] . 曹斌 ,刘栓 . 计算机光盘软件与应用 . 2014,第012期
4. 面向方面软件开发的形式化方法与编译器技术分析研究 [J] . 张谷铭 ,张广泉 . 苏州大学学报（工科版） . 2010,第004期
5. 基于形式化方法的软件开发技术 [J] . 陈丹 . 软件工程师 . 2009,第009期
6. 形式化证明在区域控制器应用软件开发中的应用 [C] . 吕新军 ,罗勋 ,陈祥 . 2016年全国智慧城市与轨道交通学术会议 . 2016
7. 基于构件的形式化方法在软件开发中的应用研究 [A] . 王永伟 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号