计算机应用与软件2004，Vol.21Issue(10)：4-6,3.
一种获得形式化功能需求的方法
AN APPROACH TO CAPTURING FORMAL FUNCTIONAL REQUIREMENTS
摘要
关键词
UML Object-Z 形式化 功能需求分类
信息技术与安全科学引用本文复制引用
高如海,缪淮扣,陈怡海..一种获得形式化功能需求的方法[J].计算机应用与软件,2004,21(10):4-6,3.基金项目
本课题受国家自然科学基金项目(批准号:60173030)资助. （批准号:60173030）
