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

The Comparison and Combination of Structured Methodology,Object Oriented Methodology and Formal Methods

作　　者：缪淮扣[1] 高晓雷[1] 李刚[1] 

机构地区：[1]上海大学计算机科学系

出　　处：《计算机工程与科学》1999年第4期27-31,共5页Computer Engineering & Science

基　　金：国家自然科学基金;上海市教委科技发展基金

摘　　要：结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。本文对这三种开发方法进行了对照比较，讨论了它们的互相结合，并提出了将其结合在一起的集成方法的设想。Structured methodology,object oriented methodology and formal methods are different software development methods.This paper compares them by examples,discusses the combination of these methods,and presents the idea of integrating them into an integrated method.

关 键 词：结构化方法 面向对象方法 形式方式 软件开发 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]