【摘 要】
：
Ada是美国国防部主持研制的一个面向嵌入式系统的三军通用大型程序设计语言,它集中了世界上几乎所有著名程序设计语言与软件专家的智慧,体现了程序设计语言、软件理论与软件
论文部分内容阅读
Ada是美国国防部主持研制的一个面向嵌入式系统的三军通用大型程序设计语言,它集中了世界上几乎所有著名程序设计语言与软件专家的智慧,体现了程序设计语言、软件理论与软件工程研究的最新成果.因此,对Ada语言及其软件开发与维护中的有关问题进行研究不仅具有重要的理论意义,也具有广阔的应用前景.该文在对Ada进行依赖性分析的基础上,建立了Ada并发程序依赖性分析模型,研究了Ada并发程序切片以及并发程序变换中的理论与方法,并对Ada83软件向Ada95软件转换过程中如何充分利用Ada95面向对象特性的有关问题进行了探讨.
其他文献
该文是在我校自行设计开发的分布式多媒体辅助教学系统的基础上,利用组件技术,设计开发了基于局域网络环境的考试系统.该文首先介绍了分布式多媒体辅助教学系统,并在此基础上
论文首先展现整个模型的设计框架.通过与其他面向对象工具的对比,深入研究组件技术的特性及其实现机理.接着就实时数据采集展开论述,在定义完内部接口函数之后为提出众多的直
随着现代信息社会的飞速进步,电信网络和电信业务逐渐成为社会发展的重要基石.电信行业对开发更加复杂的、更高性能的电信网管领域软件系统提出了要求,如何提高电信网管领域
该文对运营支撑系统的参考模型TOM模型进行了研究分析,比较全面地介绍了TOM模型的提出组织、与TMN模型的不同之处、重要性、目标、处理过程模型以及对计费系统的指导;并且使
随着现代远程教育的发展,它为学生提供了个性化的多媒体学习环境,从而打破了传统教育体系中的时空限制.对现代远程教育的研究已经成为教育技术领域及至信息技术领域的热点.该
为了满足武器系统对嵌入式操作系统的需求,该文从通用Linux出发,经过对Linux内核的改造,对Linux系统的裁减,构建出满足需要的实时嵌入式Linux.首先在文中,从进程调度、中断处
随着智能手机的推广和普及，移动计算日渐兴起。为了突破智能手机端的硬件资源限制，研究人员利用云端的计算能力和存储空间来完成复杂的运算和工作，并随时随地为用户提供所需的应
近年来一种新型的网络技术——SAN(Storage Area Network)为网络储存提供了一种解决思路。SAN使存储资源与服务器相分离，可以提供100兆字节／秒的高性能数据管道和共享的集中管