Search results with tag "Specication"

The Z Specication Language - Application-oriented Formal ...

The Z Specication Language Based on Typed r st-order predicate logic Zermelo-Fraenkel set theory Rich notation Invented/developed by J.-R. Abrial, Oxford University Computing Laboratory International standard ISO/IEC JTC1/SC22 B. Beckert: Formal Specication of Software Πp.2

  Language, Formal, The z specication language, Specication