|
|||||
|
|
| 形式化技术在软件工程中的作用 | |
| 引用本文： | 闻寅啸.形式化技术在软件工程中的作用[J].电子游戏软件,2013(21):69-69. |
| 作者姓名： | 闻寅啸 |
| 作者单位： | 苏州大学计算机科学与技术学院,江苏省苏州市215000 |
| 摘 要： | 本文主要介绍了形式化技术的一些基本的理论，重点对形式化技术在软件工程和数学理论基础领域的作用进行研究。分析了形式化技术在软件工程领域的一些优势和局限性。并且指明了形式化技术在以后的发展中可能的方向，并且对形式化技术在软件工程中的作用进行了评价。 |
| 关 键 词： | 软件工程 形式化技术 理论基础 |
| 本文献已被 维普 等数据库收录！ | |