|
|||||
|
|
| 分布式实时处理形式开发技术导论 | |
| 作者姓名： | 刘键 朱晓梅 |
| 作者单位： | 华中理工大学计算机系，华中理工大学计算机系 武汉 430074，武汉 430074 |
| 摘 要： | 本文从程序设计的实质开始，讨论了形式方法的实质、作用、困难、克服困难的途径及若干关键问题等系列问题，提出了我们的看法并且论述了形式方法的分类，结合若干典型例子，对各类方法的特点也作了一些介绍。 |
| 关 键 词： | 软件开发 实时处理 程序设计 形式开发法 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |