ONOFF
划词翻译
导航
建议反馈
词典App

specification language中文是什么意思

  • 规范语言
  • 规约语言

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

  • 例句与用法
  • Doorsanalyst supports the use of uml 2 . 0 , the state - of - the - art , standardized visual systems and software specification language , for visual modeling
    Doorsanalyst支持在可视化建模时使用uml2 . 0 ,这是具有最新技术发展水平的标准化可视化系统及软件的规范语言。
  • The authors have formalized a specification language and logic - calculus in lf , together with useful lemmas , and a user - oriented syntax has been designed
    在本文中,我们考虑并行系统的验证领域,并在lf中将特定论域的规范描述语言ccs和相关逻辑m - culculus形式化。
  • Information technology - programming languages , their environments and system software interfaces - vienna development method - specification language - part 1 : base language
    信息技术.编程设计语言及其环境和系统软件接口.维也纳开发方法.规范语言.第1部分:基本语言
  • 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 )理论为基础的形式规约语言,能较好地支持形式规约的获取和检验。
  • Lfc is a formal specification language based on recursive functions defined on context free languages ( cfrf ) and supports the acquisition and validation of formal specification very well
    同时lfc也是一种函数式语言,具有良好的数学基础、引用透明、无副作用、模式匹配等特点。
  • 6 . the architecture of a protocol conformance test system for testing distributed embedded software . also a formal specification language is defined to specify conformance test suites
    本文针对分布式嵌入式软件系统的结构特点,提出了一种与被测系统的硬件结构无关的软件测试系统平台。
  • 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 )是在一个广谱的规约语言的基础上,提供一系列工具和转换技术,形成一种开发软件的严格方法。
  • The predefined attributes in the " globus resource specification language " or the elements in the " rsl schema documentation " are an excellent starting point and naming convention , no matter which middleware environment your application runs in
    )中的其他元素是很好的起点,也提供了很好的命名规范,这些与您使用的具体中间件环境无关。
  • For the three application forms in java ( local program , rmi remote invocation program and applet program ) , partial evaluation specification language provides self - contained information for the application interface automatic generation system
    为此,除了提供描述通用信息的语法规则之外, jpesl描述语言还提供了描述rmi应用和applet应用的语法规则。
  • The comparisons have been made among 5 famous ontology - based knowledge systems , 7 methods of building ontology , 15 ontology specification languages , 5 tools for editing ontology and 3 paradigms of applying ontology in some scientific fields
    对5个著名的本体系统、 7种本体构建方法、 15种本体表示语言和5种常见的本体编辑工具进行了系统的阐述和比较研究,并列举了3个国际著名的本体研究应用实例。
  • 更多例句:  1  2  3  4  5
  • 百科解释
A specification language is a formal language used in computer science.
详细百科解释
  • 其他语种释义
  • 推荐英语阅读
specification language的中文翻译,specification language是什么意思,怎么用汉语翻译specification language,specification language的中文意思,specification language的中文specification language in Chinesespecification language的中文specification language怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。

说出您的建议或使用心得