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 ...