ada语言相关硕士博士期刊学术论文 - 搜论网

ada语言相关论文

-种动态监督系统的设计与实现

本文给出的动态监督系统可以检测ada语言多任务程序在运行过程中是否发生死锁.如果死锁的原因是由于程序设计不周而引起的,将提示......

期刊

容错死锁 Ada语言可靠性

AADL模型的ada代码自动生成及集成技术

基于模型驱动架构MDA方法,对AADL进行了研究,提出了AADL模型元素同ada语言元素之间的映射规则,开发了AADL模型的ada代码自动生成器......

期刊

嵌入式 AADL语言模型驱动 ada语言映射规则自动生成

看过本文同时还关注