Z語言

Z語言是一種用“數學文字”或“數學符號”來描述計算機系統的規範化語言，它不但能應用於計算機硬件系統，而且也特別適用於計算機軟件系統，Z語言描述“做什麼”而不涉及“怎麼做”，只對目標軟件系統進行功能描述。實際上，Z語言僅僅是一套規定的數學符號，使用Z語言所寫的“程序”是對計算機軟件或硬件系統的一種抽象化設計。所以，利用Z語言寫出來的內容不是計算機程序，更不是可以編譯而生成能夠在計算機上運行的代碼。利用Z語言寫出來的內容不是讓計算機運行的，而是供人理解和分析的。用户可以通過這些內容去理解計算機系統的模塊、數據類型、過程、函數、對象、類等，進而對計算機系統的行為、結構、邏輯進行分析、驗證、改進、測試等。