• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 1999, Vol. 21 ›› Issue (4): 27-31.

• 论文 • 上一篇    下一篇

结构化方法,面向对象方法的形式方法的比较与结合

缪淮扣 高晓雷   

  • 出版日期:1999-04-01 发布日期:2010-06-30

  • Online:1999-04-01 Published:2010-06-30

Abstract:

结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。本文对这三种开发方法进行了对照比较,讨论了它们的互相结合,并提出了将其结合在一起的集成方法的 设想。

Key words: 结构化方法 面向对象方法 形式方式 软件开发