Browsing by Author "Xu, Chengdong"
Now showing items 1-1 of 1
-
An Eclipse Environment for Z
Xu, Chengdong (The University of Waikato, 2006)This thesis reports on the design, implementation and evaluation of a new interactive Z environment that is integrated into the Eclipse environment. The Z language is a formal specification notation that is used to describe ...