未找到相关数据
一种以面向对象及形式化技术为基础的严格的软件开发方法
被引：5
作者：
吴会松
机构：
[1] 华北石油勘察设计研究院计算机应用研究室
来源：
关键词：
软件开发方法,面向对象,形式化方法,软件重用,程序变换,系统验证;
D O I：
暂无
中图分类号：
TP311 [程序设计、软件工程];
学科分类号：
摘要：
随着软件开发规模的迅速扩大，目前流行的软件开发方法（包括当前的软件工程法）已难以满足开发实践的要求，实践要求在软件开发方法学上能有新的进展。鉴于此，本文在面向对象及开式化方法的基础上，系统地提出了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥，使软件开发能适应形势的需要
引用
收藏
页码：98 / 103
页数：6
相关论文