A formal specification language like raise ( rigorous approach to industrial software engineering ) specification language ( rsl ) aims at providing a sound notation and a proof system for capturing requirements and expressing the functionality of software 形式化方法是以数学为基础,来定义硬件系统和软件系统的规约,并对系统进行验证的语言、技术和工具。 raise是形式化方法的一种,它的语言称为rsl 。
Users of the preliminary edition ( now out of print ) will be interested to note several new chapters on complexity theory : chapter 8 on space complexity ; chapter 9 on provable intractability , and chapter 10 on advanced topics , including approximation algorithms , alternation , interactive proof systems , cryptography , and parallel computing 早期版本的读者将惊奇的发现新增的有关复杂性理论的章节:第8章,空间复杂性;第9章,不可证明性;第10章,高级话题,包括近似算法,交替,交互推理系统,密码学和并行计算。
In the uk , it takes the principle of the slander system in the common law and forms maturity burden of proof system ; the case of new york times co . v . sullivan in 1964 , takes the american media defamation into a new step of adjustment of constitution law , and the american law field also makes an effort to construct a better reasonable burden of proof system besides the tortious law 英国秉承着传统普通法在诽谤制度上的原则,形成了一个较为完备的证明责任体系; 1964年的“ 《纽约时报》诉萨利文案”则使美国媒体诽谤案件进入了宪法调整的新阶段,美国司法界一直努力在侵权法体系之外构建一个更合理的证明责任制度。
proof: n. 1.证明;证据;【法律】证件;【法律】(口头或书面 ...system: n. 1.体系,系统;分类法;组织;设备,装置。 2.方 ...digital proof system: 数码校对系统fool-proof identification system: 简明识别系统inert gas explosion-proof system: 惰性气体防爆系统water-proof and drainage system plan: 防排水系统图-proof: 后缀 表示“耐,防(等)”:acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防尘的。 Fire-proof 防火的。 Radar-proof 反雷达的。 Slander-proof 听了坏话不会生气的。 Sound-proof 隔音的。 Water-proof 防水的。 a proof: 防原子的a-proof: 防原子的in proof of: 作...的证据proof: n. 1.证明;证据;【法律】证件;【法律】(口头或书面)证词,证言。 2.检验,考验;验算;检定的品质[强度等]。 3.试管。 4.【印刷】校样,印样。 5.(酒精的)标准强度。 6.(甲胄等的)耐力,坚牢强度,不贯穿性。 7.【摄影】样片;样张。 8.[Scot.] 审问。 9.【数学】证,证明,证法。 The proof of the pudding is in the eating. 布丁好坏一吃即知;空谈不如实验。 Here is proof positive. 有确实证据。 a foul proof 错字很多的校样。 a foundry proof (压型前的)清样。 an artist's [engraver's] proof 版面印样。 stand a severe proof 经受严格的考验。 afford proof of 提供证据。 armour of proof 戳不通的坚牢的铠甲。 below proof 不合格。 bring [put] to the proof 试,试验。 have proof of shot 能防弹,能避弹。 in proof of 作…的证据。 proof positive of his intention 他的企图的确证。 read the proof 校对。 adj. 1.试验过的,有保证的;(酒)合标准的,规定的。 2.校样的。 3.(子弹等)不入的,耐…的,防…的。 a proof coin 标准货币,制钱。 a proof sample 样品。 proof against the severest weather 经得起任何酷烈天气的。 proof against the pricks of all temptations 不为任何诱惑所动的。 vt. 使经得住,使(布等)耐久[不漏水(等)]。 proofed cloth 防水布。 adj. -less 无证据的。 proof of will: 遗嘱证明, 遗嘱认证flame proof = flame-proof: 防火的proof sheet; proof: 红样a documentory proof: 用文件来证实日期abrasion proof: 耐磨的abrasion-proof: 防磨的; 耐磨的absolute proof: 绝对证明abundant proof: 充分的证据accident proof: 安全的acid proof: 耐防酸的; 耐酸,抗酸; 耐酸的; 酎酸的acid-proof: adj. 耐酸的。 actor-proof: 有戏剧效果的admission of proof: 垫付款项; 接纳债权证明; 接纳债权证实; 预付款帐户; 预支款项affirmative proof: 确认的证据