文件名称：软件开发中的形式化方法
文件大小：39KB
文件格式：PDF
更新时间：2010-10-28 08:14:22
形式化方法 软件开发
基于研究的角度，讨论了在软件开发过程各阶段使用形式化方法的可能及困难，进而研究了形式化方法在理论上和应用上的能力、局限性及其产生原因，以及由此产生的对形式化方法的讨论。
软件开发中的形式化方法
【文件属性】：
网友评论
- 总体 来说 还是 可以的, 如果免费更好了
- 都是对形式化方法比较初级的理论概述，介绍的也不是很详细，接受起来比较困难，应更多的针对应用
- 介绍还可以，不过有点抽象，不是很好理解