软件进程图形表示算法
在计算数学关于函数结构理论的基础上,本文讨论了软件进程计算结构图形表示算法.本文面向问题‘需求',以形式推导方法,详细分析了如何把‘需求'的形式语义置于图形树之上,在抽象树上实现语义定义的方法;建立算法,实现软件进程计算结构图形表示,实现抽象树向具体语义树的转换;并说明这个图形就是问题求解的树形体系结构.本文详细分析了这个算法的理论基础、逻辑框架、建立过程;正式表达算法的规范定义和正确性结论;最后,着重分析了算法隐含的不确定因素,以及由它们引起的相关结论和这些结论的重要性.
软件进程、图形表示、算法、需求、树
30
TP182(自动化基础理论)
国家"八六三"计划项目2002AA111010、2003AA00103
2009-06-09(万方平台首次上网日期,不代表论文的发表时间)
共5页
863-867