Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. With an SPL approach, the development of a software product is quicker, less expensive and of higher quality than a one-off development since much effort is re-used. However, this approach is not common in formal methods developm...

In this paper, we study the finitely many constraints of the fuzzyrelation inequality problem and optimize the linear objectivefunction on the region defined by the fuzzy max-product operator.Simplification operations have been given to accelerate theresolution of the problem by removing the components having noeffect on the solution process. Also, an algorithm and somenumerical and applied exa...

The distance $d(u,v)$ between two vertices $u$ and $v$ of a graph $G$ is equal to the length of a shortest path that connects $u$ and $v$. Define $WW(G,x) = 1/2sum_{{ a,b } subseteq V(G)}x^{d(a,b) + d^2(a,b)}$, where $d(G)$ is the greatest distance between any two vertices. In this paper the hyper-Wiener polynomials of the Cartesian product, composition, join and disjunction of graphs are compu...

We consider the composition product of symmetric sequences in the case where the underlying symmetric monoidal structure does not commute with coproducts. Even though this composition product is not a monoidal structure on symmetric sequences, it has enough properties to be able to define monoids (which are then operads on the underlying category) and make a bar construction. The main benefit o...

We generated a list of all topical corticosteroids available in Poland in 2015 (2) and described by the manufacturer as being ‘for topical use on the skin’. For each product meeting the inclusion criteria, the list of ingredients was extracted from the package insert. Subsequently, the compounds were matched against the European baseline series of 28 contact allergens (3) and possible cross-rea...

Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to reason about them. Given the growing complexity of SPL development and the various stakeholders involved, their requirements are often specified from heterogeneous, partial views. However, existing requirements composit...

Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely related to variation points, which appear at different levels and life cycle phases for product lines. Optional and alternative variants attached to variation points may by additional constrained by mutual-exclusion or...

Let C1 ⊗F C2 be the tensor product of two composition algebras over a field F with char(F ) 6= 2. R. Brauer [7] and A. A. Albert [1], [2], [3] seemed to be the first mathematicians who investigated the tensor product of two quaternion algebras. Later their results were generalized to this more general situation by B. N. Allison [4], [5], [6] and to biquaternion algebras over rings by Knus [12]....