specification language中文是什么意思

• 规范语言
• 规约语言

• specification    n. 1.详细说明，逐一登记，详记。 2.〔pl.〕规范 ...
• language    n. 1.语言；(某民族，某国的)国语；语调，措词。 2 ...
• language specification    语言描述, 语言说明
• access specification language    取规范语言
• cls (common language specification)    通用语言规范
• common language specification (cls)    通用语言规范
• dialogue specification language    对话说明语言
• dsl dialogue specification language    对话说明语言
• executable specification language    可执行的规格说明语言
• high-level specification language    高级说明语言
• hsl hierarchical specification language    分级规范语言
• interface specification language    接口技术规范语言
• job specification language    作业说明语言
• jsl job specification language    作业说明语言
• problem specification language    问题说明语言
• programming language specification    程序设计语言说明
• routing policy specification language    选路策略规范语言
• rsl requirement specification language    需求说明语言
• sdl specification description language    说明书描述语言
• source language specification    源语言说明书
• specification description language    规范描述语言
• specification    n. 1.详细说明，逐一登记，详记。 2.〔pl.〕规范，规格。 3.清单，明细单。 4.【法律】(申报新发明时的)设计说明书。 5. 【法律】用来料加工制成新产品所取得的权利。 Can you send the job specification to me at once 你能把工程作业的详细说明马上送来吗？ a signal specification 信号规格；信号技术条件。 working specifications 操作规程。 fall short of specifications 不合规格。
• specification for    标准; 建设工程文件归档整理规范
• a language    译者的母语或者常用的语言
• language    n. 1.语言；(某民族，某国的)国语；语调，措词。 2.(谈话者或作者所使用的)言语，语风，文风，文体。 3.专门用语，术语。 4.(动物的)叫声；(动作，手势等所表示的)表意语。 5.【自动化】机器代码 ( ＝ machine language )。 6.〔俚语〕粗话，骂人的话；坏话。 7.态度，立场。 8.〔古语〕民族；某国国民。 a common language 共同的语言。 a dead language 死语言。 a foreign language 外国语。 a living language 活语言。 long language (与符号语言相对的)通用语言。 oral [spoken] language 口语。 the Chinese language 汉语。 written language 书面语。 high language 夸张的言词。 in his own language 按他自己的说法。 with a great command [an easy flow] of language 口若悬河。 legal language 法律用语。 medical language 医学用语。 parliamentary language 议会辞令；有礼貌的话。 the language of diplomacy 外交辞令。 the language of the science 科学用语。 finger [gesture, sign] language 手势语。 the language of flowers 花语〔如以 lily 象征纯洁等〕。 the language of the eyes 目语，眉目传情。 billing gate language ＝ language of the fish-market 下流的粗话。 in strong language 用激烈的下流话。 use (bad [foul, warm]) language to sb. 谩骂某人。 in fourteen languages 〔美俚〕非常。 speak the same language 说共同的语言，信仰和观点相同。 language arts (中小学的)语言艺术学科。

• A formal specification language like raise ( rigorous approach to industrial software engineering ) specification language ( rsl ) aims at providing a sound notation and a proof system for capturing requirements and expressing the functionality of software
  形式化方法是以数学为基础，来定义硬件系统和软件系统的规约，并对系统进行验证的语言、技术和工具。 raise是形式化方法的一种，它的语言称为rsl 。
• In this thesis , in order to facilitate the application of partial evaluation , we propose forward a partial evaluation specification language for java and its application framework , moreover , we had implemented a corresponding application interface automatic generation system
  为了方便部分求值这种软件自动化技术的应用，本文提出了一种面向java语言的部分求值描述语言，以及应用模型，并实现了相应的应用框架自动生成系统。
• To reinforce the integration of gis application system development process and realize the reuse of software process , to provide consistent data expression and uniform interface description for gis application system , and to realize the auto generating of gis application system , this paper , in the domain of gis application system , first designed a domain specific language , named gasl ( gis application specification language ) , which is described for gis application system , then developed a new - style prototype system , called gbuilder , which can auto generating the framework of gis application system , finally constructed its corresponding domain specific library
  为了加强gis应用系统开发过程的集成、实现软件过程的复用，为了对gis应用系统提供一致的数据表示和统一的界面描述，为了实现gis应用系统的自动生成，本文在gis应用系统领域，设计出一种描述gis应用系统的领域专用语言gasl 、开发了一种新型的地理信息软件自动生成系统gbuilder并构建了其相应的领域专用库，为gis软件开发提供了新的方法与工具。
