%0 Journal Article
%T 分布式实时处理形式开发技术导论
%A 刘键
%A 朱晓梅
%J 计算机科学
%D 1995
%I 
%X 本文从程序设计的实质开始，讨论了形式方法的实质、作用、困难、克服困难的途径及若干关键问题等系列问题，提出了我们的看法并且论述了形式方法的分类，结合若干典型例子，对各类方法的特点也作了一些介绍。
%K 软件开发
%K 实时处理
%K 程序设计
%K 形式开发法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=FCFD61DEDF94F0923C51767113B56C68&yid=BBCD5003575B2B5F&vid=BC12EA701C895178&iid=B31275AF3241DB2D&sid=95D537AC89B28832&eid=B9704B40A4225A24&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0