【自动程序设计及其实现研究】张晓华.pdf

吉林工业大学西究华业业诊文理纸第一章概述 51问背景应用软体开法方法的历史发展表明软体开发生产率有了很大的变化。尽管計弥机使生产率得到迅连解放,使社会高自动化、信息化,.却没有使计机本身的软体生产得到类似的变革.1有动程产设计的会义尽可能借助于计琼机系统,实现软体开发,实现从形式的软体规范说明到可执行的程序代鸡这一过稳的自动化。①低级自动什:从软体设计规范说明到可执行代鸡。②中级自动什:从软体功能规茫说明到可执行代鸡.高级自动化:从非形式的软件描述到可执行代鸡.3.

吉林工业大学在的问题; 1.缩短了软体开发周期; 2.改善了应用软体的可继护恍; 3.能广泛地适用于各类用户.红自动程产设计与用顿城知识自动程产设计录统必须是有应用锲城够知识,绝对自动化的.应用软体关识库知通南图2 第三章自动程方设计的基本途径 3演绛综合合成开发一个满足给定规范说明的程字在形式上等价于寻求规茫说明的满意性的构性明。

吉林工业大学研究生座业许文里级图中双线箭头表数据流向,单我箭头表控划流向.功能及部体:1.参教输入、参数授收; 2.参数输出、合法性检验参数解释器这是系统的核心部分 4.辅助设计库 5.试运行器和校正器 6.程序生成器 543参数解释器对输入的参数进行释,解释后的信息存子辅助设计中供程产生成器使用。解释过程中使用了划表规则及划表符.344数据库系统系统中使用了若干数据库,其中有两个空连,为用户提供统一的障彷构:号外TABLE 中存放系统的保留字。