• The innovations of this paper are embodied as follows : 1 ) applied domain specific language into the domain of gis application system , designed a simple specification language for gis application system , named gasl , offered formalized means for defining the special requirements of gis application system . 2 ) developed an integration , visual programming environments prototype system , called gbuilder , which is an application generator integrated
  本文的创新之处体现在如下两点： 1 ）将领域专用语言运用到gis应用系统领域，初步设计出一种简易的gis软件规格描述语言gasl ，为定义gis应用系统特殊需求提供了形式化手段； 2 ）开发了一个集成式可视化开发环境gbuilder系统原型，该应用产生器集工具、语言和库于一体，为gis软件开发提供了新的方法和工具。
• By analyzing the problems of today ' s ids , the paper first introduce the traditional intrusion character describing methods and the common intrusion specification language , and for the first time introduce the method of describing the network intrusion activities by using intrusion tree and a new kind of intrusion detection model based on abnormally detection and misuse detection which using both network and host data source
  在分析了目前入侵检测领域所面临问题的基础上，本文首先对入侵特征描述方法进行归纳研究，分析了传统的入侵特征描述方法和通用入侵描述语言，提出了使用入侵树对网络入侵行为进行描述和分析的方法，在此基础上提出了一种新的结合异常检测与误用检测技术的入侵检测模型。
• 3 ) loom , cycl and owl are ontology specification languages which are perfecter than others , though they have some shortcomings : loom is not easy to learn and use , cycl is not used widely since it ' s not based on xml , and owl ' s all functions needs to be excavated since it is a recently recommended standard
  ( 3 ) loom 、 cycl和owl都是较为理想的本体表示语言，但它们又各有不足: loom是高级编程语言，不易于学习掌握. cycl不是基于xml的，在通用性上受到限制. owl是w3c最新推出的本体表示语言，现有许多本体编择工具还不能体现owl的特有功能
• Views increase the flexibility of a dbms by adapting the data to user or application needs . defining views over xml - based semistructured data can be more complex than in traditional dbmss . in this thesis we study view specification language suitable for xml - based semistructured data , and we investigate an incremental maintenance for materialized views over semistructured data and p
  四、对半结构数据的视图机制进行了研究，并就半结构数据的虚拟视图和实视图(物化视图)维护困难的问题给出了一些解决策略；提出了一种用于异构西北工业大学博士学住论文一数据源或web数据集成系统环境的xml视图的体系结构，并就该体系结构中的各主要组成部分进行了论述。
• Generally , real - time system development depend on its timing constraints and complicated factors of outside , consequently not only the integration method of the formal specification languages z and timed csp but also translating description of process description language to z specifiation can not solve all this problem . it is important to choose the suitable mothods in real - time software developments , further on , we extract a design pattern from the instance of real - time simulative system development
  通常，实时系统开发依赖于时间约束性和复杂的外部因素，因此无论是采用z和timedcsp集成还是使用规格描述语言转换的非集成方法都不能很好地解决系统设计的所有问题，因此在实时系统设计中选择合适的方法是非常重要的。
• It is famous typification of integration method that we present an integration of the formal specification languages z and timed csp , called rt - z , incorporating their combined strengths in a coherent frame . to cope with complex systems , rt - z is equipped with structuring constructs built on top of the integration , because both z and timed csp lack appropriate facilities
  一种被称为rt - z的基于规格描述语言z和timedcsp的实时扩展是集成扩展方法的典型代表， rt - z将z和timedcsp的功能用一个紧密的框架结合起来，实际上无论是z还是timedcsp都缺乏对结构化的支持机制，为了能适应系统复杂性的需要， rt - z另外引入了对结构化的支持机制。

• specification languageとは意味：仕様言語｛しよう げんご｝