查询词典 documentation of program

This is a real program," says Jeff Hanley, manager of NASA's Constellation program, which oversees manned exploration."

NASA 星座计划监督载人探测，其总管杰夫·汉雷说：这是一项真实的计划。

If an organization has more than one defined meeting/program, it is possible to have a file on each meeting/program, especially if the contact surface is different.

如果一个公司组织两个或以上的活动，特别是联络人不同

This paper describes an approach to reverse engineering based on the formal semantics of the strongest postcondition predicate transformer,and the partial correctness model of program semantics introduced by Hoare. The main point of our investigation is how to use informal and formal methods for reverse engineering. The approach provided by this thesis is mainly to process the C program system for reverse engineering.

本文描述的逆向工程中的形式化方法采用最强后置条件谓词转换技术和Hoare理论中有关程序语义的部分正确性模型，研究的重点是利用形式化技术和非形式化技术对程序代码进行逆向工程，以支持软件理解和维护。

How to generate program assertions is of great importance to software verifications Classical approach to this problem relies on a good command of program structures and repeatedly applying Hoare's rule for deducing Hoare triples.

如何生成程序断言对于软件验证十分重要。传统方法要求既要对程序结构有深入地把握又要做繁复的Hoare三元式推演工作。

Hobbyhorse program is a major problem threaten internet,the ways of loading the program are also diversify,but the normal way is making use of the system files

木马是互联网所面临的一种主要的安全威胁，其加载的方法也是多种多样，通常使用的方式是利用系统的配置文件

Related to real application adn by means of the character that int28 idle call is excuted cyclically when DOS kernel waits to input and output, rear program is used as Int28 interrupt service program.So rear I/O operation can be competely controlled by DOS. And thus system security is ensured.

结合具体应用，利用DOS内核在等待输入输出时循环执行INT28空闲调用这一特点，将后台程序作为INT28中断服务程序，实现了后台I／O操作完全在DOS控制下进行，从而保障了系统的安全性。

In this article, I will use a TV program about a famous Faan-Chuen male impersonator Yam Kim-Fai to question the representation/reading of s/he in the TV program.

在这篇文章中，我将分析一个电视节目。该节目是关于著名的男性模仿者任剑辉的。我将通过分析这个节目，来质疑该节目对他/她的再现/解读。

This project describes amply the design processes of network middleware and the impletion processes of remote control chemical tanker operation and training software, including the middleware concept and essence of software design idea, computer program technology adopt in program-designed, network communication and so on.

本文详细讲述了网络中间件的开发过程和化学品船作业仿真培训软件的远程控制的实现过程，其中包括网络中间件的概念和本质、软件设计思想、程序设计中采用的计算机编程技术、网络通信技术等。

When I first began to program I would see before me the whole program in one mass.

当我刚开始编程时，我可以看到在我面前整个程序在一块儿。

B Memory Footprint. Inlining usually has little or no effect on a program's memory usage, apart from the basic program size.

b内存占用。在基本的程序大小之外，内嵌一般对程序的内存占用没有或只有很小的影响

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。