In this paper, we propose a complete, sound catalog of algebraic laws, making up special FM refactorings that preserve configurability. This catalog is also ...
In this paper, we propose a complete, sound catalog of algebraic laws, making up special FM refactorings that preserve configurability. This catalog is also ...
Our aim is to encode semantics for feature models in PVS in order to use its prover to prove properties about feature models, as we show in Section 5. 3578.
In this paper, we propose a complete, sound catalog of algebraic laws, making up special FM refactorings that preserve configurability. This catalog is also ...
People also ask
What are the six laws of algebra?
How to do algebraic modelling?
Algebraic Laws for Feature Models. Rohit Gheyi, Tiago Massoni, Paulo Borba. Algebraic Laws for Feature Models. J. UCS, 14(21):3573-3591, 2008.
Algebraic Laws for Feature Models. Rohit Gheyi, Tiago Massoni, Paulo Borba. 2008. Cite. Type. Journal article. Publication. Journal of Universal Computer ...
An FOP model of a domain is an algebra, where each operator implements a feature. The design of a program is an expression, which is a composition of operators ...
Our feature algebra models features and their composition on top of FSTs. ... Our laws for algebraic expressions describe what is allowed and disallowed ...
At the heart of FOSD is a fea- ture algebra that drives the composition of the soft- ware artifacts used throughout the software develop- ment life cycle.
Dec 2, 2023 · An algebraic theory is a concept in universal algebra that describes a specific type of algebraic gadget, such as groups or rings.