The architecture description of a software product line (SPL) is essential to make it clear how the architecture realizes the feature model and to represent both the domain and application engineering architectural artefacts. However, most architecture description languages (ADLs) for SPL have limited support regarding variability management and they do not express the relationship between feat...

Force microscopy enables a variety of approaches to manipulate and/or modify surfaces. Few of those methods have evolved into advanced probe-based lithographies. Oxidation scanning probe lithography (o-SPL) is the only lithography that enables the direct and resist-less nanoscale patterning of a large variety of materials, from metals to semiconductors; from self-assembled monolayers to biomole...

Mainstream forces are driving Systems and Software Product Line (SPL) Engineering approaches to take a more holistic perspective that is deeply integrated into the systems and software engineering lifecycle. These forces illustrate that SPL challenges will not be solved at any one stage in the product engineering lifecycle, nor will they be solved in independent and disparate silos in each of t...

T cell egress from the thymus is essential for adaptive immunity and involves chemotaxis along a sphingosine-1-phosphate (S1P) gradient. Pericytes at the corticomedullary junction produce the S1P egress signal, whereas thymic parenchymal S1P levels are kept low through S1P lyase (SPL)-mediated metabolism. Although SPL is robustly expressed in thymic epithelial cells (TECs), in this study, we sh...

Modelling software product line (SPL) features plays a crucial role to a successful development of SPL. Feature diagram is one of the widely used notations to model SPL variants. However, there is a lack of precisely defined formal notations for representing and verifying such models. This paper presents an approach that we adopt to model SPL variants by using UML and subsequently verify them b...

The paper proposes to integrate performance analysis in the early phases of the model-driven development process for Software Product Lines (SPL). We start by adding generic performance annotations to the UML model representing the set of core reusable SPL assets. The annotations are generic and use the MARTE Profile recently adopted by OMG. A first model transformation realized in the Atlas Tr...

This work presents an experience report on the architectural decisions taken in the evolution of a Software Product Line (SPL) of Model-based Testing tools (PLeTs). This SPL was partially designed and developed with the intention of minimizing effort and time-to-market during the development of a family of performance testing tools. With the evolution of our research and the addition of new fea...

Peer-to-Peer (P2P) systems can be seen as highly dynamic distributed systems designed for very specific purposes, such as resources sharing in collaborative settings. Because of their ubiquity, it is fundamental to provide techniques for formally proving properties of the communication protocols underlying those systems. In this paper we present a formal specification of MUTE, a protocol for P2...

OBJECTIVES While detrusor-sphincter dyssynergia (DSD) occurs in conjunction with lesions between the brainstem and the sacral cord, it is not well known whether sacral/peripheral lesions contribute to DSD. We studied the relationship between DSD and sacral/peripheral lesions. METHODS One hundred and forty-four patients with diverse neurologic etiologies underwent urodynamic study and analysis...

This scenario is quite common when hearing aid users are listening to music or in the presence of loud sounds or noises, since both scenarios have peaks exceeding 100 dB SPL. Examples of such environments include live music, the cinema or a sports event. To help deal with this situation, and offer a better listening experience to hearing aid users, Widex expanded the input range of the DREAM he...