Managing lots of models: the FaMine approach
Abstract
In this paper we present recent developments in reverse engineering variability for block-based data-flow models.
Related papers
- Model-driven development of content management systems based on Joomla ASE 2014
- Deviation management during process execution ASE 2011
- Soft Issues in Software Development (Panel Session) OOPSLA 1996
- Model checking lots of systems: efficient verification of temporal properties in software product lines ICSE 2010
- Effectively Analyzing Evolving Software with Differential Facts ASE 2021
- An Introduction to Computing System Dependability ICSE 2004
- Flexible and Optimal Dependency Management via Max-SMT ICSE 2023
- Supporting automatic model inconsistency fixing FSE 2009