%0 Journal Article
%T 一种严格的软件开发方法框架
%A 宁洪
%A 王兵山
%A 谭庆平
%A 陈火旺
%A 齐治昌
%J -
%D 1996
%X 本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体，使软件开发中的“创造”和“演算”得到合理的折衷．本文已初步实现了面向该方法的实现工具
%K 软件开发 形式化方法 设计演算
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19960310&flag=1