Context Software requirements are often not set in concrete at the start of a software
development project; and requirements changes become necessary and sometimes …

Requirements need to be validated at the early phase of the software development to avoid
errors such as inconsistency, incompleteness and incorrectness. Drawn from this argument …

Software Product Line Engineering (SPLE) requires the construction of feature models from
large, unstructured and heterogeneous documents, and the reliable derivation of product …

Two programming paradigms are gaining attention in the overlapping fields of software
product lines (SPLs) and incremental software development (ISD). Feature-oriented …

Context: Incomplete or incorrect detection of requirement dependencies has proven to result
in reduced release quality and substantial rework. Additionally, the extraction of …

This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML
aspect-oriented modeling (AOM) technique that uses graph transformations to specify and …

Mutation testing has been shown to be one of the strongest testing criteria for the evaluation
of both programs and test suites. Comprehensive sets of mutants require strong test sets to …

Agile practices on requirements dependencies are a relatively unexplored topic in literature.
Empirical studies on it are scarce. This research sets out to uncover concepts that …

This paper describes MATA (Modeling Aspects Using a Transfor-mation Approach), a UML
aspect-oriented modeling tool that uses graph transformations to specify and compose …

Variability management is a common challenge for Software Product Line (SPL) adoption,
since developers need suitable mechanisms for specifying and implementing variability that …