论文网
软件开发有关论文范文素材,与形式化描述方法的应用相关毕业论文格式范文
本论文是一篇软件开发有关毕业论文格式范文,关于形式化描述方法的应用相关电大毕业论文范文。免费优秀的关于软件开发及软件工程及可靠性方面论文范文资料,适合软件开发论文写作的大学硕士及本科毕业论文开题报告范文和学术职称论文参考文献下载。
#21450;其口令的模式Delete.5结束语
基于形式化方法的软件开发的基本思想是用形式化规约语言精确地描述软件规约说明,然后使用形式化的工具转化为可执行的代码,从而规范和验证程序的正确性.研究形式化方法的目的就是希望能够提供更好的理论、方法和工具,提高软件开发的质量和效率.虽然形式化方法已经有了一些应用,但是也应认识到其应用还不广泛,它在一些方面还需要进一步的研究和发展,尤其在工业应用中还有困难和缺陷.如果它能将多种方法结合起来应用于软件开发的全周期,并和一些形式化工具很好地结合使用,那么一定会提高软件的质量和生产效率,它的应用空间也会更大.
参考文献
[1]古天龙.软件开发的形式化方法[M].北京:高等教育出版社,2005．
[2]李未.数理逻辑基本原理与形式推演[M].北京:科学出版社,2007．
[3]屈延文.形式语义学基础与形式说明[M].北京:科学出版社,2010．
作者简介
冯松军（1983-）,男,河南郑州人.硕士研究生.主要研究方向为软件工程及其应用、软件系统形式化、计算机网络.
作者单位
内江师范学院四川省内江市641112
软件开发有关论文范文素材,与形式化描述方法的应用相关毕业论文格式范文参考文献资料：