Requirement Analysis Based on Formalized Method
He Jifeng · Jisuanji gongcheng · 2003
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. It is helpful to describe requirement with formal methods, which keeps the consistency, unambiguity and completeness. It also makes further and precise understanding of requirement, so as to manage it more standardfully.