Allen描述了他的形式化系统，其目的在于提高效率。
Allen describes his formalized system for creating greater efficiency.
分布式操作系统形式化系统模型DOSFS主要由文法DOSFSG和语义DOSFSS两部分组成。
Distributed Operating System Formal System Model (DOSFS) consists of the grammar DOSFSG and the semantics DOSFSS.
形式语用学是以语用为研究对象的一种形式化理论形态，因而包含着理论主体的语用学取向和形式化系统的选择。
As the formal study of language use, formal pragmatics involves the pragmatic orientation and choice of formal approach.
用户接口设计人员和系统设计人员不使用同一的语言(uml)来将它们的系统形式化。
User interface designers and system designers do not use the same language (UML) to formalize their systems.
业务分析师与应用分析师没有使用同一种语言(uml)形式化的表示他们的系统。
Business analysts and application analysts do not use the same language (UML) to formalize their systems.
用户界面设计师与系统设计师没有使用同一种语言(uml)形式化的表示他们的系统s。
User Interface designers and system designers do not use the same language (UML) to formalize their systems.
RDF是一个具有WebXML序列化的元数据系统，即用于描述Web资源形式化陈述集合的模型。
RDF is a metadata system with an XML serialization for the Web, a model for describing collections of formalized statements about a Web resource.
业务分析人员和应用程序分析人员不使用同一种语言(例如，UML)来将它们的系统形式化。
Business analysts and application analysts do not use the same language (such as UML) to formalize their systems.
MDSD通过在一个系统中不同的建模和分解层级的使用，将这样一个抽象的想法形式化。
MDSD formalizes this idea of abstraction through the use of different levels of modeling and decomposition within a system.
这对于支持模式验证的格式（像XML）会非常有效，但是仍然可以应用给像属性文件一样简单的系统，其中你只是生成形式化的示例文件。
This works well for formats that support schema validation (such as XML), but can still be applied to systems as simple as properties files where you simply generate a tokenised example file.
这一论断很重要，模型不是系统本身，而是系统的形式化表示。
This statement is crucial; the model is not the system itself but a formalized representation of the system.
还介绍了把系统分析与形式化的用户界面表示联系在一起的方法。
An approach to a formal representation of user interfaces linked with system analysis has been described as well.
与系统测试相关的过程演进的一个具体实例发生在第一个迭代期间，在该迭代中，系统测试团队形式化一个用于测试追踪的过程。
One specific example of process evolution related to system test occurred during the first iteration where the system test team formalized a process for test tracking.
业务与系统模型间形式化跟踪的引入可以让我们理解业务所需的改变对系统的影响。
The introduction of the formal traces between the business and the system models allow development to understand the impact on the system (s) caused by a change in the business needs.
然后，您可以在形式化的分析、模拟和原型设计中使用这些模型，以研究预期的系统行为，并且可以在编写文档或总结时使用这些模型，以便就系统的性能和外观进行交流。
You can then use these models in formal analysis, simulation, and prototyping to explore predicted system behavior and in documentation or reviews to communicate the system's capabilities and feel.
它们符合组织中的角色，并且在业务流程中以泳道线表示(借鉴了在系统分析中相应的图中所使用的形式化方法)。
They correspond to roles within an organization and are represented in the business process as swim-lanes (borrowing a formalism used in the corresponding diagrams in the analysis of a system).
最后，作者通过一个实例说明UML状态机语义的形式化描述可以证明那些用uml描述的系统的一些重要属性是正确的。
At last, the author USES an example to show that using the formal description of UML state machine semantics can justify the important properties of those systems described by UML.
自动程序设计系统包括两种程序设计活动：形式化与实现。
An automatic programming system always includes two programming activities: formalization and implementation.
因此，我们利用UML和形式化方法来设计面向方面程序，并建立相应的面向方面软件设计模型来设计实时系统。
So we express the AOP using UML and formal methods, and establish the Aspect-Oriented Software Design Model correspondingly to model real-time systems.
一旦识别问题通过一组用适宜的表示方法表示的用例对象集来形式化后，于是可能就要考虑在这个用例集上的推广问题，最后才产生一个识别系统。
Once a recognition problem has been formulated by a set of example objects in a convenient representation, the generalization over this set may be considered, finally leading to a recognition system.
本文设计了BSK内核消息系统的构造方法，并形式化地构造了过滤规则和访问控制规则。
This thesis gives the design of BSK kernel message system, and construct filter rules and acess control rules formally.
类型系统是一种设计和研究程序设计语言的形式化方法和工具。
The type system is a formal method and tool for designing and studying programming languages.
对象存储系统的形式化研究将有助于我们对对象管理做进一步研究。
Study of formalization for object storage system will help us to study object management in detail.
有限元模型比知识的获取和形式化是有限元模型化专家系统建立的核心。
The knowledge acquisition is the 'bottleneck 'in the development of finite element modeling expert system.
本文试图对专家系统使用的非单调推理及其形式化问题进行初步探讨。
In this paper we try to explore the problems of the nonmonotonic reasoning and formalization used by the expert systems.
采用形式化方法对社区卫生服务系统进行设计，能够得到一致的、精确的、简明的和无歧义的规格说明。
When designing with formal approach, the consistent, accurate, concise and unambiguous specification can be obtained for the community health service system.
经过多年的工程实践，人们普遍认识到形式化方法是设计实现高可信并发系统的重要途径。
After many years of engineering practice, it is realized that formal method is important for high confidence concurrent systems.
OOPN能够成为面向对象系统的一种形式化的建模工具。
OOPN can be used as formal modeling tool for Object-Oriented System.
需求工程是软件系统开发生命周期的初始阶段，其最终结果是得到关于用户需求的准确、全面、形式化的需求描述。
Requirements Engineering is the initial stage in the software development life cycle, whose final product is the precise, complete, formal document about the users 'needs.
需求工程是软件系统开发生命周期的初始阶段，其最终结果是得到关于用户需求的准确、全面、形式化的需求描述。
Requirements Engineering is the initial stage in the software development life cycle, whose final product is the precise, complete, formal document about the users 'needs.
应用推荐