在许多方面，使用这些形式方法会采用传统OOP语言中的许多原理(和限制)。
In many ways, using these formal methods imposes much of the discipline (and limitations) you find in traditional OOP languages.
在将商业需求转换成软件功能的快速开发周期中，面向方面是一种可以利用的强有力的设计原理。
Aspect orientation is a powerful principle to draw upon during the fast-paced cycle of transforming business requirements into software features.
人们只是在两个世纪前一点才开始了解电的使用原理，自然界却显然在这方面经历 过了数百万年。
Yet, people began to understand how electricity works only a little more than two centuries ago. Nature has apparently been experimenting in this field for million of years.
应用推荐