Eltayib, S., Musa, Mohamed M., (Dec. 2008) “On Practicality of Using Integrated Semi-Formal modeling Tools”


By Safaa E. M. Eltahir, Dr. Mohamed E. M. Musa.


Reliability a of getting the benefits of both and minimize their According to the rapid grow in size and functionality of hardware and software systems there is also an equivalent increase in the complexity of these systems. Consequently, the likelihood of errors is much greater. In addition, some of these errors may cause terrible loss in money, time or some times human life. A key goal of software engineering is to build reliable systems despite this complexity. Reliability means an acceptable level of failures frequency. Correctness which is defined as a matching between the implementation of systems and their specification leads to reliability