论文部分内容阅读
软件自动化是提高软件开发效率的重要途径,它成为了目前软件开发研究中的一个重要的课题.软件自动化通常采用形式化的定义语言,以及从软件功能型以及非功能性需求角度给出了软件系统的精确的、无二义性的描述.通过求精变换来达到自动生成程序语言的目的.而该文提出了一种面向程序自动生成的功能需求分析描述语言,能够在特定的系统开发中使"思想变成程序",并给出了该语言所基于的IDEF0图的形式化方法,也提出了验证用该语言所描述的系统的一致性和完备性算法及其语言的语法分析和解释.