排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
2.
基于形式化方法的需求分析 总被引:4,自引:3,他引:4
利用形式化规格说明语言——B语言对软件需求进行了严格定义,在严格的数学基础上进行软件开发,以获得更好的软件性能。利用形式化方法的需求分析,有助于发现需求中隐含的不一致性、二义性和不完整性,对其进行更深入精确的理解,从而进行规范化管理。 相似文献
3.
1