论文部分内容阅读
基于模型驱动架构MDA方法,对AADL进行了研究,提出了AADL模型元素同ada语言元素之间的映射规则,开发了AADL模型的ada代码自动生成器Generator-ada,最后以实例证明将AADL模型自动转换为可执行的ada代码的有效性.
AADL模型的ada代码自动生成及集成技术
【摘 要】
：
基于模型驱动架构MDA方法,对AADL进行了研究,提出了AADL模型元素同ada语言元素之间的映射规则,开发了AADL模型的ada代码自动生成器Generator-ada,最后以实例证明将AADL模型自
【出 处】
：
实验科学与技术
【发表日期】
：
2004年期
【基金项目】
：
国家高技术研究发展计划(863计划);
其他文献
目的 探讨解剖第三肝门在巨大肝癌切除中的意义.方法 回顾性分析我院自2006年2月至2008年3月对12例肝右叶巨大肝癌患者解剖显露第三肝门的方法行半肝或右三叶切除术切除巨大
判定外文原词性质的标准是语音。外文原词的读音不能纳入汉语的语音系统,汉语不能像英语那样用借形的方式吸收法语原词,保持其词形不变,改变其拼读方式。汉语不能通过借形的
凋亡蛋白抑制因子(IAP)是一类抑制凋亡的调节分子,其成员Livin是新发现的凋亡抑制基因,能够与内源IAP抑制剂SMAC和caspase-3、caspase-7、caspase-9结合,发挥抗细胞凋亡的作
混凝土因其取材广泛,价格低廉,抗压强度高,可浇注成各种形状,并且耐火性好,不易风化,养护费用低,成为当今世界建筑结构中使用最广泛的建筑材料之一、然而建筑工程中的混凝土
信息技术悄然进入各个学校的多媒体教室,教师在教学中已经使用“信息技术与教学整合”这一教学手段。信息技术应用的重大意义表现在:它能帮助教师备课;它能实现对教学信息的
目的 探讨早产的常见原因和保胎的效果.方法 选择入院时28～34周所有孕产妇,共150例,系统回顾其早产的常见诱因及保胎后延长孕周的时间、保胎成功率、早产儿出生时的情况.结果
随着高职高专英语教学改革的深入开展,多媒体技术已被广泛地使用到英语教学中,传统的教学方法与模式已不能适应和满足当前高职高专英语教学的需要与要求.运用多媒体技术辅助
“免疫软件人”(Immune-SoftMan,ISM)是以人工智能、人工生命、生物免疫机理和分布式系统为理论基础,结合智能机器人、智能网络和多智能体(Multi-agent)技术而提出的一个新概
随着我同公路交通的快速发展,公路交通量口益增大,重型超载车辆不断增多.大部分七、八十年代修建的桥梁已不能适应要求,主要表现为:荷载标准偏低,各种桥梁病害严重.本文针对