PLiBS: an Eclipse-based tool for Software Product Line Behavior Engineering

[9] present an approach to specify and resolve variability on Re- usable Aspect Models (RAM), a set of interrelated design models. They use CVL to resolve the variability on each

When evaluating core assets modeling methods, two important dimensions can be identified: specification, which refers to the collection of aids required for specifying both

In Section 2 we described the developer tasks and discussed the need for tool support for the comparison of graphical source code (i.e. in our case Petri nets) and other diagrams in

This paper describes variability management in UML based multiple-view models of the software product line, which consist of developing use case and feature models during

When similar software products are developed, two important reuse decisions are: (1) whether to develop a software product or adapt organizational software assets,

Keywords: High-level Petri nets, testing, agile development, agile mod- eling, regression tests, automated tests..

The contribution of this paper is to propose architectural constraints for Product Line expressed in UML as meta-level OCL constraints, providing a set of patterns for

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des