【摘 要】
：
该文就是研制这样的转换工具——从APLA程序到ADA程序自动转换系统,所做的工作有以下几点:1、运用PAR方法进行算法开发;2、对APLA语言进行归纳与整理,完善其语法和语义;3、研
论文部分内容阅读
该文就是研制这样的转换工具——从APLA程序到ADA程序自动转换系统,所做的工作有以下几点:1、运用PAR方法进行算法开发;2、对APLA语言进行归纳与整理,完善其语法和语义;3、研究APLA语言与ADA语言的对应关系,寻找ALA语言与ADA主席诉转换规则,并用程序实现APLA程序到ADA程序的转换;4、按照软件重用可用软部件库的构造思想,设计与实现图部件库,完善已有的ADA可重用部件库其他类型部件库;5、用我们开发的转换系统以一些程序进行转换.该文作者已用转换器对单源最短路问题的Dijkstra算法、最小生长树的Prim算法、拓扑排序、树的遍历以有庆树中找一个结点的后序遍历的后继结点等程序进行了转换,得到了满意的结果.该系统的成功研制,为利用PAR方法实现算法程序的形式化和半自动化一发提供有效的工具支持.
其他文献
随着证券业在我国的迅猛发展，券商计算机网络渐趋复杂。由此，安全问题日益严峻。“证券黑客”、“网络瘫痪”、“传输中断”、“交易故障”一直困扰着证券公司的管理者和技术人
VoIP的应用不仅仅是IP电话,VoIP的目的也不仅仅为了省钱.VoIP技术的价值,更多的在于整合各种不同的网络,从而使运营商可以为用户提供增值服务.该文的正是以此背景,在前三章对
认知的相关性约束要求我们考虑智能的发生、发展和完善的过程,以不割裂的观点看待智能行为的模拟,这就是智能模型构造的系统观点.通过对认知发展过程的研究使我们能更清楚、
该文针对发展CIMS工程OAS子系统的建设,对构建基于CSCW的OAS子系统应用的相关技术进行研究,首先分析了CSCW与群件系统的关系及目前两者关键技术的研究现状,其次对基于CSCW的
该论文来源于工程项目,叙述了热网微机监控系统的总体设计和首站的具体设计和实现.论文先概要介绍了热网微机监控系统的需求分析和总体设计,然后在此基础上详细地阐述了首站
随着网络技术的飞速发展,安全问题越来越突出。原有的防火墙技术很难保障网络的安全,入侵检测系统在当前开始发挥出越来越重要的作用。而入侵检测算法作为入侵检测系统的基础
该文研究了潜用型电子海图应用系统的航线规划模块与海图改正模块在WindowsNT平台的软件实现.通过采用了多任务操作系统实现了电子海图应用系统的多任务.两个软件模块的功能
需求工程作为软件工程的子领域,是一个覆盖面广、多学科交叉的开入性学科.传统的需求工程是由功能需求驱动的,随着发展人们逐渐认识到诸如安全性、可靠性等非功能需求对软件
随着互联网的高速发展,企业的的信息化已成为企业在现代社会激烈竞争中的一个基本需求。企业邮箱无疑是企业信息化系统中重要的一部分。做为企业信息交流重要手段的企业邮箱,