Program verification techniques are code-oriented, but most of them are not capable of describing the property of execution time of practical programs.

而对于实际程序，大多数程序验证技术则不适合验证运行时间。

youdao

A software developmental method is put forward, in which the code is treated as an object and applications a code-oriented example is given based on J2EE.

为此提出了一种将代码作为对象，面向代码进行基于J2EE的软件开发方法，并给出了实现的技术和相应的例子。

youdao

You can keep the code object oriented by encapsulating the actual model knowledge within the model itself.

您可以通过将实际的模型知识封装到模型中来保证代码是面向对象的。

youdao

The machine does not allow modifications to its ROM (because it has an O in the middle), but the team was able to use a technique called return-oriented programming to modify how the machine executes existing code, taking the bits they want and, ultimately, devising a way to re-program its behavior by simply inserting a cartridge into a slot -- presumably after blowing on it for good luck.

ENGADGET: Hang your head, Sequoia e-voting machine; you've been hacked again