Z-Notations

Give the Brief Introduction of Z-notations

Z is a formal specification of a computer language which is set up of various types of theories and predicate logic. There are various types of textbooks available on the Z language which is available in the online resources. The Z notation os a formal language which is known to have difreent types of specialization that is used for modeling and describing the computer systems. The main target of the Z notation is to clear the specification of the computer programs and all other comp[uter specialization that is general. In the year 1974 the scientist who is Jean Eaymond was known to develop this types of software in the University of Grenoble. He had started developing this types of software in the year 1974 and he has finished develoi0ng the software in the year 1980 with the help of the other scientist were associated with the author at that time.

When did the Z-notations has been started and whom?

The Z notation was discovered by the author Jean Eaymond in the year 1974 when he was the president of the University of technology and management in the US. In the year 1980 the author had finished editing the programs which were necessary for developing the software. Z was originally proposed by the author Abrial in the year 1977 with tge help of Steve eSchuman and the Bertrand Meyer. It was then further developed by the author Jean Eamond in the year 1974at the Program and research Group in the University of Technology and management. The name was Z notation as because it was the named after the programming software Zermelo.

What was the need of this Z-notations?

Z notation is a  mathematically used program that is fully based on the mathematical standard of notation which used axiomatic set of theories, lamda calculus, set theory and first order logic reasoning. All the expressions in Z notation is typed there by avoiding the paradoxic of native set theory which is generally taught to the students. The Z notation is known to contain various types of symbols such as the ASCII and the Latex which are known as the Unicode. The need of the Z notation is mainly used when solving various types of mathematical programs in the computers.

What is the uses of these Z-notations

The Z notation is mainly the APL language which is long used by the non ASCII symbols or the specifications which includes the suggestions for the rendering of the Z notation symbols in the ASCII and the Latex. There are also various other forms of Unicode coding for all the standards of symbols that are used in the Z notation.

What is the Criticism of Z-notations?  

In most of the critical situations like the solving of the electromagnetic programs for various types of companies there have been rigorous arguments or a semi formal justifications which will be able to justify the desired improvement in the products that are proposed to the author. In some other situations its is very necessary to increase the level of formality until the correctness of the designed authority. This is the main reason why various types of people does not want to use any kind of programs which are known as the Z notation. The trick that is used by the Z notation is not k known to everyone out there. Therefore most of the cases where people does not want to use the notation does not use it under any circumstance.

What is the related topic and concept of Z-notations?

Few other topics which are related with the Z notation is that the B method language which is a method of software development based on the B tool which is supported by the formal method based on the abstract machine notation. The use of the development of the computer software was originally developed by the author and technician of the computer software. However it was originally developed by Jrean Abrai in UK. The software was developed by the author in the year 1982. The B method is partially related with the Z notation but it is not the updated version of the Z notation. The program is know to develop various kinds of data which is used to develop the core languages of computer programming. B has been known as the safety critical system that is commercially available tool that supports specification, designs proofs and codes generators.

When compared with the Z notation B method is slightly lower in level but it has more focus in the refinement of the document that is produced in the output of programming. The same language is thus used in various kinds of specifications, design and programming and other mechanisms which includes encapsulation and data locality in the computer programming.