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.

Preview

PDF fulltext.pdf Download (105kB) | Preview

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 - 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
Depositing User:	Ann Betterton
Date Deposited:	07 May 2009
Last Modified:	18 Mar 2021 14:02
URI:	https://shura.shu.ac.uk/id/eprint/21

Actions (login required)

View Item

Downloads

Publication Metrics