In the Software Engineering (SE) domain, the Model Driven Engineering (MDE)1 paradigm focuses on using models as main software artifacts to provide a full description of software s...
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
A good fit between the person and the organization is essential in a better organizational performance. This is even more crucial in case of institutionalization of a software pr...
Faheem Ahmed, Luiz Fernando Capretz, Shahbaz Ali S...
We highlight some of the challenges in valuing flexibility and investment decisions in Software Product Line Architectures (SPLA). We explain the limitations of traditional approa...