FORMAL METHODS
In software engineering, formal methods are the same as the system development life cycle that we have discussed in system analysis and design. Recognization of the need for change: First of all we have to understand what is our need, motive, and expectations behind changing a system partially or fully. Feasibility study: Here we understand our limitations that till where we can go in a particular dimension it may be in terms of cost, change, people’s resistance, etc. Analysis of the present system: Then we have to understand the present system first so that we can know the consecutive which might cause by changes made by us. Design of a candidate system: Finally we have to design the new candidate system for which we have gathered so much pre-requisite knowledge. Testing and Implementation of the system: Before implementation, we have to test our new system so that we can rectify the bugs and make the system more efficient. The suggestions that we get in testing will be followed ...