English translation for "规约语言"
|
- specification language
Related Translations:
规约: stipulations of an agreement 宪法规约: convention of the constitution 规约验证: specification verification 异步规约: asynchronous protocol 符号规约: convention, signsign convention
- Example Sentences:
| 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 )理论为基础的形式规约语言，能较好地支持形式规约的获取和检验。 | | 2. | 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 )是在一个广谱的规约语言的基础上，提供一系列工具和转换技术，形成一种开发软件的严格方法。 | | 3. | 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的实现和应用，另外还包括一个上下文无关语言句子枚举算法。在理论方面，提出了一个上下文无关语言句子枚举算法。 | | 4. | 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规约语言的描述定义，并对具体的分析模式进行形式化描述，为有效复用分析模式提供有力的保障基础，为分析模式的自动工具支持提供基础。 |
- Similar Words：
- "规约设计" English translation, "规约位" English translation, "规约性" English translation, "规约验证" English translation, "规约与程序和取证规则" English translation, "规造" English translation, "规则" English translation, "规则-空间索算法" English translation, "规则，规律，定律尺" English translation, "规则，规章" English translation
|
|
|
