论形式化的软件规格说明方法期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

论形式化的软件规格说明方法

引用本文：	陈万军,张然.论形式化的软件规格说明方法[J].计算机应用与软件,1991,8(5):1-7.

作者姓名：	陈万军张然

作者单位：	复旦大学 (陈万军)，复旦大学(张然)

摘要：
关键词：	形式化软件规格说明软件开发
本文献已被 CNKI 维普等数据库收录！