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