形式化方法的英文

• formal methods

• "方法"英文翻译    method; means; way; techniqu ...
• "公式化方法" 英文翻译 :    formulated approach
• "模式化方法" 英文翻译 :    modular method
• "格式化方框" 英文翻译 :    formatting rectangle
• "形式化" 英文翻译 :    formalise; formalisierung; formalization; formalize
• "非格式化方式" 英文翻译 :    unformatted mode
• "无格式化方式" 英文翻译 :    unformatted mode
• "使形式化" 英文翻译 :    formalize formalize
• "形式化测试" 英文翻译 :    formal testing
• "形式化的" 英文翻译 :    formalized
• "形式化规则" 英文翻译 :    formation rule
• "形式化阶段" 英文翻译 :    formalization stage
• "形式化控制" 英文翻译 :    formalized control
• "形式化模型" 英文翻译 :    formalized model
• "形式化算法" 英文翻译 :    formalized arithmetic
• "形式化索引" 英文翻译 :    fomalization index
• "形式化验证" 英文翻译 :    formal verification
• "询问形式化" 英文翻译 :    query formation
• "形式化的面向对象开发方法" 英文翻译 :    fmoo
• "白化方法" 英文翻译 :    whitening approach
• "标准化方法" 英文翻译 :    modular method
• "参数化方法" 英文翻译 :    parameterize method
• "纯化方法" 英文翻译 :    method of purification
• "磁化方法" 英文翻译 :    magnetization method
• "次优化方法" 英文翻译 :    secondrate optimization method

• 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
  本文以软件复用和形式化方法为主要研究对象。
• In order to satisfy this requirement , formal method which is based on precise mathematical foundation must been used
  为了它到这个目的，必须使用具有严格数学基础的形式化方法。
• Action refinement for real - time concurrent processes with urgent interactions is studied , where a partial - order setting , i . e . ,
  对于复杂的并发系统的刻画和分析，形式化方法是一种常用和有效的方法。
• Formal development of correct and efficient algorithmic programs is at the heart of the research in the field of the formal method
  有效解决“软件危机”的一种重要途径是使用形式化方法来开发软件产品。
• By so doing , scenario is adopted to capture user requirements in the early phase and documented with specification and description language ( sdl ) in the later phase
  因此在需求建模初期采用场景概念来获取用户需求，在后期采用形式化方法加以描述。
• To realize the function of workflow management , the business process must be abstracted from the real world and described by a kind of formal method
  摘要为了实现工作流管理功能，必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述。

• 形式化方法的法语：Méthode formelle (informatique)
• 形式化方法的韩语：정형 기법
• 形式化方法的俄语：Формальные методы
• 形式化方法的阿拉伯语：أساليب رسمية;
• 形式化方法的印尼文：kaedah formal; metode formal;
• 形式化方法什么意思：形式化方法 基本解释：把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。