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...

A software product-line (SPL) is a family of products sharing the same assets. A product-line platform allows the derivation of distinct products within the same application domain. The use of SPLs appears to be the most effective strategy for achieving large-scale software reuse, assuring rapid development of new products with good quality levels. Enabling variability in software consists in d...

Prior research in chip-level reconfigurable computing has involved augmenting a single processor core with reconfigurable logic. Despite significant performance gains for some applications, the area and power costs can easily outweigh the benefits, especially when considering the breadth of applications run on a general purpose processor and the benefit they receive from reconfigurable logic, f...

Software architecture design is a critical step of software development. Currently, there are various design methods available and each is focusing on certain perspective of architecture design. Especially, quality-based methods have received a lot of attentions and have been well developed for single system architecture design. However, the use of quality-based design methods is limited in sof...

Using fMRI, we investigated neural substrates for focusing attention in working memory. To explore this focusing effect, two kinds of reading span test (RST), focused and nonfocused, were performed. In the focused RST (F-RST), the target word to be maintained was the focus word in the sentence. In the nonfocused RST (NF-RST), the target word was not the focus word in the sentence. In both RST c...

Software product lines (SPL) are used to build similar programs from a single code base. Programs of an SPL can be distinguished in terms of features, which represent units of program functionality that satisfy requirements. Features of an SPL can be bound either statically at program compile time or dynamically at runtime. Both binding times have advantages and disadvantages, as we will explai...

Cloud computing has emerged as a model for distributed computing that promotes on-demand scalability, flexible application deployment and reuse. Software product lines (SPL) promote reusable application development for product families. Cloud systems change to respond to changing clients’ requirements. Cloud systems can be modeled as Software-as-aService (SaaS) families similar to the SPL conce...

The E(spl) complex (E(spl)-C) contains three different classes of genes that are downstream of Notch signaling. The bHLH genes mediate the Notch signal by repressing proneural gene activity, for example during the singularization of mechanosensory organ precursor cells (SOPs). Genes of the second class, the E(spl) m4/ma family, antagonize this process if overexpressed. Here we show that this is...