软件需求各组成部分之间的关系 在软件需求规格说明（ software requirements specification，S R S）中说明的功能需求 充分 描述了软件系统所应具有的外部行为。
基于2个网页-相关网页
在软件需求规格说明
Specification in software requirements
以上为机器翻译结果，长、整句建议使用 人工翻译 。
利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。
The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.
youdao
应用推荐
模块上移
模块下移
不移动