Program verification techniques are code-oriented, but most of them are not capable of describing the property of execution time of practical programs.
而对于实际程序，大多数程序验证技术则不适合验证运行时间。
2
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.