program specification的意思

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.