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

摘要

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