If you design software for a large organization, there may be an established standard methodology practiced informally or as a mandatory formal method.
如果为大型组织设计软件，则可能会有确定的以经过实践的非正式方式或强制的正式方式采用的标准方法。
But even if you are not using a formal method that requires refactoring, Eclipse's refactoring tools provide a time-saving way to make common types of code changes.
但即便您并没有使用要求进行正式重构的方法，Eclipse的重构工具还是可以在进行一般的代码修改时提供节约时间的方法。
The type system is a formal method and tool for designing and studying programming languages.
类型系统是一种设计和研究程序设计语言的形式化方法和工具。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
After many years of engineering practice, it is realized that formal method is important for high confidence concurrent systems.
经过多年的工程实践，人们普遍认识到形式化方法是设计实现高可信并发系统的重要途径。
Chapter 4 puts forward a formal method for assembly scheme design.
第四章提出了产品装配方案的形式化设计方法。
So far, formal method is still one of the most effective methods to detect feature interaction problems.
目前，形式化方法在检测特征交互问题方面仍然是最有效的方法之一。
Protocol engineering uses a formal method to describe all the activities during strict protocol design and maintenance.
协议工程用形式化的方法描述在协议严格的设计和维护中的各个活动。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
XML document model is described by formal method. Some rules are provided to guarantee that the described documents are well-formed.
用形式化的方法描述了XML文档模型，并提供了一系列规则来保证模型描述的XML文档的良构性。
B-method is a software formal method, which supports the whole lifecycle of software development from formal specification to code generation.
方法是一种软件形式化方法，支持从规格说明到代码生成的整个软件开发周期。
A formal method which can be used to analyze security properties such as accountability and fairness in electronic commerce protocols is presented.
提出了一种新颖的形式化方法，可以用于分析电子商务协议的安全性质，例如可追究性和公平性。
Because traditional program slicing methods lack modularity and flexibility, we had proposed a new formal method for program slicing-modular monadic slicing.
因目前切片方法缺乏模块性和灵活性，我们实验室曾提出一种新的形式化切片方法——模块单子切片。
This paper analyzes a formal method of analyzing storage covert channel identification based on information flow analysis, discussing the key points in details.
本文系统介绍了隐通道的概念，着重阐述基于信息流的存储隐通道标识方法，讨论该方法中的关键问题和重要细节。
Results show that the conceptual design model of mechanical product based on polychromatic sets can be described and reasoned with formal method, and programmed easily.
研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。
Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。
The model is developed combing formal method with object-oriented method. It solves the problems of existing fusion models, which are short of reusability and dependability.
该模型采用面向对象和形式化相结合的方法，解决了现有信息融合模型缺乏可重用性、可靠性等问题。
The security model is the cornerstone for developing the security operating system, while the formal method provides high level assurance for the understanding of the security model accurately.
安全模型是安全系统开发的基石，而形式化方法则为准确理解安全模型提供了高保障依据。
By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.
借助于归纳推理的局部合理性推论，本文修正了常见非单调逻辑的推理模式，从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
In the past twenty years, people have studied extensively and proposed several effective verification methods for sequential behaviors of digital circuits, such as simulation method and formal method.
在过去的二十几年中，人们对于数字电路顺序行为的验证进行了深入的研究并提出了许多行之有效的验证方法，例如，模拟的方法和形式化的方法等。
In the past twenty years, people have studied extensively and proposed several effective verification methods for sequential behaviors of digital circuits, such as simulation method and formal method.
在过去的二十几年中，人们对于数字电路顺序行为的验证进行了深入的研究并提出了许多行之有效的验证方法，例如，模拟的方法和形式化的方法等。
应用推荐