A software modelling exercise using FCA
Thomas Tilley, Wolfgang Hesse, Roger Duke · 2003
Abstract. This paper describes an exercise in object-oriented modelling where Formal Concept Analysis is applied to a formal specification case study using Object-Z. In particular, the informal description from the case study is treated as a set of use-cases from which candidate classes and objects are derived. The resulting class structure is contrasted with the existing Object-Z design and the two approaches are discussed. 1 Introduction: Identifying