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

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