1) language of temporal or-(dering) specification
时序说明语言
3) application specification language
应用程序说明书语言
1.
The data model,the form defining language,the application specification language andaset of software tools in a form-oriented application developing system(FADS)are de-scribed.
讨论FADS系统的数据模型、表格定义语言、应用程序说明书语言和一组开发应用程序及数据库的软件工具。
4) declarative language
说明型语言
5) Z specification language
Z规格说明语言
6) Property specification language
属性说明语言
1.
Property specification language is a machine executable property specification language,which is a kind of property specification language of standard hardware design with easy readwrite,concise syntax,clearlydefined formal semantics,powerful expression a.
然而属性说明语言是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的硬件设计属性说明语言。
2.
This paper deals with machine executable property specification language,which is a kind of property specification language of standard hardware design with easy readwrite,concise syntax,clearlydefined formal semantics,powerful expression ability.
本文介绍的属性说明语言(PSL)是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的标准硬件设计属性说明语言。
补充资料:BASIC语言(见程序设计语言)
BASIC语言(见程序设计语言)
BASIC
吕AS{CBASICyLJy〔1下〕语言(BASIC)见程序设计语言。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条