Does any body use Z ?

This is a discussion on Does any body use Z ? within the C Programming forums, part of the General Programming Boards category; Hello,.. On my academic studies i had been told about the use of Z notation when designing and writing big ...

  1. #1
    Registered User
    Join Date
    Apr 2007
    Posts
    112

    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 ... ).
    why Gaos didn't had a wife ?
    http://bsh83.blogspot.com

  2. #2
    and the hat of sweating
    Join Date
    Aug 2007
    Location
    Toronto, ON
    Posts
    3,545
    I've never heard of it. What's Z notation?

  3. #3
    Registered User
    Join Date
    Sep 2001
    Posts
    752
    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.
    Callou collei we'll code the way
    Of prime numbers and pings!

  4. #4
    Captain Crash brewbuck's Avatar
    Join Date
    Mar 2007
    Location
    Portland, OR
    Posts
    7,274
    Quote Originally Posted by jabka View Post
    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.

  5. #5
    Registered User
    Join Date
    Apr 2007
    Posts
    112
    Quote Originally Posted by cpjust View Post
    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 ?)
    why Gaos didn't had a wife ?
    http://bsh83.blogspot.com

  6. #6
    Registered User
    Join Date
    Apr 2007
    Posts
    112
    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.
    why Gaos didn't had a wife ?
    http://bsh83.blogspot.com

Popular pages Recent additions subscribe to a feed

Similar Threads

  1. html header and html body
    By Checker1977 in forum Tech Board
    Replies: 18
    Last Post: 11-23-2008, 05:52 AM
  2. Enum and body parts
    By Rahtgaz in forum C++ Programming
    Replies: 6
    Last Post: 07-17-2006, 05:05 PM
  3. scrolling text in the body
    By task in forum C Programming
    Replies: 7
    Last Post: 05-18-2002, 11:16 AM
  4. is this required in a function body?
    By Unregistered in forum C++ Programming
    Replies: 2
    Last Post: 09-26-2001, 04:20 PM

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21