| 论结构化方法与形式化方法的结合 |
| |
| 引用本文： | 李景洲,董继润.论结构化方法与形式化方法的结合[J].计算机科学,1995,22(1):47-50. |
| |
| 作者姓名： | 李景洲 董继润 |
| |
| 作者单位： | 山东大学计算机科学系，山东大学计算机科学系，山东大学计算机科学系 济南 250100，济南 250100，济南 250100 |
| |
| 摘 要： | 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.
|
| 关 键 词： | 软件开发 结构化 形式化 抽象描述语言 |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
