Search results with tag "Formal specification language an overview"

Z Formal Specification Language - An Overview - IJERT

specification language. Z is model oriented formal method based on set theory and first order predicate calculus [1]. In this paper an outline of formal method is described in Section 2.In Section 3 Difference between formal and informal specification language is presented. In …

  Language, Section, Specification, Overview, Formal, Formal specification language an overview