摘要
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.
The advantages and drawbacks of both structured method and formal method together with techniques of integrating the two methods are described and analysed in this paper. Two typical classes of techniques for the integration are presented as examples,they are the transformation based and formal framework based techniques. Several problems about the integrated method are disscused at last.
出处
《计算机科学》
CSCD
北大核心
1995年第1期47-50,共4页
Computer Science
