分布式实时处理形式开发技术导论  

作　　者：刘键[1] 朱晓梅[1] 

机构地区：[1]华中理工大学计算机系,武汉430074

出　　处：《计算机科学》1995年第6期62-73,共12页Computer Science

基　　金：国家自然科学基金

摘　　要：本文从程序设计的实质开始,讨论了形式方法的实质、作用、困难、克服困难的途径及若干关键问题等系列问题,提出了我们的看法并且论述了形式方法的分类,结合若干典型例子,对各类方法的特点也作了一些介绍。

关 键 词：软件开发 实时处理 程序设计 形式开发法 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]