说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 简单进程元语言解释器
1)  Simple PROMELA Interpreter(SPIN)
简单进程元语言解释器
1.
Model Checking is an efficient automatic technique for the improvement of system s reliability,and this paper is a research into how to check UML model through the Simple PROMELA Interpreter(SPIN)model-checker.
研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。
2)  language interpreter
语言解释器
例句>>
3)  FMLI Form and Menu Language Interpreter
表单菜单语言解释程序〖UNIX〗
4)  knowledge language interpreter
知识语言解释器
5)  Script language interpreter
脚本语言解释器
例句>>
6)  constrained-language interpreter
受限语言解释器
1.
In this paper, we design a visualized simulation system based on constrained-language interpreter which is applied in CAD simulation process and realize a visualized simulation for an industry automated production line.
本文设计了一种基于受限语言解释器的可视化仿真系统,用于CAD仿真过程,并具体实现了一个工业流程的可视化仿真。
补充资料：BASIC语言(见程序设计语言)


BASIC语言(见程序设计语言)
BASIC

　　吕AS{CBASICyLJy〔1下〕语言(BASIC)见程序设计语言。
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条