查询词典 assertion sign

correctness proof：正确性证明

Kodosky介绍了一个名为"自动程序框图验证"的研究,以期能将"正确性证明(correctness proof)"加入到虚拟仪器程序框图源代码之中. 用户可以通过名为定理模块的图形结构用正确性断言(correctness assertion)来评注他的程序框图. 用LabVIEW编译程序框图时,

emphatic assertion：加强的斷言

emphatic articulation 强調發音;强語勢發音 | emphatic assertion 加强的斷言 | emphatic intonation 强調語調

make emphatically or repeat an assertion：主张;强调

I insisted on paying for my share of the meal.我坚持要付我的那份饭钱. | 3.make emphatically or repeat an assertion 主张;强调 | He insisted on the importance of being punctual.他强调准时的重要性.

DrWatson Fatal Error","DrWatson：严重错误

"DrWatson Assertion","DrWatson 声明" | "DrWatson Fatal Error","DrWatson 严重错误" | "DS container","DS 容器"

get one's way：自行其是

自信的:Self-confident;Self-assertion | 自行其是:Get one's way | 自言自语:Think aloud;Talk to one self

homotopy type invariant：伦型不变量

轮换指数|cycle index | 伦型不变量|homotopy type invariant | 论断|assertion

induction variable substitution：感应变数替代

"感应变数","induction variable" | "感应变数替代","induction variable substitution" | "归纳主张","inductive assertion"

latchkey：碰簧锁钥匙

主张 assertion | 碰簧锁钥匙 latchkey | 预先阻止 forestall

begleitendes Dreibein moving trihedron：怜三面形

Bedingung condition 条件 | begleitendes Dreibein moving trihedron 怜三面形 | Behauptung assertion 断定

Introduce Null Object：引入Null对象

Replace Conditional with Polymorphism 用多态代替条件语句 | Introduce Null Object 引入Null对象 | Introduce Assertion 引入断言

damagingly：很

damaging 损坏 | damagingly 很 | daman 蹄兔

tasteable：可品尝

tastable /可品味的/有风味的/ | tasteable /可品尝/ | tasteful /有风味的/