| Popis: |
Formal methods are mathematical techniques, which allowa software developer to develop a computer system that ismore complete, consistent and unambiguous. They provide a mathematical structure within which, a systematic manner is used to specify, develop and verify a system. Bugs mayarise as a result of incongruous requirements or due tohuman errors in design and coding. Formal methods can be a silver bullet for software industry for solving these problems. Z notation and B-method are two formalspecification languages which are used by the industrynow-a-days. In this paper we tried to enlighten these formalspecification languages by providing a comparison between these two. |
