… To model code-level behaviour at an abstract level we extend Feature Algebra by a third
sort C of code fragments (next to introductions and modifications). The main idea is to consider …

… the axioms of the feature algebra do not reflect some aspects of feature orientation properly.
… extended feature algebra. Since the extension is also a generalisation, the original algebra …

… We use idempotent semirings as the basis for a feature algebra that allows a formal … of
feature algebra the elements are sets of products, ie product families. We extend the algebra to …

… extend the empty introduction, ie, the empty program. This is different from introduction sum
which we can use to extend … and inter-type declarations cannot extend the empty program. A …

… of this part is to extend pose estimation scenarios to correspondences of an extended set of
… representation of their generating Lie algebra. This leads to real-time capable algorithms. …

… Given a T-'-algebra A' and an injective signature morphism O:E~T-'. we can recover the T--algebra
buried inside A' (since A' is just an extension of this algebra), the definition extends …

… algebras, one based on the relational algebra, and one based on the nested relational algebra,
and we present an algebra of … extension of the relational algebra and is derived from the …

… As future work, theory can be extended to include additional constraints, such as cardinality
FMs. Based on this extended theory, we can propose and proving new algebraic laws. …

… This scheme provides several alternative feature … : In Section 2 we describe the feature
algebra. In Section 3 we compare our … We also intend to extend the algebra to model the rounded …

… is guided by the following informal definition: a feature is a structure that extends and
modifies the structure of a given program in order to satisfy a stakeholder's requirement, to …