Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Theses
      • Masters Degree Theses
      • View Item
      •   Research Commons
      • University of Waikato Theses
      • Masters Degree Theses
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      An Eclipse Environment for Z

      Xu, Chengdong
      Thumbnail
      Files
      thesis.pdf
      4.329Mb
      Citation
      Export citation
      Xu, C. (2006). An Eclipse Environment for Z (Thesis, Master of Science (MSc)). The University of Waikato, Hamilton, New Zealand. Retrieved from https://hdl.handle.net/10289/2346
      Permanent Research Commons link: https://hdl.handle.net/10289/2346
      Abstract
      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 and model computer-based systems. For the widespread use of Z, it is desirable to integrate Z support with a mature and popular editing environment, such as Eclipse. Eclipse was chosen as the basis for the new Z environment because it is widely used, it provides rich functionality and it is designed to be extensible.

      The Z environment described in this thesis extends Eclipse to provide a large set of useful features for editing and analyzing Z specifications, such as a table of Z symbols, constant detection of syntax and type errors, outlining facilities, cross-referencing of Z names and conversion between different Z markups. User feedback shows that the resulting Z environment is helpful for editing and correcting Z specifications.

      The development of the Z support for Eclipse is a part of the CZT (Community Z Tools) project, which is a Java framework for building Z tools and provides parsers, typecheckers and other Z tools.
      Date
      2006
      Type
      Thesis
      Degree Name
      Master of Science (MSc)
      Publisher
      The University of Waikato
      Rights
      All items in Research Commons are provided for private study and research purposes and are protected by copyright with all rights reserved unless otherwise indicated.
      Collections
      • Masters Degree Theses [2381]
      Show full item record  

      Usage

      Downloads, last 12 months
      84
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement