[1]吴会松.一种以面向对象及形式化技术为基础的严格的软件开发方法[J].郑州大学学报(工学版),1997,18(01):99-104.
　Wu Huisong.Software development method based on object -oriented and formal technology[J].Journal of Zhengzhou University (Engineering Science),1997,18(01):99-104.
点击复制

一种以面向对象及形式化技术为基础的严格的软件开发方法()
分享到：

《郑州大学学报(工学版)》[ISSN:1671-6833/CN:41-1339/T]

卷:
18
期数:
1997年01期
页码:
99-104
栏目:
出版日期:
1997-07-28

文章信息/Info

Title:
Software development method based on object -oriented and formal technology
作者:
吴会松
华北石油勘察设计研究院计算机应用研究室
Author(s):
Wu Huisong
Computer Application Research Office of North China Petroleum Survey and Design Institute
关键词:
软件开发方法; 面向对象; 形式化方法; 软件重用; 程序变换; 系统验证
Keywords:
Software development method;  object -oriented;  formalized method;  software reuse;  program transformation;  system verification
文献标志码:
A
摘要:
随着软件开发规模的迅速扩大，目前流行的软件开发方法（包括当前的软件工程法）已难以满足开发实践的要求，实践要求在软件开发方法学上能有新的进展。鉴于此，本文在面向对象及开式化方法的基础上，系统地提出了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥，使软件开发能适应形势的需要
Abstract:
With the rapid expansion of software development, the current popular software development methods (including the current software engineering method) have difficulty meeting the requirements of development practice, and practice requires new progress in software development methods. In view of this, on the basis of object -oriented and opening methods, this article systematically proposes a strict software development method, trying to make the developer’s creativity and the automation ability of the development environment.

相似文献/References:

[1]秦可,刘敏珊,崔岩..面向对象技术在换热设备零部件设计中的应用[J].郑州大学学报(工学版),2001,22(02):83.[doi:10.3969/j.issn.1671-6833.2001.02.025]
　QIN Ke,LIU Minshan,Cui Yan.Application of object-oriented technology in the design of heat exchange equipment components[J].Journal of Zhengzhou University (Engineering Science),2001,22(01):83.[doi:10.3969/j.issn.1671-6833.2001.02.025]
[2]许忠信,王先逵,雷田玉,等.机械设计专家系统中面向对象的知识表达方法研究及应用[J].郑州大学学报(工学版),1996,17(02):1.
　Xu Zhongxin,Wang Xianyi,Laotian Yu,et al.Research and application of object -oriented knowledge expression methods in mechanical design expert system[J].Journal of Zhengzhou University (Engineering Science),1996,17(01):1.

备注/Memo

备注/Memo:
作者
更新日期/Last Update: 1900-01-01