Comment by one-two

Formal (math) notation has been around forever and it will probably stay that way. Using it to specify software is a recent application, but the meanings of symbols and their relationships are well established. Programming language syntax rules change, math does not. Also, math is more concise, more precise, and easier to analyze (prove that something is possible/impossible) than a programming language.

P.S. Check out Using Z (usingz.com). It is fantastic.