Tools
Tools
ANDREWS, S. and POLOVINA, S. (2008). Operational specification for FCA using Z. In: 16th International Conference on Conceptual Structures, Toulouse, France, July 2008.
![[img]](http://shura.shu.ac.uk/style/images/fileicons/application_pdf.png)
| 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