检索结果-维普期刊中文期刊服务平台

分划递推法及其应用被引量：5: 1; 作者李云清《计算机工程与应用》 CSCD 北大核心 2001年第17期77-79,88,共4页; 分划递推法是一种新的算法设计技术。在分划递推法中使用逻辑符号和扩充的量词表示功能规约。分划是处理复杂问题的一般方法，而递推可用于循环不变式和算法设计开发。文中给出的三个实例呈现了使用分划递推法进行算法设计和开发的步骤... 展开更多; 关键词算法设计分划递推法程序设计软件自动化; 在线阅读下载PDF 职称材料

提高ADA可重用程序部件可靠性的两种方法: 2; 作者杨庆红薛锦云《计算机工程》 CAS CSCD 北大核心 2001年第6期9-10,共2页; 建立可重用程序部件库是克服“软件危机”，提高软件生产效率的有效途径之一。主要从避错方法和容错技术两方面入手，详细阐述了提高ADA可重用程序部件可靠性的方法。; 关键词可重用部件分划递推法容错技术可靠性 ADA 程序设计方法; 在线阅读下载PDF 职称材料

EGCL-Java程序转换器的研究与实现: 3; 作者李欣薛锦云《江西师范大学学报（自然科学版）》 CAS 2001年第2期137-143,共7页; 以分划递推法等理论为基础 ,客观地分析了软件开发的全过程 ,详细阐述了将抽象程度较高的EGCL语言程序自动转换成可执行的高级Java语言程序的关键技术 ,并开发了一套基于Java语言的可重用类库用于支持程序的转换 ,得到了满意的结果 .; 关键词分划递推法 EGCL语言 JAVA语言可重用部件库程序转换器软件开发; 在线阅读下载PDF 职称材料