出处：信息科学卷 • 计算机科学技术 • 软件与系统
| 词条 | 软件自动化方法 |
| 释义 | 软件自动化方法 软件自动化方法 借助计算机系统实现软件开发的方法。主要涉及软件开发、软件规约、自动生成和自动验证等。实现方法主要有演绎综合、程序转换、归纳综合和过程实现。分低级自动化、中级自动化和高级自动化等层次。可理解为从形式的软件功能规约到执行的程序代码这一过程的自动化。 出处：信息科学卷 • 计算机科学技术 • 软件与系统 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。