| 释义 |
1 [计]?程序规格说明 ... program set station,程序设定操作器 program specification,程序规格说明 program validation,程序确认 ... 2 ?程序说瞄 ... 验收说瞄 acceptancespecification 程序说瞄 program specification ; program ecification 工序说瞄 specifications ... 3 ?程式规格 ...系统需求的条件，并进一步定出电脑该做些什么工作，又该如何去做，所以在此阶段又称为「程式规格（Program Specifications）阶段。而在本研究中，其系统设计架构主要延伸自第二章文献探讨所提的资料采撷架构，并加以修正。 4 ?程序规约 ...类 直觉主义逻辑的类型理论把公式作为类型，公式的证明是构造性的．从程序设计观点看，类型是程序规约 （Program specification），类型的元素是程序．在OOP中，类是一组对象的模板，它描述了这些对象的共同特 性，因此我们认为可把类作为一种类型，对象就是其...
- 1
Analyze Project requirement, write design specification or program specification. - 2
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部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。 - 3
First, there is the crosscutting specification, where you should ask yourself what parts of the program the concern affects. 首先是横切规范，它要回答的是关注点影响的是程序的哪些部分。
|