《软件分析》专辑前言

摘要：

@@ 软件分析(Software Analysis)是以软件为对象通过静态或动态的方法进行人工或自动分析,以验证、确认、监控或发现软件性质(或者规约、约束)的过程或活动.软件分析是计算机科学与技术领域的经典和核心内容,源于人们试图认识程序行为和性质的努力.早期的软件分析主要还是程序分析,是高级语言编译过程的第一步工作,长期以来,在编译理论和技术的发展中得到了较深入的研究.

机标关键词：软件分析、科学与技术、自动分析、性质、核心内容、编译过程、高级语言、程序行为、程序分析、Software、Analysis、计算机、约束、验证、行人、认识、理论、经典、监控、活动

所属期刊栏目：32

分类号：TP3

在线出版日期：2009-11-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：1695-1696