规约语言的英文

• specification language

• "规约"英文翻译    stipulations of an agreement
• "语言"英文翻译    language
• "归约语言" 英文翻译 :    reduction language
• "规约" 英文翻译 :    stipulations of an agreement
• "规约板" 英文翻译 :    protocol board
• "规约位" 英文翻译 :    protocol bit
• "规约性" 英文翻译 :    conventionality
• "标准规约" 英文翻译 :    standards code
• "非规约性" 英文翻译 :    non-conventionality
• "符号规约" 英文翻译 :    convention, sign; sign convention
• "规约分配" 英文翻译 :    protocol distribution
• "规约含意" 英文翻译 :    conventional implicature
• "规约级联" 英文翻译 :    protocol concatenation
• "规约命令" 英文翻译 :    protocol command
• "规约设计" 英文翻译 :    protocol design
• "规约验证" 英文翻译 :    specification verification
• "换地规约" 英文翻译 :    conditions of exchange
• "鉴别规约" 英文翻译 :    authentication protocal
• "建筑规约" 英文翻译 :    building covenant
• "扩展规约" 英文翻译 :    expansion convention
• "卖地规约" 英文翻译 :    conditions of sale of government land
• "贸易规约" 英文翻译 :    trade discipline
• "批地规约" 英文翻译 :    conditions of grant; grant conditions
• "契约；契诺；规约" 英文翻译 :    covenant
• "设计规约" 英文翻译 :    design specification

• Huang wenji ( computer software & theory ) directed by dong yunmei the implementation and application of formal specification language lfc are studied in this thesis
  Lfc是以上下文无关语言上的递归函数( cfrf )理论为基础的形式规约语言，能较好地支持形式规约的获取和检验。
• To picture the structure accurately , i use rsl . raise is a series of tools and convert technology on this kind of specification language and form a very rigorous approach
  Raise ( rigorousapproachtoindustrialsoftwareengineering )是在一个广谱的规约语言的基础上，提供一系列工具和转换技术，形成一种开发软件的严格方法。
• Lfc is yet another functional programming language which has many characteristics , such as good mathematics basis , reference transparency , no side effect , pattern matching , etc . in theory , an algorithm of enumerating sentences of cfg is presented
  本文工作主要是研究形式规约语言lfc的实现和应用，另外还包括一个上下文无关语言句子枚举算法。在理论方面，提出了一个上下文无关语言句子枚举算法。
• This paper formalizes analysis patterns with raise . after analyzing static structure diagram , present a definite specification by raise language and analysis patterns " formal specifications . the formalizing is a foundation of reusing analysis patterns efficiency and automated tools
  在对分析模式的静态结构图进行分析后，给出使用raise规约语言的描述定义，并对具体的分析模式进行形式化描述，为有效复用分析模式提供有力的保障基础，为分析模式的自动工具支持提供基础。

• 规约语言的法语：Langage de spécification
• 规约语言的日语：仕様記述言語
• 规约语言的韩语：명세 언어
• 规约语言的俄语：Язык спецификаций
• 规约语言的阿拉伯语：لغة المواصفات;