Operational specification for FCA using Z

ANDREWS, S. and POLOVINA, S. (2008). Operational specification for FCA using Z. In: 16th International Conference on Conceptual Structures, Toulouse, France, July 2008.

[img]
Preview
PDF
Download (102kB) | Preview
    Official URL: http://www.inra.fr/iccs08/

    Abstract

    We present an outline of a process by which operational software requirements specifications can be written for Formal Concept Analysis (FCA). The Z notation is used to specify the FCA model and the formal operations on it. We posit a novel approach whereby key features of Z and FCA can be integrated and put to work in contemporary software development, thus promoting operational specification as a useful application of conceptual structures.

    Item Type: Conference or Workshop Item (Paper)
    Additional Information: Peer-reviewed paper presented at the 16th International Conference on Conceptual Structures, Toulouse, France, July 2008
    Research Institute, Centre or Group: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
    Depositing User: Ann Betterton
    Date Deposited: 07 May 2009
    Last Modified: 21 Dec 2010 11:29
    URI: http://shura.shu.ac.uk/id/eprint/21

    Actions (login required)

    View Item

    Downloads

    Downloads per month over past year

    View more statistics