ANDREWS, S. and POLOVINA, S. (2008). Operational specification for FCA using Z. In: 16th International Conference on Conceptual Structures, Toulouse, France, July 2008.
Download (105kB) | Preview
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|
Actions (login required)
Downloads per month over past year