- 双语例句 更多例句
1、
The models are represented using the notations known as the UML and AADL.
这些模型利用叫作UML和AADL的符号表示法构建。
互联网摘选
2、
3、
设计并实现了B方法的AADL模型生成工具，可以从需求自动化生成部分设计模型。
互联网摘选
4、
5、
每个子系统的建模都是根据铁路系统的具体需求，使用合理的AADL构件实现的。
互联网摘选
6、
研究B方法和AADL之间的关系，建立了B方法到AADL的映射规则。
互联网摘选
7、
8、
论文最后总结了UCaS工具的优点及局限性，对AADL模型验证工具的后继研究和发展进行了展望。
互联网摘选
9、
本论文在基于模型的开发方法研究基础上，采用AADL建模语言，结合系统级设计方法，设计了兼容OSEK/VDX的车用嵌入式实时系统模型，并提出了基于AADL的模型架构验证和行为验证方法。
互联网摘选
- 今日热词
- 热门搜索
- drive v.驾驶（送人）;推动;击打;（风等）吹，刮;驱逐;迫使;n.驱车旅行;车道，大道;驱动;开球;强烈欲望;努力;驱赶;
- headmistress n.女校长;
- stripe n.条纹;种类;军士军阶;犯人穿的横条囚衣;
- November n. 十一月;通讯中用以代替字母 n 的词;
- stage n.阶段;(多指剧场中的)舞台;段;步骤;(发展或进展的)时期;状态;（政治等活动的）领域;步;戏剧v.上演;举办;组织;使发生;使出现;举行;筹划
- conflict n.争执;矛盾心理;冲突;严重分歧;v.冲突;
- electricity n.电;强烈的感情;
- m3u8 流媒体视频文件格式
- modesty n.谦虚，谦逊;稳重;端庄;朴实，质朴;
- one ok rock 乐队;排练;翻唱;巡演;
- meantime adv.同时，其间;n.其时;中间的时间
- particular adj.特定的;特殊的;格外的;挑剔的;n.细节;详细资料;
