软件需求的形式化转换模型

检索

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

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

软件需求的形式化转换模型

侯丽珍;蔡小娟;邹恒明

Digestion-based Software Formal Transformation Model

HOU Lizhen; CAI Xiaojuan; ZOU Hengming

计算机工程 . 2007, (05): 73 -75 . DOI: 10.3969/j.issn.1000-3428.2007.05.025