A CASE tool for demonstrating Z specifications

ANDREWS, Simon and NORCLIFFE, Allan (1990). A CASE tool for demonstrating Z specifications. In: IEE Colloquium on Application of CASE Tools. IET, 5/1-5/4.

Andrews_case_tool.pdf - Published Version

Download (136kB) | Preview
Official URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?...
Related URLs:


    The CASE tool described, is designed to enable software engineers to produce a faithful animation of specifications written in Z. Desirable properties which animations of this kind should possess, and which have guided the authors in developing the tool, are the following: the executable code (i.e., the animation) must be easy to produce; the structure of the code should not be too far removed from the Z; and the animation should be sufficiently user friendly to enable a client to understand and interact with it. The CASE tool is based around the program development tool known as CRYSTAL. CRYSTAL is sold as an expert system shell by Intelligent Environments Ltd. It is essentially a rule-based programming language offering excellent input, output, and menu facilities, as well as all the standard features expected of any expert system shell.

    Item Type: Book Section
    Uncontrolled Keywords: expert systems;formal specification;knowledge engineering;software tools;specification languages;CASE tool;CRYSTAL;Z specifications;animation;executable code;expert system shell;menu facilities;program development tool;rule-based programming language;software engineers;user friendly
    Research Institute, Centre or Group - Does NOT include content added after October 2018: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
    Departments - Does NOT include content added after October 2018: Faculty of Science, Technology and Arts > Department of Computing
    Identification Number: Inspec number 3669047
    Page Range: 5/1-5/4
    Depositing User: Helen Garner
    Date Deposited: 28 Oct 2014 14:46
    Last Modified: 11 May 2018 17:23
    URI: http://shura.shu.ac.uk/id/eprint/8598

    Actions (login required)

    View Item View Item


    Downloads per month over past year

    View more statistics