Does any body use Z ?

Hello,..

On my academic studies i had been told about the use of Z notation when designing and writing big projects .

my question is :
Is it hapens in real life programming ?

do you even used Z in programming if yes where and for what (finding logical problems , making the code be better etc ... ).

I've never heard of it. What's Z notation?

No, and it seems unlikely you ever would because not enough people know Z or are comfortable enough with set notation to really use it to communicate. Real-world notation is Use Cases written at a 3rd grade reading level.

It is in a very real sense impossible to predict what you are going to need in the real world, but generally it's a question of having a lot of technologies under your belt.

Quote:

---

Originally Posted by jabka

Hello,..

On my academic studies i had been told about the use of Z notation when designing and writing big projects .

my question is :
Is it hapens in real life programming ?

do you even used Z in programming if yes where and for what (finding logical problems , making the code be better etc ... ).

---

I know a bunch of guys at PDX who use Z. It has been applied on several projects, like the Nickel language, and more notably on some of the Free Desktop projects.

So yeah, it's used in real life, but mostly in a more academic context. But academic code is real code just like anything else -- we're not talking homework projects, here.

Quote:

---

Originally Posted by cpjust

I've never heard of it. What's Z notation?

---

Quote:

---

Originally Posted by http://en.wikipedia.org/wiki/Z_notation

The Z notation (formally pronounced zed, named after Zermelo-Fränkel set theory) is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and the formulation of proofs about the intended program behavior.

---

The use of wikipedia ..

Also after a short talk with DB developer for LADPC (I didn't even thought that they will answer for that question by mail ).

"On some major Data Base application and VOIP system there is use of Mathimatical approach (Z and VDM) " (Translated from Hebrew)

also

Thank all (btw any ppl that use Z or VDM ?)

Also found that IBM use Z in design :

in CICS8 and CICS10 (CICS based systems : http://www-306.ibm.com/software/htp/cics/)
to test for "Sofware Provel" -(im translating the term).

im not sure what is the correct term in English but it used to describe the Mathematical approach to test if the program does what it suppose to do.
also finding potential problems in the application.