| 一种以面向对象及形式化技术为基础的严格的软件开发方法 |
| |
| 引用本文： | 吴会松. 一种以面向对象及形式化技术为基础的严格的软件开发方法[J]. 郑州大学学报(工学版), 1997, 0(1) |
| |
| 作者姓名： | 吴会松 |
| |
| 作者单位： | 华北石油勘察设计研究院计算机应用研究室 |
| |
| 摘 要： | 随着软件开发规模的迅速扩大，目前流行的软件开发方法（包括当前的软件工程法）已难以满足开发实践的要求，实践要求在软件开发方法学上能有新的进展。鉴于此，本文在面向对象及开式化方法的基础上，系统地提出了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥，使软件开发能适应形势的需要
|
| 关 键 词： | 软件开发方法 面向对象 形式化方法 软件重用 程序变换 系统验证 |
A Software Exploitation Method Based on Faling to User And Formalize Techneque |
| |
| Wu Huisong. A Software Exploitation Method Based on Faling to User And Formalize Techneque[J]. Journal of Zhengzhou University: Eng Sci, 1997, 0(1) |
| |
| Authors: | Wu Huisong |
| |
| Affiliation: | North institute of oil exploration and design |
| |
| Abstract: | In this psper, a strictly software exploitaion method was given. So that exploiter's Creation and the automation of exploited cirmstanle Can be fuu used,and software exploitation Can provide the need for user. |
| |
| Keywords: | software exploitation method face to user using software once program transformation system assay. |
| 本文献已被 CNKI 等数据库收录！ |
