而且因为我们描述的是自动化测试执行系统，而不是手动系统，所以参与者仅需建立与正运行的实例的直接远程桌面协议(rdp)会话。
(And since we're describing an automated test execution system instead of a manual one, participants rarely need to establish a direct remote desktop protocol (RDP) session with running instances.)
这些描述描述了系统中该用例的功能性；这张图表提供了这些描述的可视化路标。
The descriptions describe the functionality of the use case in the system; the diagram provides the visual roadmap of those descriptions.
本文描述了USBD使用的最后一部分工件，USBD用其来详细描述自动化系统及其用户界面的设计。
This article describes the last set of artifacts that USBD uses to detail the design of the automated system and its user interfaces.
在初始的“顾客登记”描述中所显示的用户同系统之间的交互作用，现在作为应用软件的一部分(自己完成登记)，因此实现了办公的自动化。
The interaction between actors and the system demonstrated in the original "check in Guest" description can now be used as part of a kiosk application (self-check-in), thus automating the business.
对于概念缺乏正规化的描述也会导致产品在系统级别缺乏足够的作出决定的能力，比如在可行性研究阶段。
The lack of a formal representation for concepts also results in an inadequate ability to make decisions at the level of systems in the product, such as during feasibility studies.
通过获取数据和提供可视化的反馈，例如描述服务器负载或响应时间的图表，会逐渐影响开发人员开始关注运行中的系统的状况。
By extracting data and providing visual feedback such as graphics that depict server load or response time evolution developers become aware of what is actually going on in a running system.
用例图：可视化的描述系统用户，和系统为用户提供的服务。
Use case diagram: A visual representation of system users (actors) and the services they request from the system.
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.
Allen描述了他的形式化系统，其目的在于提高效率。
Allen describes his formalized system for creating greater efficiency.
最后，作者通过一个实例说明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.
UML是一种可视化的建模语言，定义了多种视图，从不同侧面描述了软件系统的静态结构和动态行为。
UML is a visual modeling language, defining all kinds of diagrams to describe the static structure and dynamic behaviors of software systems concisely from deferent aspects.
统一建模语言(uml)是一种可视化的面向对象的建模语言，可用于对软件系统进行描述和构造软件的系统结构。
The unified modeling language (UML) is a visual object-oriented modeling language. It is mainly used for describing software system and constructing software systematic architecture.
需求工程是软件系统开发生命周期的初始阶段，其最终结果是得到关于用户需求的准确、全面、形式化的需求描述。
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.
系统用高效的过程化版图描述语言构造模拟模块，编译产生与工艺及应用无关的模块版图生成器。
With the natural layout procedural description language, analog modules are written in a technology and application independent way.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
目前大多数电力系统仿真分析工具缺少对继电保护模型的系统化描述，无法真实完全的反映继电保护元件的控制规律。
Most of power system's simulation tools have not the systematic model of relay system and can not response the control rules of relay system truly and completely.
基于框架的互补定义的形式描述方法可以作为用于软件测试自动化的形式系统的描述方法。
The complementary definition method based on the frame can be used to be the description method of formal system used in automated software testing.
重点以统一建模语言为基础，利用UML可视化建模系统，从多个视图描述水汽在线监测系统的建模过程。
It is emphasized to describe the modeling process from the multi view and with the unified modeling language by using UML visual modeling system.
体系结构是从顶层设计的角度，对指挥自动化系统进行的一种“统一的和概念的”描述。
Architecture is a "universal and conception" description of command automation system from the point of top level design.
该模式的实质是用逐段线性化的统计-动力气候模式来描述气候系统的总体非线性变化特征。
The phase linear method in the kind of nonlinear statistical-dynamic model is considered to describe the nonlinear character of climate.
网络知识组织系统(nkos)是网络环境下知识组织体系的电子化描述。
Network knowledge organization system (NKOS) is an electronic description of knowledge organization system in the networked environment.
这篇文章对安全保护系统在油田自动化中的作用及组成给予了详细的描述，也给出了用PLC设计安全保护系统的基本步骤。
This paper gives the detail description of the safe system structure and its function in the oil field automation. Also, it gives the basic steps for safety system design by using PLC.
本文重点介绍目前电梯行业的节能背景，简单描述台达IED一体化系统的节能技术以及应用案例。
This article introduces current energy-saving background of elevator industry, simple description of the Delta IED Integrated System of energy-saving technology and application case.
文中详细描述了系统的体系结构信息可视化及协同决策虚拟环境的实现方法。
The system architecture and the realization of information visualization and collaborative decision environment are in detail described.
然后，建立了网络化制造环境下的伙伴选择系统模型，最后，描述了面向网络化制造的伙伴选择过程。
Then, establishes the model for the supplier system based on the networked manufacturing, finally, describes how to select suppliers based on the networked manufacturing.
介绍了可视化仓库管理系统的概念以及系统的配置方案，并就系统的功能和特点进行了详细描述。
The paper introduces the concept and configuration projection of the visual warehouse management system and describes the function and characteristics of the system.
首先给出并讨论了一般分布式应用系统的层次化结构，并给出了其形式化描述。
It is given and discussed the hierarchical structure of general distributed application system, and given its formal description.
信息处理系统的大规模化和复杂化，需要有效设计高可靠性系统的形式化的规格描述方法。
Information processing systems becoming large and complex, Formal description methods are needed for specification of systems and their efficient and reliable designs.
信息处理系统的大规模化和复杂化，需要有效设计高可靠性系统的形式化的规格描述方法。
Information processing systems becoming large and complex, Formal description methods are needed for specification of systems and their efficient and reliable designs.
应用推荐