Operational specification for FCA using Z
Simon Andrews, Simon M. Polovina · SHURA (Sheffield Hallam University Research Archive) (Sheffield Hallam University) · 2008
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. 1