Operational specification for FCA using Z

Tools

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

[+][-]

Documents

21:16

[+][-]

21:16

Preview

PDF
fulltext.pdf

Download (105kB)

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.

More Information

Official URL:

http://www.inra.fr/iccs08/

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

Event Location:

Toulouse, France

Identifiers