|国家科技期刊平台
| 注册
首页|期刊导航|郑州工业大学学报|一种以面向对象及形式化技术为基础的严格的软件开发方法

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

吴会松

郑州工业大学学报1997，Vol.18Issue(1)：95-100,6.
✕
郑州工业大学学报1997，Vol.18Issue(1)：95-100,6.

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

吴会松1

作者信息

  • 1. 华北石油勘察设计研究院计算机应用研究室
  • 折叠

摘要

关键词

软件开发/面向对象/形式化方法/软件重用

分类

信息技术与安全科学

引用本文复制引用

吴会松..一种以面向对象及形式化技术为基础的严格的软件开发方法[J].郑州工业大学学报,1997,18(1):95-100,6.

郑州工业大学学报

1007-6492

访问量0
|
下载量0
段落导航相关论文