ADA语言相关论文
本文给出的动态监督系统可以检测ada语言多任务程序在运行过程中是否发生死锁.如果死锁的原因是由于程序设计不周而引起的,将提示......
基于模型驱动架构MDA方法,对AADL进行了研究,提出了AADL模型元素同ada语言元素之间的映射规则,开发了AADL模型的ada代码自动生成器......
给出了一个基于Ada的建模语言AML.AML以Ada95为基础,吸取了Ada95的基本原理和思想,利用支持建模的设施对其进行扩充,以便适用于软......
Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750A......
Ali文件是Ada编译工具生成的文本文件。该文对M1750Ada编译器所生成的Ali文件作了具体的分析，并介绍了用于Ali分析的工具和Ali的应......
文章介绍了一种基于C/S结构的Ada_DBMS分布并行计算模型,它将Ada的任务机制、C/S结构、DBMS的多线索机制相结合,形成一种灵活的分......
旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题。研究了Ada网的同步合成与分解，讨论了它们的语言性质，并利......
多TASK软件运行在多处理器系统将会充分发挥ADA的能力.研究一种支持ADA多TASK的多机系统.利用了现有的PC机，通过特制的耦合器实现了......
在Ada网的基础上,利用时序Petri网为Ada任务程序建模,提出了时序Ada网的概念.利用时序Ada网,可以很好地反映Ada程序的公平性和原子......
本文从一般时间网出发,派生出一种简单时间网,并建模了延迟、分支选择、异步选择、优先权等Ada实时结构,特别是把优先权处理为一种......
静态分析器是一种初步具备有关数据对象的语言知识,融编辑、语法分析和静态语义检查为一体的软件工具.文本以Ada语言中的子程序规......
为了使Ａｄａ程序运行在松散耦合分布式系统并且降低程度员开发分布Ａｄａ的程序的工，设计并实现了基于该环境下的Ａｄａ编译程序。......
Ada的会合机制使我们能在高级语言一级上描述系统的并发活动,从而避免了在使用低级通信原语时所不可避免的问题。但由于会合机制是......
介绍了一个从Ada 83到Ada 95转换系统的设计与实现,给出了系统的总体结构;描述了系统的重要数据结构--信息、模板和规则字典;解释......
Ada属于一种强类型通用程序设计语言,它比较适用于大型的复杂软件系统,尤其是实时和嵌入式系统。现在我国很多卫星型号软件都采用A......
简要介绍了CTCS2-200C列控车载设备和Ada语言;研究了CTCS2-200C列控车载设备的软件测试方法,采用Undertand进行软件静态测试,采用V......
以Ada语言中的子程序规格说明为基础,阐明了静态分析器在软件开发环境中的作用和意义,介绍了分析器数据结构的构成及语法树的构造......
<正> 一、引言 Ada语言是美国国防部历时五年,耗资五亿美元专门为嵌入式计算机系统开发研制的军用标准高级语言。Ada提供了丰富的......
Ada语言是欧洲铁路标准EN50128:2011强力推荐的开发语言之一。本文结合EN50128的相关要求,从强类型、指针的使用、编译方式、可靠......
为指导软件开发与测试人员有效开展单元测试活动,提高软件测试效率,文章以Ada语言软件单元动态测试为例,重点阐述了如何利用Vector......
介绍了星载软件的特点和构成,从提高星载软件可靠性的角度引入了高级程序设计语言--Ada语言与汇编语言的接口调用技术,以及使用Ada......
目前我国卫星研制开发领域中,大量使用Ada语言进行星载软件的研制与开发。鉴于Ada语言在开发过程存在着开发模式混乱、设计规范缺......
