软件开发过程中的形式化方法

Keywords: 软件开发,规范说明语言,形式化法,程序自动生成

Full-Text   Cite this paper   Add to My Lib

Abstract:

本文简要介绍了软件开发过程中使用的形式化方法，典型的规范说明语言以及有关的实践活动。

Full-Text