Sharif Digital Repository

Object oriented analysis and design hase become the paradigm of choice for many software builders. For, it has filled the gap between the problem domain and its solution. However, most of object oriented methods can not prove their model against the software specification and do not ensure that they realize what the customer needs. Formal method is one of the methods used for building softwares. Since a software is specified accurately by this method, the specification can be used to build the software in addition to being used as a test for the final software. A specification can be refined to code step by step. Since an object oriented model is close to problem domain in real world, a...