两次数据精化的形式化软件开发方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

两次数据精化的形式化软件开发方法

邢小英, 王维维

A Formal Software Development Method of Using Data Refinement With Two Times

XING Xiaoying, WANG Weiwei

计算机工程 . 2006, (1): 102 -104 . DOI: 10.3969/j.issn.1000-3428.2006.01.036