软件水平考试

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

网考网参考答案：A
网考网解析：
暂无解析 document.getElementById("warp").style.display="none"; document.getElementById("content").style.display="block"; 查看试题解析出处>>