Design by Contract in the Application of Trusted Business Component

• 契约式设计在可信业务构件中的应用