采用面向对象方法开发软件，通常需要建立三种形式的模型

所谓的软件开发模型，其实就是开发软件所经历的各个阶段 ，一般都会包括：需求->设计->编码-测试-运行维护。当然，不同的开发模型会稍有不同 ，每个模型都有其使用场景以及对应的公司使用 ，每个模型都有其优缺点 ，同时每个模型所解决问题的侧重点不同。

软件开发发展： 1、程序设计时代：单打独斗时代，低级汇编 2、程序系统时代：形成组织，basic等 3、软件工程时代：有一套完整的软件开发体系，团队合作时代，c/c++等 软件描述语言： 1、需求描述语言：UML，数据流图 2、功能描述语言：PDL，流程图 3、程序设计语言：Java c c++（最不值钱的软件描述语言） 软件危机（软件开发、维护过程中产生的严重的问题）： 1、需求量大，软件生产力小 2、软件规模大，无法控制生产成本、时间 3、软件质量差 4、无文档 软件开发模型：

（1） 瀑布模型（waterfall model）      瀑布模型核心思想是按工序将问题化简，将功能的实现与设计分开，便于分工协作，即采用结构化的分析与设计方法将逻辑实现与物理实现分开。将软件生命周期划分为制定计划、需求分析、软件设计、程序编写、软件测试和运行维护等六个基本活动，并且规定了它们自上而下、相互衔接的固定次序，如同瀑布流水，逐级下落。从本质来讲，它是一个软件开发架构，开发过...

面向对象分析的三个模型分别是对象模型、动态模型和功能模型。对象模型是最基本、最重要、最核心的。

RUP（Rational Unified Process，统一软件开发过程）。

用面向对象方法开发软件，通常需要建立3种形式的模型，它们分别是描述系统数据结构的对象模型，描述系统控制结构的动态模型和描述系统功能的功能模型。 一个典型的软件系统使用数据结构(对象模型)，执行操作(动态模型)，并且完成数据值的变化(功能模型)。 对任何大系统来说，上述3种模型都是必不可少的。用面向对象方法开发软件，在任何情况下，对象模型始终都是最重要、最基本、最核心的。 在面向对象分析过程中

用面向对象方法开发软件，通常需要建立三种形式的模型：对象模型：描述系统数据结构动态模型：描述系统控制结构功能模型：描述系统功能 什么是对象模型对象模型表示静态的、结构化的系统的“数据”性质。对象模型是对模拟客观世界实体的对象以及对象彼此间的关系的映射，描述了系统的静态结构。什么是动态模型动态模型表示瞬时的、行为化的系统的“控制”性质，规定了对象模型中对象的合法变化序列。即对象的动态行为。用

VDM --VDM是在1969年为开发PL/1语言时，由IBM公司维也纳实验室的研究小组提出的，VDM是一种功能构造性规格说明技术，它通过一阶谓词逻辑和已建立的抽象数据类型来描述每个运算或函数的功能，这种方法在90年代初在欧美许多研究机构或大学得到了广泛的应用。 VDM技术的基本思想是运用抽象数据类型、数学概念和符号来规定运算或函数的功能，而且这种规定的过程是结构化的，其目的是要在

友情提示：本文理论性和专业性较强，如果木有接触过该领域，读起来可能会有一点点吃力，！本文是Sunny结合多份资料综合整理而成，有点凌乱，见谅！        软件形式化方法(Formal Method)在软件开发中一直都受到多方面的争议。持肯定态度的拥护者认为形式化方法会引起软件开发的革命，另一些持否定态度者则怀疑甚至反对将数学引入软件开发过程中。       形式化开发方法的一些争议或缺陷主要体

软件形式化方法(Formal Method)在软件开发中一直都受到多方面的争议。持肯定态度的拥护者认为形式化方法会引起软件开发的革命，另一些持否定态度者则怀疑甚至反对将数学引入软件开发过程中。

软件开发方法、开发模型

用面向对象方法开发软件，通常需要建立3种形式的模型，它们分别是描述系统数据结构的对象模型，描述系统控制结构的动态模型和描述系统功能的功能模型。

介绍常用的面向对象分析方法：名词法、CRC卡片法和分析模型法。

形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较，找出其中各个部分相互联结的方式，如命题中包含概念彼此间的联结，推理中则是各个命题之间的联结，抽取出它们共同的形式结构，再引入表达形式结构的符号语言，用符号与符号之间的联系表达命题或推理的形式结构。例如，把全称肯定命题，用符号形式为"SAP"；把联言命题、假言命题分别形式化为:"p∧q”“p→q”。

软件形式化方法(Formal Method)在软件开发中一直都受到多方面的争议。持肯定态度的拥护者认为形式化方法会引起软件开发的革命微笑，另一些持否定态度者则怀疑甚至反对将数学引入软件开发过程中难过。 形式化开发方法的一些争议或缺陷主要体现在： (1) 形式化方法中所包含的数学理论，限制了大多数程序设计人员的学习和使用； (2) 认为采用形式化方法会延误项目开发周期、增加开发费用； (3) 许多流行的形式化方法对于较小规模的项目是有效的，但却很...

GTFL