cqvip:The advantages and drawbacks of both structured method and formal method togetherwith techniques of integrating the two methods are described and analysed in this paper.Two typi-cal classes of techniques for the integration are presented as examples,they are the transformationbased and formal framework based techniques.Several problems about the integrated method aredisscused at last.
展开▼