when I was at university we did a module on Formal Methods including writing Z Schemas. Out of a class of 30 only two people really understood them. That's wh

when I was at university we did a module on Formal Methods including writing Z Schemas. Out of a class of 30 only two people really understood them. That's why they are not generally used, no one (or at least not enough) has a clue how to create them. I doubt they are taught on general Computer Science degrees anymore.