Towards an FCA based tool for visualising Formal Specifications


This paper describes an approach to visualizing Z specifications based on Formal Concept Analysis (FCA). The approach takes a source specification written in LTEX and produces a formal context representing the static structure of the specification. The corresponding formal concept lattice can be used to investigate and explore various properties of the… (More)

8 Figures and Tables


  • Presentations referencing similar topics