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.
利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。
The goal oriented specification language KAOS is extended, and a strategy model is added in order to achieve the multi-goal, dynamic strategy adaption requirement specification.
将面向目标的规约语言（KAOS）进行扩展，增加了策略模型，建立支持面向多目标的基于动态策略的适应性需求规约方法。
应用推荐