形式化方法 meaning in English
formal methods
Examples
- This hinders reusing analysis patterns effectively
本文利用形式化方法raise对分析模式进行形式化。 - Logical calculus and formalized method
逻辑演算与形式化方法 - In this thesis , schematic summary about formal method is presented
在本文中，我们首先对形式化方法作了一个概要的介绍。 - Meanwhile , formal method ' s principle and major content were also dissertated
同时也阐述了形式化方法的原理及主要内容。 - In this paper , the software reuse and the formalization are viewed as the major research objects method
本文以软件复用和形式化方法为主要研究对象。