Evaluating the usability of a visual feature modeling notation

International audienceFeature modeling is a popular Software Product Line Engineering (SPLE) technique used to describe variability in a product family. A usable feature modeling tool environment should enable SPLE practitioners to produce good quality models, in particular, models that effectively communicate modeled information. FAMILIAR is a text-based environment for manipulating and composing Feature Models (FMs). In this paper we present extensions we made to FAMILIAR to enhance its usability. The extensions include a visualization of FMs, or more precisely , a feature diagram rendering mechanism that supports the use of a combination of text and graphics to describe FMs, their configurations, and the results of FM analyses. We also present the results of a preliminary evaluation of the environment's usability. The evaluation involves comparing the use of the extended environment with the previous text-based console-driven version. The preliminary experiment provides some evidence that use of the new environment results in increased cognitive effectiveness of novice users and improved quality of new FMs

Getting what you measure

Contains fulltext : 103392.pdf (preprint version ) (Open Access

Muscle creatine kinase-deficient mice

Contains fulltext : 20682___.PDF (publisher's version ) (Open Access

Muscle creatine kinase-deficient mice. II. cardiac and skeletal muscles exhibit tissue-specific adaption of the mitochondrial function

Contains fulltext : 20683___.PDF (publisher's version ) (Open Access

Subnanosecond Pulse Forming Line Generator for NO Removal with Transient Plasma

International audienc

Component-based DSL Development

Domain specific languages (DSLs) have proven to be a very adequate mechanism to encapsulate and hide the complex implementation details of component-based software development. Since evolution lies at the heart of any software system the DSLs that were built around them must evolve as well. In this paper we identify important issues that cause a DSL implementation to be very rigid in which all phases are tightly coupled and highly dependent upon one another. To increase the poor evolvability of current day DSL development environments a new development environment Keyword based programming (KBP) is proposed where DSLs are built by using a language specification to compose and glue loosely coupled and independent language components (called keywords)

A UML Extension for the Model-driven Specification of Audit Rules

In recent years, a number of laws and regulations (such as the Basel II accord or SOX) demand that organizations record certain activities or decisions to fulfill legally enforced reporting duties. Most of these regulations have a direct impact on the information systems that support an organization's business processes. Therefore, the definition of audit requirements at the modeling-level is an important prerequisite for the thorough implementation and enforcement of corresponding policies in a software system. In this paper, we present a UML extension for the specification of audit properties. The extension is generic and can be applied to a wide variety of UML elements. In a model-driven development (MDD) approach, our extension can be used to generate corresponding audit rules via model transformations. (author's abstract

JExample: Exploiting Dependencies Between Tests to Improve Defect Localization

Abstract. To quickly localize defects, we want our attention to be focussed on relevant failing tests. We propose to improve defect localization by exploiting dependencies between tests, usingaJUNIT extension called JEXAMPLE. Ina case study, a monolithic white-box test suite for a complex algorithm is refactored into two traditional JUNIT style tests and to JEXAMPLE. Of the three refactorings, JEXAMPLE reports five times fewer defect locations and slightly better performance (-8-12%), while having similar maintenance characteristics. Compared to the original implementation, JEXAMPLE greatly improves maintainability due the improved factorization following the accepted test quality guidelines. As such, JEXAMPLE combines the benefits of test chains with test quality aspects of JUNIT style testing.

SIRT2 induces the checkpoint kinase BubR1 to increase lifespan

Mice overexpressing the mitotic checkpoint kinase gene BubR1 live longer, whereas mice hypomorphic for BubR1 (BubR1(H/H)) live shorter and show signs of accelerated aging. As wild-type mice age, BubR1 levels decline in many tissues, a process that is proposed to underlie normal aging and age-related diseases. Understanding why BubR1 declines with age and how to slow this process is therefore of considerable interest. The sirtuins (SIRT1-7) are a family of NAD(+)-dependent deacetylases that can delay age-related diseases. Here, we show that the loss of BubR1 levels with age is due to a decline in NAD(+) and the ability of SIRT2 to maintain lysine-668 of BubR1 in a deacetylated state, which is counteracted by the acetyltransferase CBP. Overexpression of SIRT2 or treatment of mice with the NAD(+) precursor nicotinamide mononucleotide (NMN) increases BubR1 abundance in vivo. Overexpression of SIRT2 in BubR1(H/H) animals increases median lifespan, with a greater effect in male mice. Together, these data indicate that further exploration of the potential of SIRT2 and NAD(+) to delay diseases of aging in mammals is warranted