单选题软件方法学是以软件方法为研究对象的学科。从开发风范上看，可分为 (99) 。从性质上看，可分为 (100) 。从适应范围来看，可分为 (101) 。
形式方法的目的是把软件作为数学来重新发现。形式方法被用来避免系统中的 (102) 、不一致性。
软件自动化方法是指利用计算机使软件的设计实现自动化的方法和相关的技术。软件自动化的实现途径有四种：过程途径、归纳途径、 (103) 。

【正确答案】 D

【答案解析】[解析] 软件方法学是以软件方法为研究对象的学科。从开发方法上看，可分为自顶向下开发方法和自底向上开发方法。自顶向下开发方法强调开发过程是由问题到解答、由总体到局部、由一般到具体；自底向上开发方法从系统实现的最基础部分着手，由简单到复杂，逐层向上构造，直至得到所需的软件。
从性质上看，软件方法学可分为形式方法与非形式方法，形式方法是建立在严格数学基础上的软件开发方法。在软件开发的各个阶段中，凡是采用严格的数学语言，具有精确的数学语义的方法，称为形式方法。采用形式方法可避免系统中的歧义性、不完全性和不一致性。而非形式方法则不把严格作为其主要着眼点。
从适用范围上看，软件方法学可分为整体性方法和局部性方法。整体性方祛适用于软件开发的全过程，如自顶向下方法、自底向上方法、软件自动化方法；局部性方法适用于软件开发过程的某个具体阶段，如各种需求分析方法、设计方法等。
软件自动化方法是尽可能借助计算机系统实现软件开发的方法。也可狭义地理解为从形式的软件功能规约到可执行的程序代码这一过程的自动化，其实现途径主要有过程途径(过程实现)、演绎途径(演绎综合)、转换途径(程序转换)、归纳途径(归纳综合)等。