[PDF] Top 20 Verification and refactoring of configuration knowledge for software product lines

... properties of AHEAD [ Bat04 ] product lines using feature models and SAT solvers [ TBKC07 ...(implementation) and ver- ified that they hold for all product line ...theory ... See full document

... context of Information Retrieval IR , Antoniol et ...code and free text documents. A premise of this is that programmers use meaningful names for program items, such as functions, variables, types, ... See full document

... qualitative and quantitative ...phases of the method for identifying and defining business ...class and components models of the PLA to be evaluated, there are a number of ... See full document

... values of attributes to aspects or properties files also increases the coupling in the class who owns the ...implementation of Proposed So- lution 2, MainCanvas class uses an attribute that is defined by an ... See full document

... compact and clear representation of a complex system and a capture method for the interactions/ interdependencies/interfaces between system ...in product- development and ...elements ... See full document

... participation of representative stakeholders with well-defined roles is very important for the scoping ...presence of them, risks associated with SPL are minimized, for example, the risk of including ... See full document

... SPL and functional testing ...participate of our experiment should be in the masters and doctoral computer science courses or be students close to end their undergraduate course (in computer science ... See full document

... locations and, such variabilities points may also be nested (likewise the ifdef compilation’s directives) ...reliabilities of individual behavioral model fragments associated to one or more features are ... See full document

... the product line scope should be defined according to the existing products and business and market goals of the ...analysis of the available documentation of existing products ... See full document

... draft of the DRS (feature model, domain requirements or domain use cases), which must be reviewed by the domain experts and other potential ...generality and applicability of the ...scenarios ... See full document

... Dynamic Software Product Lines (DSPLs) are SPLs in which configuration occurs at ...context and/or non-functional requirements (NFRs). However, taking contexts and NFRs into ... See full document

... (Unit and Integration tests because they need source code knowledge to support White- box ...code of the program while grey-box test cases only consider a portion of it ( Segura et ...)) ... See full document

... the Configuration Filter, was a little more complicated to understand, especially the “matching conditions”, which needed more ...despite of the three filters had been perfectly described, they were not ... See full document

... adoption of a DSPL approach is strongly based on adapting to variations in individual needs and situations rather than market forces and supporting configuration and extension ... See full document

... recommend Configuration Files or AOP intertypes due to the fine- grained nature of the variability, which in this case is at the Method Parameter (see Figure ...previous refactoring is needed in our ... See full document

... chance of the approaches outcomes be divergent, because we want to know in which scenarios one approach is better than the other and ...understand and improve the approaches to better support the ... See full document

... objective of this study is to examine whether Lehman’s Laws (LL) are reflected in the development of SPLs, where common, variable and product specific assets are ...LL of ... See full document

... Lack of necessary knowledge and possible talent: In ( Jones and Northrop , 2010 ), the authors highlight that to adopt SPL the technical staff needs to have traditional software ... See full document

... Software product lines (SPLs) are sets of related systems that are built based on reusable ...declarations and dependencies among them; implementation artifacts and a ... See full document

... using of SBSE tech- ...suite of adaptive, automated and semiautomatic solutions in situations typified by large complex problem spaces with multiple competing and conflicting ...set of ... See full document