program specification发音

意思翻译

[计]程序规格说明

程序规范

相似词语短语

technical specification───技术规范[说明]；技术规范；技术说明

specification order───订货规范

specification number───规格编号；说明书号

specification sales───规格销售

specification code───规格法规

specification limits───技术说明规范；规格界限

specification writer───规范编写者

gifted program───天才计划

internship program───实习计划；实习项目

双语使用场景

Project requirement, write design specification or program specification.───书写设计需求和项目仕样书。

DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.───DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。

First, there is the crosscutting specification, where you should ask yourself what parts of the program the concern affects.───首先是横切规范，它要回答的是关注点影响的是程序的哪些部分。

During this time the writing of the PLC program is started (or at least the detailed program specification is written).───在这样的连接下开始编写PLC程序（或者至少是写入详细的程序规范）。

Program specification of our research consists of three parts: pre-condition, crosscutable rely-condition and post-condition.───本研究的程序规约包括三个条件：前置条件、可横切依赖条件和后置条件。

The section following, "Program Specification, " describes how Socrates does it.───下面的“程序规范”一节将介绍Socrates的工作原理。

The Application of Transformation Techniques of Program Specification in Program Design───程序规约变换技术在程序设计中的应用

英语使用场景

Meta-programming is a method to develop computer programs. It works by generating source code in a target language from a program specification in a higher level language.

DT Part IV "Program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.

Based on program specification, this dissertation puts forward E-CSPE to define the relationships between events that are event constrains and formulates new event constrains from E-CSPE.

Program specification of our research consists of three parts: pre-condition, crosscutable rely-condition and post-condition.

Analyze Project requirement, write design specification or program specification.