软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。
UML and formal method can describe software specification. The paper puts forward a formal method of software specification based on CCS.
严格建模是嵌入式实时系统设计的核心技术，通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。
Rigorous Modeling is a core technology in embedded realtime system design and the combination of UML and formal methods would provide a better tool support to it.
例如，如果需要基于现有书面形式的表单开始设计，您不妨使用以表单为中心的方法，具体做法一般是首先复制现有表单的外观，然后设计一个数据模型与之相匹配。
For instance, if you convert paper forms, you want to use a form-centric method by which you first reproduce the look of the form, and then design a data model to match.
还存在其他方法和形式，但是本文将集中于实体关系建模技术，因为此项技术与稍后将描述的技术更密切相关。
There are other approaches and forms, but this article focuses on the entity-relationship modeling technique because it is more closely related to the technologies described later.
与建筑或生产行业相对比，软件项目可以选择许多风格和味道的方法，从非常形式的，到非常敏捷的。
In contrast to the construction or manufacturing industries, many styles and flavors of methodology are available to a software project to choose from, ranging from very formal to very agile.
该方法中的概念被描述为通用工作流，尽管许多概念是与任意形式的变更或应用程序生命周期管理有关的。
The concepts in this approach are described as a common workflow though many of the concepts are relevant to any form of change or application lifecycle management.
您应该非常熟悉组织的企业体系结构原则和用于管理与执行开发项目的各种形式化的方法。
You should be intimately familiar with the enterprise architecture principles of the organization and with the various formal methodologies for managing and executing development projects.
序列图通过对代码的反向工程可以展示出方法中所发生的一切，还能以可视化的形式展示出交换的对象与消息。
The sequence diagram shows what happens inside of a method by reverse engineering the code and visually displaying which objects and messages are exchanged.
硬件驱动程序的现代方法是，使它们以动态加载的模块的形式可用，这样内核就变得更加与系统无关。
The modern approach to hardware drivers is to have them available as modules that are dynamically loaded, so kernels are becoming more system independent.
作为描述与服务交互相关的重要特征的方法，形式化的服务规范在服务治理中起关键作用。
As a way of describing the important characteristics related to a service interaction, the formal service specification plays a key role.
我们可以想象使用三个低等王国的物质形式来工作的方法和途径，但是与生命没有任何关系。
We can imagine ways and means of working with the mineral forms of the three lower kingdoms, but can do little or nothing with living bodies.
还介绍了把系统分析与形式化的用户界面表示联系在一起的方法。
An approach to a formal representation of user interfaces linked with system analysis has been described as well.
增强的JFS2在执行索引节点搜索时使用二叉树表示形式，与JFS使用的线性方法相比，这种方法要好得多。
Enhanced JFS2 USES a binary tree representation while performing inode searches, which is a much better method than the linear method used by JFS.
思考这种形式的方法，与传统习惯相比，与个性更有关系。
It's a way of thinking about form that has more to do with individuality than it does with convention.
“这是一种非常语境的形式与建造方法的简洁、现代的诠释”。
This is a clean, modern interpretation of a very contextual form and construction method.
在此方法中，我与动态创建一个图片框形式，加载到它的形象。
In this method, I dynamically created a form with a picture box and loaded the image into it.
被附加在AntBuilder实例上的方法与对应的Ant任务匹配；同样的，这些方法可以接收参数(以map的形式)，参数对应着任务的属性。
Methods attached to an instance of AntBuilder match the corresponding Ant task; likewise, those methods can take parameters (in the form of a map) that correspond to the task's attributes.
这种表示方法减少了节点与语义联系的种类和数量，简化了表示形式。
This representation reduces the variety and quantity of node and semantic relationship, simplify its indication manner.
将员工与管理人员沟通方法以公告形式公告全厂人，并且设立意见箱，此公告于3月26日提交。
Announce to all the employees about the communication way, and set the suggestion box. The announcement will be submitted at 3/26.
这其实是我浑搅幻想与现实、打破惯性经验性思维的一个方法，纯粹是形式主义的！
This is comical as I form an illusion and reality together to break the habit of empirical thinking, which is a way of purely formalistic!
文章从两个角度介绍安全协议形式化验证的方法：证明与证伪。
This paper introduces tools of verification and falsification and then compare and analyses their characteristic.
根据数字档案馆中的数据挖掘形式与实现方法分析，提出应用在数字档案馆中的数据挖掘系统工作流程。
Through a brief analysis and realization methods of the data mining form process for data mining system which applied in digital archives is introduced.
在众多方法中我们所采用深度访谈的形式与管理阶层面谈。
Among the many methods we have adopted in the form of depth interviews with the management of the interview.
本文阐述了高层建筑的结构形式和施工速度与施工方法的选择。
This paper slates the high building structure form arid the choice of the construction speed and construction method.
是否采用形式化方法，这是存在于广义语言逻辑与狭义语言逻辑之间的激烈论争。
There is a heated dispute between the logic of language in broad sense and the one in narrow sense on the application of the method of formalization.
介绍了“离子晕法”的方法学背景和测量方法，对与被测物质赋存形式有关的问题进行了讨论。
The methodological background and measurement method of "ionometric haloes "method are described. The problems concerning the occurrence form of the analyzed matter are discussed.
广谱哲学作为一门新型的哲学，在建构思想、研究方法和理论形式等方面与传统哲学有很大的区别。
Broadspectrum philosophy, a new typical philosophy, is very different from the traditional one in constructional thought, research method and theoretical form.
广谱哲学作为一门新型的哲学，在建构思想、研究方法和理论形式等方面与传统哲学有很大的区别。
Broadspectrum philosophy, a new typical philosophy, is very different from the traditional one in constructional thought, research method and theoretical form.
应用推荐