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

作     者：吴会松 

作者机构：华北石油勘察设计研究院计算机应用研究室 

出 版 物：《郑州工业大学学报》 (Journal of Zhengzhou University of Technology)

年 卷 期：1997年第18卷第1期

页      码：95-100页

摘      要：随着软件开发规模的迅速扩大，目前流行的软件开发方法（包括当前的软件工程法）已难以满足开发实践的要求，实践要求在软件开发方法学上能有新的进展。鉴于此，本文在面向对象及开式化方法的基础上，系统地提出了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥。

主 题 词：软件开发 面向对象 形式化方法 软件重用 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

馆 藏 号：203131655...