数学学院 主 页 科 研 教 学 生 活
|
数学学院 主 页 科 研 教 学 生 活 |
软件开发中的形式化方法作者：郑红军，张乃孝原载：计算机科学，Vol.24,No.6,p90-96，1997 摘要：文基于研究的角度，首先讨论了在软件开发过程各阶段使用形式化 方法的可能及困难，进而研究了形式化方法在理论上和应用上的能力、局限性及 其产生原因，以及由此产生的对形式化方法的讨论。最后，综合上述讨论，从形 式化方法的实质出发，在方法上，对形式化方法的研究提出了几点建议，以及基 于这些建议所能看到的形式化方法研究可能的一些发展方向。 关键词: 形式化方法 软件开发 下载：[pdf]
论文著作的详细列表
|
|||