Specification patterns are design patterns that are expressed in a formal specification language.
规约模式就是用某种形式化语言表示的设计模式。
Past mechanisms have included the Document Style Semantics and Specification Language, and Cascading Style Sheets.
过去的机制包括文档风格语义和规范语言以及级联版式。
By practice proving, the verification of hardware circuits is an effective method in property specification language.
通过实践证明，用属性说明语言验证硬件电路是非常有效的验证方法。
LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).
LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言)，是可操作的。
Software refinement is an important technology with respect to transformation from formal specification language to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
Whatis your perspective on its potential impact on software architecture, specification language, software process and software reuse?
你如何看待其可能产生的影响软件体系结构，规范语言，软件过程和软件重用？
Thus, it provides an excellent foundation for correctly understanding the RAISE specification language and describing its formal semantics.
从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
Through the domain analysis of GIS application system, this paper designed a simple specification language for GIS application system, named GASL.
通过对GIS应用系统的分析，设计出一种简易的GIS软件规格描述语言GASL。
The DMS language used to accomplish transformations is called the "(DMS) rule Specification language", or RSL, and is used to specify (program transformation) rules.
用于完成转换的DMS语言被称为“(DMS)规则规范语言”，或rsl，和用于指定(程序变换)的规则。
This article presents attack tree model to describe the attacking scenario. Based on the principle of attack tree model, an attack specification language is constructed.
该文采用攻击树模型来模拟攻击行为，并提出了一个基于攻击树模型原理的攻击规范语言。
XQuery combines the flexibility of the XPath specification language to extract individual elements with the ability to easily define functions, loops and programmable elements.
XQuery 将XPath规范语言提取单个元素的灵活性与易于定义函数、循环和可编程元素的能力结合在一起。
The goal oriented specification language KAOS is extended, and a strategy model is added in order to achieve the multi-goal, dynamic strategy adaption requirement specification.
将面向目标的规约语言（KAOS）进行扩展，增加了策略模型，建立支持面向多目标的基于动态策略的适应性需求规约方法。
The data model, the form defining language, the application specification language andaset of software tools in a form-oriented application developing system(FADS)are de-scribed.
讨论FADS系统的数据模型、表格定义语言、应用程序说明书语言和一组开发应用程序及数据库的软件工具。
Assert checks of Property Specification Language (PSL) are used to verify functions of the controller to decrease verification complexity and enhance verification quality and speed.
采用基于属性描述语言(psl)的断言检查对该控制器进行功能验证，以降低验证复杂度、提高验证速度和质量。
The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.
利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。
It points out that ATLAS 2k is the next generation test specification language based on signal component. The paper introduces its character, module architecture and application in modern ATS design.
指出基于信号组件的ATLAS2k是新一代测试标准语言，详细介绍了它的特点、模型结构及在现代ATS设计中的应用。
The DBTG specification proposed a language for manipulating the files.
数据库任务组规范提出了一种操作文件的语言。
While these method names are all valid according to the language specification, it is likely that they are not what was intended.
虽然根据该语言的规范，这些方法名称是合法的，但是它们可能不是您想要的。
This feature uses an obscure aspect of the C language to simplify the specification of message level or priority.
这个特性使用了C语言的一种模糊方面来简化消息级别和优先级的规范。
Nothing in the language specification gives interruption any specific semantics, but in larger programs, it is difficult to maintain any semantics for interruption other than cancellation.
语言规范中并没有为中断提供特定的语义，但是在较大的程序中，难于维护除取消外的任何中断语义。
Two implementers may interpret parts of the SOAP specification differently, where the language of the specification is ambiguous.
对于规范语言表达不明确的部分，两个实现者可能会给出不同的解释。
It? S not a formal specification, but a readable introduction to each language feature.
它并不是一个标准规范，而是一本介绍每门语言特性的可读书籍。
This allows for a shorter learning curve as opposed to an equivalent mapping specification in a completely proprietary language.
相对于完全专有语言中的等价映射规范来说，这允许更短的学习曲线。
The CORBA specification has many language mappings.
CORBA规范包括很多语言映射。
The compiler and runtime interpreter follow the language specification.
编译器和运行时解释器遵循语言规范进行运作。
The CIM specification is the language and methodology for describing management data.
CIM规范是描述管理数据的语言和方法。
XSLT 2.0, the latest specification released by the W3C, is a language for transforming XML documents.
W3C发布的最新规范XSLT 2.0是一种转换XML文档的语言。
UML is a specification that defines a graphical language for visualizing, specifying, constructing, and documenting the artifacts of distributed object systems.
UML是一种对分布式对象系统可视化，说明，构建以及记录的图形化定义语言。
XML is the standard language for service specification (through WSDL/XSD).
XML是服务规范的标准语言（通过WSDL/XSD）。
A message represents a concept as defined in the WSDL (Web Services Description Language) specification; that is, it's a container for actual data which has meaning to the service and the consumer.
一个消息代表在Web服务描述语言(WSDL)规范中定义的一个概念；即，它是实际数据对服务和消费者有意义一个容器。
应用推荐