chemical abstract machine

英美

化学抽象机

chemical abstract machine网络翻译

化学抽象机

化学抽象机（Chemical Abstract Machine）是由Berry和Boudol在1990年提出的用于异步并行计算建模的模型。

需要从化学抽象机

...m 研究方向，在软件体系结构(software architectures，SA)测试计划生成的研究中，需要从化学抽象机(chemical abstract machine，CHAM)模型中生成LTS，以表达出软件体系结构的动态特征，因此，LTS状态树生成算法是导出软件测试计划和测试...

用化学抽象机

为了描述系统交互过程，这里采用化学抽象机(Chemical Abstract Machine, CHAM) [5] 模型来动态模拟交互状态。

chemical abstract machine双语例句

Then the paper derives a performance evaluation model, based on a Queueing Network Model, from a software architecture specification formally described in Chemical Abstract Machine.

基于队列网络模型，由化学抽象机中形式化描述的软件体系结构规约，导出了一种性能评价模型。

相关单词

mythologyn. 神话，神话故事；错误的信念，谬误；神话学
municipalityn. 市政当局；自治市
mountebankn. 江湖郎中，骗子 vi. 行骗；走江湖卖假药
milkmann. 牛奶商；送奶工人；挤奶员工 n. （Milkman）人名；（英）米尔克曼
midgetn. 侏儒；（非正式）矮子，小东西；（修饰语）少年（业余运动）的 adj. 极小的，小型的 n. （Midget）（美、加、澳）密德杰特（人名）
metropolisn. （国或地区的）首都，首府；大都会，大城市；教会省份的首领；殖民地的起源城市或国家【名】（Metropolis）（英）梅特罗波利斯（人名）
meteorologyn. 气象状态，气象学
merry go round旋转木马
maturityn. （思想行为、作品等）成熟；发育成熟，长大成人；到期；（债券等）偿还期；（保险单、证券等）有固定到期日的票据
matriculationn. 入学考试；大学入学许可；录取入学
mathematiciann. 数学家善作数字计算的人
marketingn. 促销，营销 v. 推销，促销；出售；做买卖（market 的现在分词形式）
manifestationn. 表现，显现；表现形式；（鬼魂或神灵）出现，显灵；示威运动
mailmann. 邮差，邮递员
cribn. <美>（有围栏的）婴儿床；饲料槽，秣槽；<英>圣诞马槽（表现耶稣诞生的情景）；<英，非正式>（学生用于作弊的）夹带；<非正式>（尤指学生偷偷摸摸地用的课文的）对照译文；抄袭（或剽窃）来的东西；<美，非正式>住处，小窝；克里比奇纸牌戏（cribbage 的简称）；（克里比奇牌戏中的）配点牌张；（建筑物的）木笼，（矿井的）井框（=cribwork）；<澳新>简单饭菜，快餐 v. <非正式>抄袭，剽窃；<古>束缚，限制；<英，旧>抱怨，发牢骚