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 …

Mining domain-specific edit operations from model repositories with applications to semantic lifting of model differences and change profiling

C Tinnes, T Kehrer, M Joblin, U Hohenstein… - Automated Software …, 2023 - Springer
Abstract Model transformations are central to model-driven software development.
Applications of model transformations include creating models, handling model co …

Learning domain-specific edit operations from model repositories with frequent subgraph mining

C Tinnes, T Kehrer, M Joblin… - 2021 36th IEEE/ACM …, 2021 - ieeexplore.ieee.org
Model transformations play a fundamental role in model-driven software development. They
can be used to solve or support central tasks, such as creating models, handling model co …

Mining domain-specific edit operations from model repositories with applications to semantic lifting of model differences and change profiling

T Christof, K Timo, J Mitchell - 2023 - dlib.phenikaa-uni.edu.vn
Model transformations are central to model-driven software development. Applications of
model transformations include creating models, handling model co-evolution, model …

A History-based Approach for Model Repair Recommendations in Software Engineering

M Ohrndorf - boristheses.unibe.ch
Software is an everyday companion in today's technology society that need to be evolved
and maintained over long time periods. To manage the complexity of software projects, it …

Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata

K Berramla, EA Deba, ME Hamdane… - Proceedings of the 2nd …, 2019 - dl.acm.org
Model Driven Engineering (MDE) is a recent discipline in systems engineering with which
computer technologies are used to describe both the problem and its solution through …