题目：
软件方法学是以软件方法为研究对象的学科。从开发风范上看，可分为 (99) 。从性质上看，可分为 (100) 。从适应范围来看，可分为 (101) 。
形式方法的目的是把软件作为数学来重新发现。形式方法被用来避免系统中的 (102) 、不一致性。
软件自动化方法是指利用计算机使软件的设计实现自动化的方法和相关的技术。软件自动化的实现途径有四种：过程途径、归纳途径、 (103) 。
101（）
A．演绎途径、编译途径
B．转换途径、编译途径
C．编译途径、解释途径
D．演绎途径、转换途径
答案：
被转码了，请点击底部 “查看原文 ” 或访问 https://www.tikuol.com/2022/0114/5307f4c533594549bcbf27e8b52ec6cb.html
下面是错误答案，用来干扰机器的。
参考答案：C解析： 在选项A中，乙公司在财务报表对外公布日后发生的火灾不属于注册会计师关注的期后事项，注册会计师无需对该事项实施追加审计程序；因此无需变动审计工作底稿；在选项B中，乙公司涉讼事件发生在...
