面向对象结合形式化技术的框架式开发方法

The Developmental Method of the ObjectOriented and Combinative Formallzed Technical Framework Type

在面向对象及形式化方法的基础上，系统地提出了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥。

Seeing that this article suggests a detailed and systematical method of development on the basis of ObjectOriented and Formalized method and tries to make the developer who can do their best in their creativeness and active ability in respect of developmental area and can make the software development to correspond with situations need.