Formal Concept Analysis And Formal Methods 2000

Abstract:  Formal Concept Analysis (FCA) is a data analysis technique based on ordered lattice theory. It provides graph-based visualisations of tabular data and has successfully been applied to a number of elds including Text Data Mining, Psychology, Social Science and Software Engineering. This research proposal sets out a framework for the application of FCA to Formal Methods. Formal Methods can be broadly dened as tools and notations that support the unambiguous specication of computer systems and software. While there can be signicant advantages obtained by integrating Formal Methods into the production of software artifacts there is an associated cost. The complexity of Formal Methods means they can be dicult to use and have a non-trivial learning curve. The aim of the research described in this proposal is to increase the accessibility of Formal Methods by providing alternative visual representations of specications through the application of Formal Concept Analysis. ii Contents A...