Creating a Software

There are some formal methods that describes how to create a software.This formal methods allow the engineer to create a very efficient and best software. Always a specification should be done first that should be more complete ,consistent and unambiguous than those produced using conventional methods.Because the specification is created using some mathematical notations that are less ambiguous than some informal representation.This formal method of representation will definitely reduce the errors which will improve the efficiency as well as it can.Always recovering the errors will me made easy only through this formal methods. Always remember that ERRORS if recovered at the starting wont create a problem later.