片语

formal describing language tl形式化描述语言

formal l language theory形式语言理论

formal logic language形式化逻辑语言

FSL Formal Semantic Language形式语义语言

FQL Formal Query Language正式查询语言

formal semantics language形式语义语言

formal description language[计]

formal semantic language翻译

英汉例句

• This very high style is only used in very limited contexts, but it is still important to recognise this kind of formal language and to know its less formal equivalent.

  这种非常的句式仅在非常有限的情形中使用，但是了解这种正式语言类型和较少的正式语的同等句式仍然是重要的。

• Because graphical languages still must provide symbols to the computer for compilation or interpretation, graphical specifications are still be required to follow formal language parameters.

  由于图形化语言仍然必须向计算机提供符号来进行编译和解释，因此我们需要采用图形化规范来限定形式语言的参数。

• Object Constraint language (OCL) is a formal language used to describe rules that apply to UML models.

  ObjectConstraintLanguage (ocl)是一种用于描述应用于uml模型规则的规范语言。

• A formal language for doing this also facilitates advertisement of such profiled constraints for services, while at the same time permitting a business to maintain a unique value proposition.

  正式的语言可以加强对这种服务约束的宣传，同时又允许企业保留自己的利益主张。

• A formal language schema, expressed in RELAX ng compact syntax.

  一个规范的语言方案，以RELAXNG压缩语法表达。

• Mr McWhorter acknowledges that formal language is not strictly necessary, and proposes no radical education reforms—he is really bemoaning the loss of something beautiful more than useful.

  麦克怀特先生承认正式语言不是完全必需的，他也并没有提出激进的教育改革：他其实是在为那些美丽而不那么实用的东西的丧失而惋惜。

• The approach includes the definition of a formal language for your project「s or system」s conceptual architecture.

  这种方法包括为项目或系统的概念性架构定义一门正式的语言。

• This led to the creation of a formal language for business process modeling known as Business Process Execution Language (BPEL).

  这引领了业务流程建模的规范语言的创建，即众所周知的业务流程执行语言 (Business Process Execution Language，BPEL)。

• Graph or table representations for formal language grammars and network protocols.

  形式语言语法和网络协议的图或表表示法。

• Using a formal language that serves to correlate the business design and information systems often reveals just how contradictory, inefficient, and complex non-SOA systems can be.

  通过使用可将业务设计与信息系统相关的正式语言，通常仅能说明矛盾、低效而复杂的非soa系统的情况。

• Using a formal language for describing your architecture provides several benefits that will become clear from the rest of the story.

  使用一门正式的语言来描述你的架构，会带来许多好处，随着故事的逐渐展开，这些好处也会展露无遗。

• For example, characters as the outstanding and main design element in the poster design have already become a kind of effective formal language and means.

  比如文字在海报设计中作为突出的、主要的设计元素，已越来越多地成为一种有效的形式语言和手段。

• The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.

  本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。

• The EXI format USES a hybrid approach drawn from the information and formal language theories, plus practical techniques verified by measurements, for entropy encoding XML information.

  exi格式使用一种源于信息和正式语言理论的混合方法以及经过测量验证的实践技术对XML信息进行熵编码。

• It's a formal language that remains easy to read and write.

  这就是一种读起来和写起来都很轻松的规范语言。

• My customer and I agreed that it might be worthwhile to spend a day going through some technical requirements and build a formal language for an architecture that could realize those requirements.

  我的客户与我都同意值得花上一天的时间去审阅某些技术需求，并为架构建立一门正式语言来体现这些需求。

• Chemists use a formal language to represent the chemical structure of molecules.

  化学家也使用一种形式语言来表分子的化学结构。

• Because of the traditional research method, art theory research is generally founded in the writer-centred method, neglecting the formal language value of the work.

  由于传统研究方法的原因，美术学理论研究一般囿于作者中心论的方法，作品本身的形式语言价值被忽略了。

• For example, the notation that mathematicians use is a formal language that is particularly good at denoting relationships among Numbers and symbols.

  例如，数学家使用的标记法就是一种善于表达数字与符号之间关系的形式语言。