自动化方法（software automation method），理学-计算机科学技术-计算机软件-软件语言与方法-软件方法学，通过规约自动产生程序从而实现软件自动化的开发方法。软件自动化有狭义和广义两种理解，狭义的软件自动化是指由规约自动生成程序，广义的软件自动化是指利用计算机系统辅助开发软件。在软件方法学的范畴内，一般采用软件自动化的狭义理解。自动化方法传统上基于形式化的规约，但随着人工智能（特别是智能化自然语言处理）的发展，非形式化的规约也开始用于自动化方法。从实现途径角度看，软件自动化方法可归为程序变换和程序综合两类。