The paper models software requirement in the form of formalized specificationlanguage b, develops software based on a precise mathematical framework in order to achieve better software performance.
The goal oriented specificationlanguage KAOS is extended, and a strategy model is added in order to achieve the multi-goal, dynamic strategy adaption requirementspecification.