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.

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.