计算机工程2007，Vol.33Issue(5)：73-75,3.
软件需求的形式化转换模型
Digestion-based Software Formal Transformation Model
侯丽珍 1蔡小娟 1邹恒明1
作者信息
- 1. 上海交通大学计算机科学与工程系,上海,200240
- 折叠
摘要
关键词
软件需求/形式化转换/软件可靠性分类
信息技术与安全科学引用本文复制引用
侯丽珍,蔡小娟,邹恒明..软件需求的形式化转换模型[J].计算机工程,2007,33(5):73-75,3.
