%0 Journal Article
%T 分布式实时处理形式开发技术导论
%A 刘键 朱晓梅？
%J 计算机科学
%D 1995
%X 本文从程序设计的实质开始，讨论了形式方法的实质、作用、困难、克服困难的途径及若干关键问题等系列问题，提出了我们的看法并且论述了形式方法的分类，结合若干典型例子，对各类方法的特点也作了一些介绍。
%K 软件开发实时处理程序设计形式开发法
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=1798802&flag=1