Analyze 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.
首先是横切规范，它要回答的是关注点影响的是程序的哪些部分。
Authors: Model-based analysis USES a model program — a kind of executable specification — to check specifications or designs, including communication protocols for example.
作者：基于模型的分析使用了一个模型程序——一种可执行的规格说明书——去检测规格说明或者设计，例如包含了对通信协议的检测。
All a functional specification has to do is explain how the program will behave.
所有的功能设计规格所要做的就是解释程序如何行动。
Formulating equipments specification or standards for released program to outside suppliers, leading equipments and fixture's sourcing.
为新项目向供应商详述设备的规格或标准，主导设备和工装夹具的选购。
Maintain financial and credit system and program updates, and financial department in close contact to ensure that all financial and credit program, effective implementation of specification.
维持财务及信用制度和程序的更新，与财务部密切联系确保所有财务和信用程序的有效、规范执行。
The test result indicates that the M3UA program fulfils the technical index of test specification ultimately.
测试结果表明M3UA程序满足测试规范所要求的技术指标。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
According to the domain analysis testing approach of specification and program, which was reported in the reference, we develop 90 test cases to check 34 version RSDIMU programs.
本文根据文献提出的一种基于规范和程序域分析的软件测试方法，开发出90个测试用例，对34个版本的rsdimu容错软件进行测试。
DSP YUV to RGB image under the program, code detail specification, with annotations, suitable for novices to use.
说明：DSP下的YUV转RGB图像程序，代码详细规范，有注释，适合新手使用。
The DMS language used to accomplish transformations is called the "(DMS) rule Specification language", or RSL, and is used to specify (program transformation) rules.
用于完成转换的DMS语言被称为“(DMS)规则规范语言”，或rsl，和用于指定(程序变换)的规则。
The hardware of the example adopts DSP motion control card self-developed, the software architecture USES COM technology, and the hardware driver program conforms to OPC specification.
该实例的硬件采用自行开发的DSP运动控制卡，软件采用COM技术，硬件驱动程序符合OPC规范。
According to OPC data access specification, develop OPC server program using MFC and object-oriented design patterns.
根据OPC数据存取规范，运用MFC和面向对象的设计模式开发OPC服务器程序。
Furthermore, it illuminates how to use VDM technology to develop program, and program testifying with function and operation formational specification with a instance.
然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。
Key data structure, program flows designed for promotion of differentiated classes of service, scheduling algorithms and specification of API have been narrated in addition.
描述了实现过程采用的重要数据结构、针对区分服务支持设计的流程以及网络调度算法。给出了API接口使用规范。
A method is proposed for automated unit test of object-oriented program, which USES the specification of extended state diagram as the input.
提出了一种使用经过扩充的状态图规格描述作为输入的自动化单元测试方法。
DomainKeys specification for testing on the Internet and is actively seeking participants and feedback for this Pilot Program.
规格测试于互联网和反馈，并积极寻求参与这项试办计画。
The paper illustrates the communication specification and the data exchange ways between CP525 and personal computer in detail, gives the communication program and hardware connection ways.
本文详细说明了CP525与个计算机的通讯规程，数据交换方式。并给出了通讯的程序和硬件连接方式。
Steel welding procedure qualification under the pressure of JB / T 4708-2000 determine the product of welding procedure qualification program, to complete the project welding procedure specification.
根据钢制压力焊接工艺评定JB/T 4708-2000确定产品的焊接工艺评定项目，完成焊接工艺评定项目说明书。
The IVI-C and IVI-COM Driver is implemented based on IVI specification. And a test panel program is developed.
以及根据IVI规范分别开发了IVI-C和IVI-COM驱动器，并且开发了一个简易的示例软面板采集程序。
According to the source that is used to derive tests, software testing is classified into two categories -program based testing and specification based testing.
根据测试用例产生的依据可以将软件测试分为基于程序代码的测试和基于规格说明的测试两大类。
The specification based testing can verify whether a program conforms to its specification, which is the aim of testing.
这种测试可以验证程序实现是否符合系统需求，从而实现软件测试的目的。
This paper tells of the thought of the universal tabulation program of FOXBASE automatic generation databse, and gives the specification of operation and the detailed list of the source program.
介绍了在FOXBASE环境下自动生成数据库制表通用程序的思路、使用说明，并给出了源程序清单。
3 + years of experience in program management, software development, specification writing.
3年以上的程序管理，软件开发，编程文档书写经验。
Study circumstance is the key component forming the curriculum program of study areas and the specification of the curriculum program during the learning process in vocational colleges.
学习情境是组成学习领域课程方案的结构要素，是课程方案在职业学校学习过程中的具体化。
In order to facilitate users to specify the temporal specification at the time of authoring a multimedia program, a composition model is needed.
为了方便用户编制大型多媒体系统的时序描述，组合模型是必须的。
In order to facilitate users to specify the temporal specification at the time of authoring a multimedia program, a composition model is needed.
为了方便用户编制大型多媒体系统的时序描述，组合模型是必须的。
应用推荐