The role of formalism in system requirements

JM Bruel, S Ebersold, F Galinier, M Mazzara… - ACM Computing …, 2021 - dl.acm.org
A major determinant of the quality of software systems is the quality of their requirements,
which should be both understandable and precise. Most requirements are written in natural …

Knowledge representation and processing with formal concept analysis

SO Kuznetsov, J Poelmans - Wiley interdisciplinary reviews …, 2013 - Wiley Online Library
During the last three decades, formal concept analysis (FCA) became a well‐known
formalism in data analysis and knowledge discovery because of its usefulness in important …

Software architecture reconstruction: A process-oriented taxonomy

S Ducasse, D Pollet - IEEE Transactions on Software …, 2009 - ieeexplore.ieee.org
To maintain and understand large applications, it is important to know their architecture. The
first problem is that unlike classes and packages, architecture is not explicitly represented in …

[BOG][B] New concepts and trends of hybrid multiple criteria decision making

GH Tzeng, KY Shen - 2017 - taylorfrancis.com
When people or computers need to make a decision, typically multiple conflicting criteria
need to be evaluated; for example, when we buy a car, we need to consider safety, cost and …

Approximate concept construction with three-way decisions and attribute reduction in incomplete contexts

M Li, G Wang - Knowledge-Based Systems, 2016 - Elsevier
Incomplete contexts are a kind of formal contexts in which the relationship between some
objects and some attributes is unavailable or lost. Knowledge discovery in incomplete …

Reverse engineering of object oriented code

P Tonella - Proceedings of the 27th international conference on …, 2005 - dl.acm.org
During software evolution, programmers devote most of their effort to the understanding of
the structure and behavior of the system. For Object-Oriented code, this might be particularly …

Collaborative recommending using formal concept analysis

P du Boucher-Ryan, D Bridge - International Conference on Innovative …, 2005 - Springer
Abstract We show how Formal Concept Analysis (FCA) can be applied to Collaborative
Recommenders. FCA is a mathematical method for analysing binary relations. Here we …

Introduction to formal concept analysis and its applications in information retrieval and related fields

DI Ignatov - Information Retrieval: 8th Russian Summer School …, 2015 - Springer
This paper is a tutorial on Formal Concept Analysis (FCA) and its applications. FCA is an
applied branch of Lattice Theory, a mathematical discipline which enables formalisation of …

Formal concept analysis: from knowledge discovery to knowledge processing

S Ferré, M Huchard, M Kaytoue, SO Kuznetsov… - A Guided Tour of …, 2020 - Springer
In this chapter, we introduce Formal Concept Analysis (FCA) and some of its extensions.
FCA is a formalism based on lattice theory aimed at data analysis and knowledge …

Monitoring trends of technological changes based on the dynamic patent lattice: A modified formal concept analysis approach

C Lee, J Jeon, Y Park - Technological Forecasting and Social Change, 2011 - Elsevier
The strategic importance of monitoring technological changes is highlighted given the ever
faster pace and increasing complexity of technological innovation. In this respect, patent …