Software Formalization Requirements Analysis and Verification Based on UML
Wang Jiang · Jisuanji gongcheng · 2010
Aiming at the problems of incomplete requirements description,ambiguity and inconsistency in traditional requirements analysis method of software developments,this paper proposes a formalization requirements analysis method.It introduces to get the software requirements specification according to the requirements of the user with formalization method,design the software Unified Modeling Language(UML) model and to describe the UML model with formalization method,do the requirements verification to the formalization UML model with the method of formalization verification,for make sure the correctness of the designed software UML model.Experimental results show that the formalization requirements analysis method can overcome the problems in traditional requirements analysis method.