Formal Methods and Tools
Formal Methods and Tools网络翻译
Engineering secure software 工程的安全软件 Formal Methods and Tools 正式的方法和工具 Healthcare Engineering 医疗保健工程 ..
形式化方法和工具... Engineering secure software(工程安全软件) Formal Methods and Tools(形式化方法和工具) Healthcare Engineering(医疗工程) ...
Formal Methods and Tools双语例句
Theoretic guidance is necessary for the reliability and usability of the distributed systems, as well as the relevant formal developing methods and tools do.
为了保证分布式系统的可靠性与可用性，就需要有相应的理论指导，以及与之对应的严格的形式化开发方法和工具的支持。
Some researchers introduced formal methods for analyzing cryptographic protocols, and achieved many significant results by building formal models and automatic verifying tools.
一些研究人员在密码协议分析中引入形式化方法，通过建立形式模型和自动检测工具分析密码协议的安全性，取得了较大的成功。
This paper analyses and compares several main methods of formal specification for design patterns, from points of view of pattern definition, reuse mechanisms, available tools and usability.
文章从模式定义、重用机制、可用工具、方法可用性等角度分析比较了几种主要的设计模式形式化方法。
相关单词
- tutun. （法）芭蕾舞短裙；新西兰马桑 n. （Tutu）人名；（罗、南非）图图
- tumblern. 不倒翁（玩具）；杂技演员；翻筋斗者；一杯的容量；滚筒；平底玻璃杯
- trimestern. 三个月；一学期
- trigonometryn. 三角学
- trapezen. 秋千；吊架
- transportingv. 运输；使产生身临其境的感觉；流放（transport 的现在分词）
- trampolinen. 蹦床（一种体育器械），弹簧垫 v. 在蹦床上弹跳
- tracern. [核]示踪物；追踪者；描图者；（铁笔等）绘图工具 n. （Tracer）人名；（英）特雷瑟
- tombolan. （英）一种彩券 n. （Tombola）人名；（意）通博拉
- to pass an examination
- tights紧身裤袜
- tiern. （高度各不相同的）一层，一排；（机构或系统的）层次，等级；（衣服的）一层褶裥（或荷叶边） v. 层叠，层层排列；成递升排列 【名】 （Tier）（英）蒂尔（人名）
- telecommunicationsn. 电信，电讯
- teachersn. 教师（teacher 的复数形式）
- taxationn. 征税，税制；税款