Acquiring formal requirements using Object-Z
Na Wang · Computer-aided engineering · 2008
In the description of software requirements,the model described by UML is not conducive to reasoning and verification compared with formal requirement specification.A method using unified process to build requirement model is described by UML.The method and steps are obtained by using Object-Z to obtain the formal requirements,and it is verified with an example.The process that uses formalization method to validate and confirm the non-formal requirements is proposed.The study provide an effective method to validate and verify the non-formal requirements.