程序设计自动化相关论文
<正>递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,......
通过证明程序规约的方法可构造相应程序，但对“难题”和无证明的规约，无法使用这种方法构造程序，另一方面，如果可构造程序规约的验证程......
研究智能演化技术问题和数据分析问题，结合程序设计自动化和离散性数据，运用GEP算法的知识编程，处理太阳黑子，降水量等数据。通过遗传......
本文是利用VB改变Macro的结构，使PowerPoint程序自动化。...
本文阐述Ｃ程序设计自动化逆过程的实现，即阐述从Ｃ程序设计自动生成用图形语言－ＰＡＤ图表示的设计思想，关键技术，系统特点以及对ＰＡＤ图式的扩充与细......
采用了基于构件理论的软件开发方法，运用ActiveX技术、系统集成技术、人工智能技术以及XML语言，对医疗卫生机构信息应用平台HISPF中......
本文提出了能快速研究计算机应和新产品满足市场需求的中小型软件开发模型，即“核心功能优先、由里向外扩展”的软件开发模型。......
<正> 美国MathWorks公司的MATLAB具有强大的符号、数值计算、矩阵计算能力以及计算结果可视化能力,是一个功能强大的计算机辅助设......
探讨了AutoCADR14的ActiveX自动化的概念及其编程技术，分析了它的对象模型以及Delphi环境下编写ActiveX自动化程序的可行性，最后给出......
