1) Z(Object-Z)
Z(Object-Z)语言
3) Formal language Object-Z
形式化语言Object-Z
4) Object-Z model
Object-Z模型
6) Z language
Z语言
1.
On query answering question with Z language;
答疑系统问题的Z语言规约
2.
The Design of an ERP Framework Based on Z Language;
基于Z语言的ERP系统框架设计
3.
With the use of formal specification languageZ language, its safety requirements are represented as a formal specification.
本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。
补充资料:BASIC语言(见程序设计语言)
BASIC语言(见程序设计语言)
BASIC
吕AS{CBASICyLJy〔1下〕语言(BASIC)见程序设计语言。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条