specification language信息详情
[计]规范语言,规约语言
technical specification───技术规范[说明];技术规范;技术说明
specification order───订货规范
specification number───规格编号;说明书号
specification sales───规格销售
language───n.语言;语言文字;表达能力
specification code───规格法规
specification limits───技术说明规范;规格界限
specification writer───规范编写者
specification by example───举例说明
Specification patterns are design patterns that are expressed in a formal specification language.───规约模式就是用某种形式化语言表示的设计模式。
IDL is a specification language.───IDL是一种规范语言。
It also demands much more stringent use of the specification language.───它还要求对规范语言的更严格的使用。
Software refinement is an important technology with respect to transformation from formal specification language to executable code.───软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
With the use of formal specification language language, its safety requirements are represented as a formal specification.───本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。
LOTOS is a specification language that aims at describing the dynamic behavior of complex systems(formal description language).───LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。
Past mechanisms have included the Document Style Semantics and Specification Language, and Cascading Style Sheets.───过去的机制包括文档风格语义和规范语言以及级联版式。
At last, discusses the important role of action refinement in specification language's hierarchical descriptions.───最后,探讨了动作细化在规范语言层次化描述中的作用。
Trust-Management uses a uniform "Security Policy Specification Language" to describe security policy.───它使用一种统一的“安全策略说明语言”来描述应用的安全策略。
- rivet heater
- s value
- snow butterfly
- then match them
- technology translation
- trumpet conch
- pressure-tube anemometer
- s v t
- uncommon tale
- technologybba
- s vc
- trumpet intersection
- stay one night
- tidy up my room
- t ds
- stay open
- total grain surface
- stay one more night radio edit
- t dt
- specification limit
- specification list