选择题
1.到目前为止存在的软件生存期模型：演化模型、螺旋模型、智能模型、喷泉模型、瀑布模型等。
2.软件需求分析方法包含原型化方法和结构分析方法，原型主要有三种不同的的作用类型：探索性、实验型、进化型；
探索性的目的是弄清目标系统的需求，确定所希望的特性，研究多种方案的可行性。它主要针对开发目标模糊，用户和开发者都缺乏经验的情况。
实验性的目的用于大规模开发和实验之前，考核方案是否合法，规格说明书是否可靠。
进化型的目的不在于改进规格说明，将系统建造的易于变化，在改进原型的过程中，逐步将原型改变成最终的系统。它将原型方法的思想扩展到软件开发的全过程，适合于需求变动。
3.由于运用原型的目的和方式不同，在使用原型时可采用以下两种不同的策略：
- 废弃策略：先构造一个功能简单，对质量要求不高的模型，然后针对这个模型进行反复修改，逐步改造成最终的系统，改造完成后，废弃原有的模型，它应用于探索性和实验性。
- 追加策略：先构造一个功能简单、对质量要求不高的模型系统，作为最终系统的核心，然后针对这个模型对其不断扩充完善，最后成为最终的系统，它应用与进化型。
软件工程设计阶段中，三种常用的设计方法：结构化设计方法 SD、Jackson方法和Parnas方法。
SD方法：侧重于用数据流图表示系统的分解，且用数据字典和说明分别表示数据和加工的含义；
Jackson方法：侧重于由数据结构侧到处模块结构；
Parnas方法：主要思想将可能因其变化的因素隐藏在某有关模块内部，使这些因素的影响范围受到限制。
七十年到到九十年代早期，SD是最为常用的方法，Parnas方法是只提供了重要的设计准则，没有规定出具体的工作步骤。
4.程序的正确性证明是指：用逻辑方法证明程序终止且满足给定的程序规范，常用的正确性证明方法之一是Hoare方法，在程序中插入的逻辑公式称为Hoare公式。当Hoare公式出现在循环中，并且它具有如下性质：只要第一次进入循环时Hoare公式为真，那么第N次进入循环时Hoare公式仍为真，此时这样的Hoare公式就称为断言。如果公式E在执行程序段“Z: = Z*A; Y: =Y-1”之前为真，则执行该程序段之后，E仍然保持为真。
5.软件语言包括：需求定义语言、功能性语言、设计性语言、程序设计性语言和文档型语言等。功能性语言用来书写软件的功能规约，如Z语言，函数式程序设计语言和逻辑式程序设计语言都属于申述式语言。逻辑式语言的基础是谓词逻辑，如PROLOG是逻辑式程序语言，他的基本运算单位是Hoare子句，函数式语言是一种面向值的语言。